yusuke1997/dblp-id-title huggingface dataset:
Configuration guidée des lignes de produits basée sur les traces de processus. (Guided product line configuration based on process traces)
Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires. (Characterisation and programming in language theory and in logic of effective complexity classes of cellular automatons)
Study of Conflicts in Collaborative Editing. (Étude des conflits dans l'édition collaborative)
Axon Morphology Analysis: from Image Processing to Modelling. (Analyse de la Morphologie Axonale: du Traitement des Images a la Modélisation)
Quartz probes for embedded micro-robotics and imaging. (Sondes de quartz pour la micro-robotique intégrée et l'imagerie)
Conception et mise en oeuvre d'un outil déclaratif pour l'analyse des réseaux génétiques discrets. (Design and implementation of a declarative tool for analyzing discrete genetic networks)
Quantified Analysis for Video Recordings of Seizure. (Analyse Quantifiée des Vidéos de Crises Epileptiques)
Nouvelles techniques de déduction automatiques en logiques polyvalentes finies et infinies du premier ordre. (New techniques for automated deduction in finite and infinite, first-order many-valued logics)
Gestion dynamique des tâches dans les grappes, une approche à base de machines virtuelles. (Online Management of Jobs in Clusters using Virtual Machines)
Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel. (Online monitoring of temporal properties in real-time distributed systems)
Optimisation et validation des méthodes de calcul de dose à distance des faisceaux d'irradiation pour leur application dans les études épidémiologiques et cliniques en radiothérapie. (Optimization and validation of out-of-field dose calculation methods in external beam radiation therapy for use in epidemiological and clinical studies)
Un développement pour la modélisation et la visualisation en synthèse d'images : CASTOR
Optimisation de l'ordonnancement sous contrainte de faisabilité. (Scheduling optimisation under feasibility constraint)
Cellular Matrix for Parallel K-means and Local Search to Euclidean Grid Matching. (Matrice cellulaire pour des algorithmes parallèles de k-means et de recherche locale appliqués à des problèmes euclidiens d'appariement de graphes)
Suivi d'objets d'intérêt dans une séquence d'images : des points saillants aux mesures statistiques
Trajectographie passive sans manoeuvre de l'observateur. (Target motion analysis without maneuver of the observer)
The structure of orders in the pushdown hierarchy. (Les structures d'ordre dans la hiérarchie à pile)
Uterine synchronization analysis during pregnancy and labor using graph theory, classification based on machine learning. (Caractérisation des réseaux de connectivité en utilisant les graphes : application à la détection de l'accouchement prématuré)
Analyses statistiques des communications sur puce. (Networks on chip statistical traffic analysis)
Energy Conservation for Collaborative Applications in Wireless Sensor Networks. (Conservation d'énergie pour les applications collaboratives dans les réseaux de capteurs sans fil)
Contributions a l'analyse de la variance et aux plans d'experience
Contribution à la définition de modèles de recherche d'information flexibles basés sur les CP-Nets
Modélisation et analyse structurelle du fonctionnement dynamique des systèmes électriques. (Modeling and structural analysis of power systems dynamic model)
Stratégie de limitation de l'ingestion chez le lapin : optimisation des performances zootechniques, impacts physiologiques et conséquences sur la santé digestive
On the network awareness of P2P applications. (Applications TV pair-à-pair conscientes du réseau)
Contractualisation de l'évolution architecturale de logiciels à base de composants : Une approche pour la préservation de la qualité
SIMD-aware Word Length Optimization for Floating-point to Fixed-point Conversion targeting Embedded Processors. (Optimisation de la largeur des mots pour la conversion de virgule flottante en virgule fixe ciblant des processeurs embarqués avec support SIMD)
Conception et développement d'une infrastructure de communication collaborative. (Design and development of an infrastructure of collaborative communication)
The security of the One-More Discrete-Logarithm assumption and Blind Schnorr Signatures. (Securité de l'hypothèse One-More Discrete-Logarithm et des signatures de Schnorr aveugles)
Sûreté de fonctionnement et provisionnement éco-énergétique dans les centres de données virtualisés IaaS. (Dependability and energy efficient resource provisioning in virtualized data centers IaaS)
Models and algorithms for online stochastic vehicle routing problems. (Modèles et algorithmes pour des problèmes de routage de véhicules en ligne et stochastiques)
Etude des marqueurs discursifs dans le dialogue finalisé. (Study of discourse cues in task oriented dialogue)
Génération et Évaluation de Visualisations avec des techniques d'Apprentissage Automatique. (Generation and Evaluation of Visualizations with Machine Learning Techniques)
Interference Alignment Techniques for Heterogeneous Wireless Networks. (Alignement d'interférences dans les réseaux de communication hétérogènes)
Reducing incertainty in environmental measurements using bayesian and adaptive moment estimation : study case Andean city of Quito. (Réduction de l'incertitude dans les mesures environnementales à l'aide de l'estimation bayésienne et adaptative des moments : cas d'étude ville andine de Quito)
Acquisition sur corpus d'informations lexicales fondées sur la sémantique différentielle
Études prédictives des processus de vieillissement des piles à combustible à membrane d'échange de protons par approche hybride. (Predictive studies of proton exchange membrane fuel cell aging processes using a hybrid approach)
Architectures parallèles à connectique programmable : reconfiguration et routage
Studying Attention in Virtual Reality with Electroencephalography and Eye-Tracking. (Étude de l'attention en réalité virtuelle à l'aide de signaux électroencéphalographiques et du suivi du regard)
Creation of a Biodiversity Severity Index to evaluate the risks of accidental pollutions in the industry : a multi-criteria sorting approach. (Création d'un indice de gravité sur la biodiversité pour évaluer les risques de pollutions accidentelles dans l'industrie : une approche de tri multi-critères)
Image matching using rotating filters. (Mise en correspondance d'images avec des filtres tournants)
Application d'une approche symbolico-connexionniste pour la conception d'un système documentaire hautement interactif
Learning spatial representations for single-task navigation and multi-task policies. (Apprentissage de représentations spatiales pour les politiques mono-tâches de navigation et multi-tâches)
Modeling and Analysis of Stochastic Real-Time Systems. (Modélisation et analyse de systèmes stochastiques et temps réel)
Activity States: a theoretical framework for the analysis of actual human collaboration on the Web. (Activity States: un cadre théorique pour l'analyse de la collaboration humaine concrète sur le Web)
Automates cellulaires pour la modélisation multi-échelle des systèmes biologiques. (Cellular automata for multi-scale modeling of biological systems)
Combined Complexity of Probabilistic Query Evaluation. (Complexité combinée d'évaluation de requêtes sur des données probabilistes)
Access control policies and companies data transmission management. (Gestion du contrôle de la diffusion des données d'entreprises et politiques de contrôles d'accès)
Couplage entre agents, environnements et niveaux d'organisation dans les modèles mécanistes en épidémiologie. Application à la modélisation de maladies infectieuses en élevage porcin. (Coupling between agents, environments, and levels of organization in mechanistic models in epidemiology. Application to the modelling of infectious diseases in pig farming systems)
Modèles de conception pour des applications collaboratives dans le cloud. (Design Models for Mobile Collaborative Applications in the Cloud)
Méthodes avancées pour l'identification, la commande et le diagnostic prédictif des systèmes complexes. (Advanced methods for complex systems identification, command and predictive diagnosis)
Visualisation de données dynamiques et complexes: des séries temporelles hiérarchiques aux graphes multicouches. (Visualization of Dynamic and Complex Data: from Hierarchical Time Series to Multilayer Graphs / Visualización de datos dinámicos y complejos: desde series temporales jerárquicas a grafos multicapas)
Personalized Access to Contextual Information by using an Assistant for Query Reformulation. (Personnalisation et Adaptation de L'accès à L'information Contextuelle en utilisant un Assistant Intelligent)
Modélisation des systèmes de traitement de l'information quantique. (Modeling Quantum Information Processing Systems)
Optimization of cost-based threat response for Security Information and Event Management (SIEM) systems. (Optimisation de la réponse aux menaces basée sur les coûts dans des systèmes pour la Sécurité de l'Information et la Gestion des Evénements (SIEMs))
Dynamic Data Structures for Complex Systems. (Structures de Données dynamiques pour les Systèmes Complèxes)
Vers un calcul en temps réel de la dose dans un fantôme segmenté en mailles homogènes. (Towards a real time computation of the dose in a phantom segmented into homogeneous meshes)
Modélisation des instabilités liées au frottement sec des solides élastiques, aspects théoriques et numériques. (Modelization of the instabilities of elastic solids under dry friction, theoretical and numerical aspects)
Une approche vers la Comprehension automatique des textes arabes Destinee pour les systemes de Question-Reponse
Co-conception diagnostic et ordonnancement des mesures dans un système contrôlé en réseau. (Fault diagnosis and sensor scheduling co-desing of networked control system)
Combinatoire dans des stabilisations du modèle du tas de sable sur la grille Z². (Combinatorics on some stabilisations in the Abelian Sandpile Model on the square lattice Z²)
Volumes d'ombre en rendu temps réel : Complexité géométrique et stratégie de partitionnement. (Geometric complexity and partitioning strategy for real-time Shadow Volumes)
Proposition d'une approche d'amélioration des performances des organisations par le management opérationnel de leurs connaissances et compétences. (Proposing a performance improvement approach to organizations by the operational management of their knowledge and competences)
Vision en mouvement pour la robotique mobile. (Vision during motion for Mobile Robots)
Amélioration de la localisation 3D de données laser terrestre à l'aide de cartes 2D ou modèles 3D. (Improved 3D localization of mobile mapping vehicles using 2D maps or 3D models)
Depth Attention for Scene Understanding. (Module d'attention sensible à la profondeur pour l'analyse de scènes)
Querying semantic web/linked data graphs using summarization. (Interrogation du web sémantique à l'aide de résumés de graphes de données)
From automata to cyclic proofs : equivalence algorithms and descriptive complexity. (Des automates aux preuves cycliques : algorithmes d'équivalence et complexité descriptive)
Apprentissage de vote de majorité pour la classification supervisée et l'adaptation de domaine : approches PAC-Bayésiennes et combinaison de similarités. (Learning Majority Vote for Supervised Classification and Domain Adaptation: PAC-Bayesian Approaches and Similarity Combination)
Exploitation des structures régulières et des spécifications locales pour le développement correct de systèmes réactifs de grande taille
Aspects probabilistes des automates cellulaires, et d'autres problèmes en informatique théorique
Contribution to the study of the common FFT operator in Software radio context: application to channel coding. (Contribution à l'étude de l'opérateur commun FFT dans le contexte de la Radio logicielle : application au codage de canal)
e-Services Mobiles et Sécurisés Légers. (Light Secure Mobile eServices)
Arithmétique et algorithmique en algèbre linéaire exacte pour la bibliothèque LinBox. (Arithmetic and algorithmic in exact linear algebra for the LinBox library)
Analyse formelle de concepts et fusion d'informations : application à l'estimation et au contrôle d'incertitude des indicateurs agri-environnementaux. (Formal concept analysis and information fusion : application on the uncertainty estimation of environental indicators)
Modélisation statistique et simulation des grandes échelles des écoulements turbulents. Application aux inverseurs de poussée. (Reynolds-Averaged Navier-Stokes simulation and Large-eddy simulationof turbulent flows. Application to thrust reversers)
Molecular simulations of lipid droplet biogenesis. (Simulations moléculaires de la biogénèse des gouttelettes lipidiques)
Contributions to Multi-Armed Bandits: Risk-Awareness and Sub-Sampling for Linear Contextual Bandits. (Contributions aux bandits manchots : gestion du risque et sous-échantillonnage pour les bandits contextuels linéaires)
Efficient algorithms for improving packet routing and congestion control in dense electromagnetic nanonetworks. (Algorithmes efficaces pour améliorer le routage des paquets et le contrôle de la congestion dans les nanoréseaux électromagnétiques denses)
éLaboration d'un processus et conception des outils pour introduire la Collaboration dans simulation. (Elaboration of a process and design of tools to introduce the collaboration in simulation)
A Data-driven Approach to Natural Language Processing for Contemporary and Historical French. (Une approche basée sur les données pour le traitement automatique du langage naturel en français contemporain et historique)
Tools and Techniques for the Verification of Modular Stateful Code. (Outils et techniques pour la vérification de programmes impératives modulaires)
Etude des structures statistiques associées aux lois de Von Mises. (Study of statistical structures associated with the laws of Von Mises)
Quality of service and privacy in internet of things dedicated to healthcare. (Qualité de service et vie privée dans l'Internet des objets dédié à la santé)
Contribution à l'analyse complexe de documents anciens, application aux lettrines. (Complex analysis of historical documents, application to lettrines)
Automated prediction of major adverse cardiovascular events. (Prédiction automatique des épisodes cardio-vasculaires adverses majeurs)
ORPHEUS: Reasoning and Prediction with Heterogeneous rEpresentations Using Simulation. (ORPHEUS: raisonnement et prédiction avec des représentations hétérogènes en utilisant la simulation)
Fragments structuraux : comparaison, prédictibilité à partir de la séquence et application à l'identification de protéines de virus. (Structural fragments : comparison, predictability from the sequence and application to the identification of viral structural proteins)
Une approche qualitative pour la prise de décision sous contraintes non-fonctionnelles dans le cadre d'une composition agile de services. (A qualitative approach for decision making under non-functional constraints during agile service composition)
Décomposition de graphes en plus courts chemins et en cycles de faible excentricité. (Decomposing a graph with shortest paths of bounded eccentricity)
Towards Dependable 5G-NR Sidelink Communication. (Vers une communication directe et fiable en sidelink 5G-NR)
Conception d'un outil d'assistance pour les phases préliminaires de projet basée sur les principes de systèmes sensoriels, utilisabilité et conception universelle. (Design of assistive tool for preliminary phases of projects, based on sensorial systems principles, usability and universal design)
Préserver la Séparation des Préoccupations durant l'Intégration de Domaines Hétérogènes dans les Systèmes Logiciels. (Preserving Separation of Concern while Integrating Heterogeneous Domains in Software Systems)
Echographie 3D dynamique pour le suivi d'une structure osseuse en orthopédie. (3D Ultrasound Bone Tracking for Orthopaedic)
Decision theory, design theory and innovative policy design for conflict transformation and management. (Théorie de la décision, théorie de la conception et conception de politiques innovantes pour la transformation et la gestion des conflits)
Dynamic learning of the environment for eco-citizen behavior. (Apprentissage dynamique du milieu ambiant et des comportements éco-citoyens)
Modèle bio-inspiré pour le clustering de graphes : application à la fouille de données et à la distribution de simulations. (Bio-inspired models for clustering graphs : applications for data mining and distribution of simulations)
Efficient and scalable aggregation for large-scale data-intensive applications. (Algorithmes d'aggrégation pour applications Big Data)
Material and mechanical emulation of the human hand. (Material und mechanische Nachbildung der menschlichen Hand / Émulation matérielle et mécanique de la main humaine)
Extraction de structures de documents par champs aléatoires conditionnels : application aux traitements des courriers manuscrits
Effet des biais cognitifs et de l'environnement sur la qualité des données et des informations. (Effect of cognitive biases and environment on the quality of data and information)
Learning Recruitment-Related Representations from Graphs and Sequential Data. (Apprentissage de la Représentation Liée au Recrutement à partir de Graphes et de Données Séquentielles)
Sparsity and Electromagnetic Imaging in Non-Linear Situations. (Parcimonie et imagerie électromagnétique dans des situations non-linéaires)
SéMantiques et Syntaxes vectorielles de la logique LinéAIRE. (Vectorial Semantics and Syntax of Linear Logic)
Les communautés dans les multigraphes de co-appartenance : Application aux listes Twitter. (Communities in co-membership networks : Twitter applications)
Méthodes formelles pour l'extraction d'attaques internes des Systèmes d'Information. (Formal methods for extracting insider attacks from Information Systems)
Calculs de représentations sémantiques et syntaxe générative : les grammaires minimalistes catégorielles. (Sémantic representations and generative grammar: the Minimalist Categorial Grammars)
Deep learning for adaptive 360° video streaming in virtual reality. (Deep learning pour le streaming adaptatif de vidéos à 360° en réalité virtuelle)
De quelques méthodes de calcul de valeurs propres de matrices de grande taille. (Some methods to compute eingenvalues of large matrices)
On the Power of Rounds: Explorations of the Heard-Of Model. (De la puissance des tours: exploration du modèle Heard-Of)
Semantic Reasoning for Ubiquitous Smart Living Framework for Well-being and Digital Health. (Raisonnement sémantique pour une plateforme d'assistance intelligente orienté bien-être et santé numérique)
Verification of Shell Scripts Performing File Hierarchy Transformations. (Vérification de scripts Shell effectuant des transformations de système de fichiers hiérarchiques)
Construction et manipulation de maillages - Application aux géosciences
Contribution à la conception d'un système d'aide à la décision pour la gestion de situations de tension au sein des systèmes hospitaliers. Application à un service d'urgence. (Contribution to the design of a decision support system for the management of strain situations in hospital systems. Application to an emergency department)
Identification of aerodynamic coefficients from free flight data. (Identification de coefficients aérodynamiques à partir de données de vol libre)
Contribution à l'arithmétique des ordinateurs. (Contribution to computer arithmetic)
Flexible Quality of Service Management of Web Services Orchestrations. (Gestion Flexible de la Qualité de Service dans les Orchestrations de Services Web)
Single-view 3D reconstruction of curves. (Reconstruction de courbes 3D à partir d'une seule vue)
Sécurisation de l'Internet des objets. (Securing the Internet of things)
A high-level methodology for automatically generating dynamically reconfigurable systems using IP-XACT and the UML MARTE profile. (Méthodologie de conception de haut niveau pour la génération automatique des systèmes dynamiquement reconfigurables en utilisant IP-XACT et le profil UML MARTE)
Utilisation des modes directionnels dans la résolution. (Use of directional modes in resolution)
Génération procédurale d'effets atmosphériques. (Procedural generation of atmospheric effects)
Heterogeneity and locality-aware work stealing for large scale Branch-and-Bound irregular algorithms. (Hétérogénéité et localité dans les protocoles distribués de vol de travail pour les algorithmes Branch-and-Bound irréguliers à large échelle)
A versatile co-design framework for simultaneous optimization of robots' hardware and control. (Un cadre générique de co-conception pour l'optimisation du design et de la commande des robots)
Automated application privacy compliance checking in distributed Fog environments. (Vérification automatisée de la conformité de la confidentialité des applications dans les environnements Fog distribués)
Linear logic, type assignment systems and implicit computational complexity. (Logique linéaire, systèmes de types et complexité implicite)
Exploration and conception of computing architectures of type computing in-memory based on emerging non volatile memories. (Exploration et conception d'architectures de calcul de type in-memory à base de mémoires non volatiles émergentes)
Stable feature selection for multi-locus Genome-Wide Association Studies. (Sélection stable de variables pour les études d'association génome entier)
Calcul formel et parallélisme : forme normale d'Hermite, méthodes de calcul et parallélisation. (Computer algebra and parallelism. Hermite normal form: computation and parallelization)
Video for events: Compression and transport of the next generation video codec. (Vidéo pour l'événementiel: Compression et transport de la nouvelle génération de codec vidéo)
Structuration de collections d'images par apprentissage actif crédibiliste
Generative models for complex visual content. (Modèles génératifs pour des données visuelles complexes)
Collaborative Design in Augmented Reality : Supporting multiple views and parallel versions of the design space. (Conception collaborative en réalité augmentée : mise en oeuvre de vues multiples et de versions parallèles de l'espace de conception)
Adaptive machine learning methods for event related potential-based brain computer interfaces. (Méthodes adaptatives d'apprentissage pour des interfaces cerveau-ordinateur basées sur les potentiels évoqués)
Validation d'architectures temps-réel pour la robotique autonome. (Validation of real-time architectures for autonomous robotics)
Reconstructing our past ˸ deep learning for population genetics. (Reconstruire notre passé ˸ apprentissage statistique profond pour la génétique des populations)
Computational inference of conceptual trajectory model : considering domain temporal and spatial dimensions. (Raisonnement sur la modélisation des trajectoires : prise en compte des aspects thématiques, temporels et spatiaux)
Definition of predictive models to assess the response to neadjuvant chemotherapy from breast magnetic resonance images. (Modèles de prédiction de la réponse à la chimiothérapie néoadjuvante à partir d'examens d'IRM mammaire)
Modeling, evaluating and orchestrating heterogeneous leverages for large-scale cloud data centers management. (Modélisation, évaluation et orchestration des leviers hétérogènes pour la gestion des centres de données cloud à grande échelle)
Modularization of security software engineering in distributed systems. (Modularisation de la sécurité informatique dans les systèmes distribués)
Towards a Curry-Howard Correspondence for Quantum Computation. (Vers une correspondance de Curry-Howard pour le calcul quantique)
Apports de l'Intelligence Artificielle pour les écoulements gravitaires. (Contribution of Artificial Intelligence to gravity flows)
Implementability of distributed systems described with scenarios. (Implémentabilité de systèmes distribués décrits à l'aide de scénarios)