yusuke1997/dblp-id-title huggingface dataset:
Virtual reality for building industry needs: guiding the design of user interactions through a task-centred methodology. (La réalité virtuelle pour les besoins de l'industrie du bâtiment: guider la conception des interactions utilisateurs grâce à une méthodologie centrée sur les tâches)
Topology of statistical systems : a cohomological approach to information theory. (Topologie des systèmes statistiques : une approche cohomologique à la théorie de l'information)
Exploiting the synergies of unmanned aerial vehicles (UAVs) and 5G network. (Exploiter les synergies entre les drones et le réseau 5G)
Méthodes d'analyse de volumes d'images multimodales pour le suivi longitudinal en oncologie. (Multimodal imaging analysis methods for longitudinal monitoring of patients in oncology)
Espace de conception et modèle d'interaction multi-tactile gestuel : un environnement de développement pour enrichir le modèle. (Design space and multi-touch gestural interaction model : a framework to enhance the model)
Acoustic remote sensing of Arctic Sea Ice from long term soundscape measurements. (Monitoring de la glace de mer en Arctique à partir des mesures à long terme du paysage acoustique sous marin)
Some applications of differential-difference algebra to creative telescoping. (Quelques applications de l'algébre différentielle et aux différences pour le télescopage créatif)
Automatisation de la Certification Formelle de Systèmes Critiques par Instrumentation d'Interpréteurs Abstraits. (Automatic and formal certification of critical systems by instrumentation of abstract interpreters)
Fast Cycle-approximate Simulation Techniques for Manycore Architecture Exploration. (Techniques de simulation rapide au niveau quasi cycle-precis pour l'exploration d'architectures manycoeurs)
Ordonnancement dynamique, adapté aux architectures hétérogènes, de la méthode multipôle pour les équations de Maxwell, en électromagnétisme
Oriented filters for feature extraction in digital Images: Application to corners detection, Contours evaluation and color Steganalysis. (Filtres orientés pour l'extraction de primitives dans les images: Application à la détection de coins, l'évaluation de contours, et à la stéganalyse d'images couleur)
Automatic analysis of blood smears images : contribution of phase modality in Fourier Ptychographic Microscopy. (Analyse automatique des images des frottis sanguins : intérêt de la phase en microscopie ptychographique de Fourier)
Computer-aided design tools for labs-on-a-chips. (Outils d'aide à la conception pour les laboratoires sur puce)
Modèles à variables latentes pour des données issues de tiling arrays. Applications aux expériences de ChIP-chip et de transcriptome
Homomorphic Cryptography and Privacy. (Cryptographie Homomorphe et Vie Privée)
Study of numerical methods for partial hedging and switching problems with costs uncertainty. (Étude de méthodes numériques pour la couverture partielle et problèmes de switching avec incertitude sur les coûts)
Designing and Analyzing Collaborative Activities in Multi-Surface Environments. (Conception et analyse d'activités collaboratives pour environnement multi-surfaces)
Automated quantification of the skin aging process using in-vivo confocal microscopy. (Caractérisation automatique du vieillissement de la peau par microscopie confocale in-vivo)
Localisation de ressources dans les réseaux ad hoc
ΡreDiViD Τοwards the Ρredictiοn οf the Disseminatiοn οf Viral Disease cοntagiοn in a pandemic setting. (ΡreDiViD - Τοwards the Ρredictiοn οf the Disseminatiοn οf Viral Disease cοntagiοn in a pandemic setting)
Elasticity in the Cloud. (Elasticité dans le cloud computing)
Constrained Pseudorandom Functions : New Constructions and Connections with Secure Computation. (Fonctions Pseudo-aléatoires Contraintes : nouvelles constructions et liens avec le calcul sécurisé)
Fouille de données à partir de séries temporelles d'images satellites. (Data mining from satellite image time series)
Volcans et calcul d'isogénies. (Volcanoes and isogeny computing)
Extension du modèle stochastique des mélanges de trajectoires pour la reconnaissance automatique de la parole continue
Preconditioning of domain decomposition methods for stochastic elliptic equations. (Préconditionnement de méthodes de décomposition de domaine pour les équations elliptiques stochastiques)
Semantics-Based Testing for Circus. (Test basé sur la sémantique pour Circus)
Deep Supervision of the Vocal Tract Shape for Articulatory Synthesis of Speech. (Supervision profonde de la forme du conduit vocal pour la synthèse articulatoire de la parole)
Robust estimation of dynamics behavior and driving diagnosis applied to an intelligent MAGV. (Estimation robuste du comportement dynamique et diagnostic de conduite appliqué à un MAGV intelligent)
On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus
Analyse et modélisation de l'impact environnemental du système d'information. (Analysis and modelling of the environmental impact of information system)
Analyse de la dynamique évolutive de petits ARNs non-codants bactériens: mise au point d'une stratégie et application aux firmicutes
Modélisation du problème direct de la magnéto et électroencéphalographie : méthodes numériques et calibration. (EEG and MEG forward modeling : computation and calibration)
Analyse de défaillances de circuits VLSI par microscopie électronique à balayage. (Failure analysis of VLSI circuits by scanning electron microscopy)
Compromise between precision and performance in high performance computing. (Compromis entre précision et performance dans le calcul haute performance)
Désambiguïsation des Traductions des Requêtes dans la Recherche d'Information Translinguistique. (Query Translation Disambiguation in Cross Language Information Retrieval)
Parallel Itemset Mining in Massively Distributed Environments. (L'Extraction des motifs dans des Environnements Massivement Distribués)
Modélisation et animation interactive de visages virtuels de dessins animés
Machine Learning for the Automation of Cyber-threat Monitoring and Inference. (Apprentissage automatique pour l'automatisation de la surveillance et l'inférence des cybermenaces)
CyberCOP 3D : visualisation 3D interactive et collaborative de l'état de sécurité d'un système informatique. (CyberCOP 3D : interactive and Collaborative 3D visualization of a system's security state)
Estimation et fusion de vitesses d'écoulement de surface de glaciers multi-temporelles, multi-capteurs. (Estimation and fusion of multi-sensor / multi-temporal glaciers velocity observations derived from remote sensing images)
Prédiction de structure et algorithmique parallèle pour la factorisation LU des matrices creuses
Mathematical liver modeling: hemodynamics and function in hepatectomy. (Modèles mathématiques de l'hémodynamique et de la fonction du foie lors d'une hépatectomie)
Modeling and analysis of techniques to increase robustness in distributed systems. (Techniques de modélisation et d'analyse pour l'amélioration de la robustesse des systèmes distribués)
Essais de mesure de l'aptitude des papiers à l'écriture
Inconsistency Handling in Ontology-Mediated Query Answering. (Gestion des incohérences pour l'accès aux données en présence d'ontologies)
Détection de zones de changement abrupt dans des données spatiales et application à l'agriculture de précision. (Detecting zones of abrupt change for spatial data and application to precision agriculture)
Around the Domino Problem - Combinatorial Structures and Algebraic Tools. (Autour du problème du Domino - Structures combinatoires et outils algébriques)
Model Based Granularity Optimization for High-Performance Computing Systems in Astronomy. (Optimisation de la granularité basée sur un modèle pour les systèmes de calcul de haute performance en astronomie)
Advancing Ethical AI: Methods for fairness enhancement leveraging on causality and under privacy constraints. (Advancing Ethical AI: Methods for fairness enhancement leveraging on causality and under privacy constraints)
Recherche d'Information Collaborative. (Collaborative Information Retrieval)
Characterization of organizations and emerging networks to detect and anticipate collaboration opportunities. (Caractérisation des organisations et des réseaux émergents pour détecter et anticiper les opportunités de collaboration)
Voks: A Vocal Instrument Family Based on Syllabic Sequencing of Vocal Samples. (Voks: une famille d'instruments vocaux basée sur le reséquencement syllabique d'échantillons vocaux)
Optimization Techniques for Reconfigurable Intelligent Surfaces Assisted Wireless Networks. (Techniques d'optimisation des communications sans fil assistées par des surfaces intelligentes reconfigurables)
Measurements of wildland fires by drone. (Mesures des feux de végétation par drone)
Joint source-cryptographic-channel coding for real-time secure voice communications on voice channels. (Codage conjoint source-chiffrement-canal pour les canaux de communication vocaux sécurisés en temps réel)
Scheduling under preventive maintenance and sequence-dependent setup-times constraints to minimize job rejection costs or weighted sum of completion times. (Ordonnancement sous contraintes de maintenance préventive et temps de préparation dépendants de la séquence pour minimiser les coûts de rejet ou la somme pondérée des dates de fin)
Contribution à la vérification de programmes C par combinaison de tests et de preuves. (Contribution to software verification combining tests and proofs)
Surveillance temps-réel des systèmes Homme-Machine. Application à l'assistance à la conduite automobile. (Real-time monitoring of Human-Machine systems. Application to driver assistance systems)
Machine learning for ESG data in the financial industry. (Apprentissage automatique pour les données ESG dans l'industrie financière)
Construction et analyse des algorithmes exacts et exponentiels : énumération input-sensitive. (Design and analysis of exact exponential algorithms : input-sensitive enumeration)
Une approche adaptative basée sur la diversité pour la gestion des fautes dans les services Web. (An adaptive diversity-based approach for managing faults in Web services)
Dynamic optimal control for distress large financial networks and Mean field systems with jumps. (Contrôle stochastique de systèmes à champs moyens et applications au contrôle du risque systémique)
Une stratégie pour l'interprétation en analyse spectrale. Détection et caractérisation des composantes d'un spectre. (A strategy for interpretation in spectral analysis)
Spectral analysis of random graphs with application to clustering and sampling. (L'analyse spectrale des graphes aléatoires et son application au groupement et l'échantillonnage)
A mathematical approach to unsupervised learning in recurrent neural networks. (Une approche mathématique de l'apprentissage non-supervisé dans les réseaux de neurones récurrents)
Simulation du bruit d'écoulements anisothermes par méthodes hybrides pour de faibles nombres de Mach. (Noise computation of non isothermal flows by hybrid methods for low Mach numbers)
Contrôle vérifié de flux d'information appliqué aux systèmes cyber-physiques. (Verified information flow control applied to cyber-physical systems)
Reconnaissance de motifs dans des graphes : heuristique et applications. (Pattern recognition in graphs: heuristic and applications)
Knowledge representation and exploitation for interactive and cognitive robots. (Représentation et exploitation des connaissances pour les robots interactifs et cognitifs)
5G scenarios and evolutions in the new millimeter-wave bands. (Scénarios d'usage et évolutions de la 5G dans les nouvelles bandes millimétriques)
Calcul parallèle et méthodes numériques pour la simulation de plasmas de bords. (Parallel computing and numerical methods for boundary plasma simulations)
Sparse graph-based coding schemes for continuous phase modulations. (Schémas codés pour modulation de phase continue à l'aide de codes définis sur des graphes creux)
Electric Routing Problems with Integrated Location Decisions. (Problèmes de tournées des véhicules électriques avec décisions d'emplacement intégrées)
Lancer de Faisceaux en Synthèse d'Images
From Compressed Sensing to deep learning based methods for functional Magnetic Resonance Imaging reconstruction at ultra-high field. (De l'échantillonnage compressé à l'apprentissage profond pour la reconstruction d'Imagerie par Résonance Magnétique à très haut champ)
Composition of cryptographic mechanisms and watermarking for the protection of externalized genetic data. (Composition de mécanismes cryptographiques et de tatouage pour la protection de données génétiques externalisées)
Réseaux de réactions : de l'analyse probabiliste à la réfutation . (Reaction networks : from probabilistic analysis to refutation)
Interactive Patient-Specific Simulation of Cardiac Electrophysiology. (Simulation Interactive et Patient-Spécifique de l'Electrophysiologie Cardiaque)
Deep learning in MR-guided radiotherapy. (Radiothérapie guidée par IRM via réseaux de neurones profonds)
Prise en charge de l'agilité de workflows collaboratifs par une approche dirigée par les événements. (Ensuring the agility of collaborative workflows through an event driven approach)
Polynominalité des coefficients de structures des algèbres de doubles-classes. (Polynomiality of the structure coefficients of double-class algebras)
Algorithms and Computational Tools for the Study of Intrinsically disordered proteins. (Algorithmes et outils informatiques pour l'etude des Proteines Intrinsequement Desordonnees)
Vers une prise en compte fine de la plate-forme cible dans la construction des systèmes temps réel embarqués critiques par ingénierie des modèles. (Using model-driven architecture to perform a fine-grained accounting for target framework in real time embedded critical systems design)
Language Models for Document Understanding. (Modèles de Langages pour les Compréhension de Documents)
Vérification Formelle dans le Modèle Polyédrique. (Formal Verification in the Polyhedral Model)
Géométrie de l'Interaction et Réseaux Différentiels. (Geometry of Interaction and Differential Nets)
Processus communicants : un langage formel et ses modèles : problèmes d'analyse. (Communicating processes: a formal language and his models: analysis problems)
Étude des systèmes algébriques surdéterminés. Applications aux codes correcteurs et à la cryptographie
Intrusion detection system in a fleet of drones. (Détection d'intrusion dans une flotte de drones)
Exploring deep learning techniques in the task of English-Arabic Machine Translation. (Exploration des techniques de l'apprentissage profond au service de la traduction automatique Anglais-Arabe)
Architecture de gestion et de contrôle des ressources pour les applications multimédia dans le réseau local domestique. (Resources management and control architecture for multimedia applications in home networks)
Objets historiques et annotations pour les environnements logiciels. (Historical objects and annotations for software engineering environments)
Design of several centralized and decentralized multilayer robust control architectures for global chassis control. (Développement de plusieurs architectures multicouches centralisées et décentralisées robustes pour le contrôle global du châssis)
Détection de Collision pour Environnements Large Échelle : Modèle Unifié et Adaptatif pour Architectures Multi-coeur et Multi-GPU. (Collision Detection for Large Scale Environments: Unified and Adaptive Model for Multi-core and Multi-GPU Architectures)
Analyse qualitative de robots. (Qualitative analysis of robots)
Arterial spin labeling performance in resting-state functional MRI : the effect of scan duration. (Performance du marquage de spin artériel en IRM fonctionnelle à l'état de repos : l'effet de la durée d'acquisition)
Structuration multi-échelle de la connaissance in-extenso d'entreprise : Vers un assistant ubiquitaire pour l'usine du futur. (Multi-scale structuring of in-extenso enterprise knowledge / Multi-scale structuring of in-extenso enterprise knowledge : Towards an ubiquitous assistant for the factory of the future)
Nouveaux modèles d'estimation monophone de distance et d'analyse parcimonieuse : Applications sur signaux transitoires et stationnaires bioacoustiques à l'échelle. (New models for distance estimation monophone data and sparse analysis : Application to transient signals and stationary signals on large scale bioacoustic data)
Optimizing Distributed In-memory Storage Systems˸ Fault-tolerance, Performance, Energy Efficiency. (Optimisation des Systèmes de Stockage en Mémoire ˸ Performance, Efficacité, Durabilité)
Fast and Private Pool Testing and Contributions to Experimental Mathematics. (Tests par lots rapides et privés et contributions aux mathématiques expérimentales)
Privacy-preserving cryptography from pairings and lattices. (Cryptographie protégeant la vie privée à base de couplages et de réseaux)
Les interactions multimodales dans le contexte de l'internet des objets. (Multimodal interactions in the context of the Internet of Things)
Internet of things security : towards a robust interaction of systems of systems. (Sécurité d'internet des objets : vers une interaction robuste des systèmes de systèmes)
Méthode de game design pour la création d'un profil psychologique du joueur. (Game design methodology to generate player psychological profile)
Modélisation dynamique d'un assemblage de floes rigides. (Dynamics of an assembly of rigid ice floes)
Code generation in a lattice Boltzmann framework for exascale computing. (Génération de code automatique pour le calcul exaflopique pour la méthode de boltzmann sur réseaux)
A social Internet of Things application architecture : applying semantic web technologies for achieving interoperability and automation between the cyber, physical and social worlds. (A social Internet of Things application architecture : l'application des technologies du web sémantique pour réaliser l'interopérabilité et de l'automatisation entre les mondes physiques, cyber et sociaux)
Supporting Integration Activities in Object-Oriented Applications
Low Latency Radio and Visible Light Communication For Autonomous Driving. (Communication radio à faible latence et transmission pour lumière visible pour conduite autonome)
Parallélisme et équilibrage de charges dans le traitement de la jointure sur des architectures distribuées. (Parallelism and load balancing in the treatment of the join on distributed architectures)
Tensor-based methods for multidimensional data: learning and rank estimation. (Méthodes tensorielles pour les données multidimensionnelles: apprentissage et estimation du rang)
Alignement paramétrique d'images : proposition d'un formalisme unifié et prise en compte du bruit pour le suivi d'objets. (Parametric image alignement: unified formalisation with application to the alignment of noisy images and object tracking)
Modèle de graphe hiérarchique pour la représentation et l'analyse de la mobilité : application au trafic maritime. (A hierarchical graph model for mobility representation and analysis : an application to maritime traffic)
Morphodynamique de réseaux viaires - Application au risque
Combining approaches for predicting genomic evolution. (Combinaison d'approches pour résoudre le problème du réarrangement de génomes)
Runtime verification of OCaml programs. (Vérification de programmes OCaml à l'exécution)
Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en oeuvre de services Web composés. (Model-Driven Approach to specify, formally verify and implement Web service composition)
In-network real-value computation on programmable switches. (Calcul de la valeur réelle en réseau sur les commutateurs programmables)
AS3: A method to design service-based adaptive systems for smart environments. (AS3: une méthode de conception des systèmes adaptatifs basés sur les services pour les environnements intelligents)
Co-construction de sens par négociation pour la réutilisation en situation de l'expérience tracée - Vers le partage et l'échange d'expérience collective. (Meaning co-construction through negotiation for a situated reuse of the traced experience - Towards Collective Experience sharing and exchange)
Development of a virtual biopsy system and diagnosis automation in kidney transplantation. (Développement d'un système de biopsie virtuelle et automatisation du diagnostic en transplantation rénale)
Méthodes géométriques et numériques en contrôle optimal et problèmes de Zermelo sur les surfaces et révolution: applications. (Geometric and numerical methods in optimal control and Zermelo problems in the plane: applications)
Systèmes de représentation multi-échelles pour l'indexation et la restauration d'archives médiévales couleur. (Multi-scale representation systems for indexing and restoring color medieval archives)
Hybrid dynamical system Identification: geometry, sparsity, and nonlinearities. (Identification de systèmes dynamiques hybrides : géométrie, parcimonie, et non-linéarités)
Aide à la conduite et véhicule autonome en intersection. (Driver assistance systems and connected autonomous vehicle at intersections)
Multiscale Noise Estimation and Removal for Digital Images. (Estimation et suppression du bruit à plusieurs échelles pour les images numériques)
Partitionnement de données pour l'informatique climatique : Contributions à l'amélioration des méthodes d'identification automatique des régimes de temps en climat tropical insulaire. (Clustering for climate informatics: Contributions to the improvement of methods for the automatic identification of weather patterns in tropical island climates)
Study and mitigation techniques of RF impairments for beyond 5G multi-carrier waveforms. (Techniques de correction des imperfections de la chaine RF pour les formes d'ondes multiporteuses post 5G)
Analyzing individual-based models of microbial systems
Non-linéarité des fonctions booléennes : applications de la théorie des fonctions booléennes et des codes en cryptographie. (Nonlinearity of boolean functions : ecryptographic applications of boolean functions and coding theory)
Optimisation Globale basée sur l'Analyse d'Intervalles: Relaxation Affine et Limitation de la Mémoire. (Global Optimization based on Interval Analysis: Affine Relaxation and Limited Memory)
Stateful Application Migration in Geo-Distributed Systems. (Migration à état d'applications dans les systèmes géo-distribués)
Decision-based motion planning for cooperative and autonomous vehicles. (Prise de décision et planification de trajectoire pour les véhicules coopératifs et autonomes)
Privacy-aware and scalable recommender systems uing sketching techniques. (Respect de la vie privée des systèmes de recommandation grâce à l'emploi d'algorithmes à base de sketchs)
Load balancing of multiphysics simulations by multi-criteria graph partitioning. (Équilibrage de charge pour des simulations multi-physiques par partitionnement multi-critères de graphes)
Analysis and Compilation of Parallel Programming Languages. (Analyse et compilation de langages de programmation parallèle)
Étude des méthodologies de conception, outils de synthèse et de génération automatiques de parties contrôles de microprocesseurs. (Study of design methodology, stools of automatic synthesis and generation to control parts of microprocessors)
Synthèse d'observateurs adaptatifs pour les systèmes non linéaires. (Synthesis of adaptive observers for nonlinear systems)
Contributions to temporal graph theory and mobility-related problems. (Contributions à la théorie des graphes temporels et aux problèmes de mobilité)
Rendu réaliste de matériaux complexes. (Realistic rendering of complex materials)
Conception et développement d'un dispositif médical multimodal innovantpour le dépistage du Syndrome d'Apnées du Sommeil (SAS). (Conception and development of a multimodal and innovative medical device for the screening of Sleep Apnea Syndrome (SAS))
Optimisation multi-objectif des communications dans les réseaux de capteurs hétérogènes. (Multi-objective optimization of communications in heterogeneous sensor networks)
‫Reconnaissance Biométrique par Fusion Multimodale du Visage 2D et 3D. (Biometric Recognition by Multimodal Fusion of the 2D and 3D Face)