yusuke1997/dblp-id-title huggingface dataset:
A Scalable and Sustainable Web of Buildings Architecture. (Architecture Évolutive et Efficiente du Web des Bâtiments)
Adapting the Prerequisite Structure to the Learner in Student Modeling. (Adaptation à l'apprenant de la structure des relations de prérequis dans la modélisation de l'élève)
Source Independence in the Theory of Belief Functions. (Indépendance des Sources dans la Théorie de l'évidence)
Vers un logiciel d'ordonnancement pour bâtiment à l'usage des PME et PMI
Parallelization of Morphological Operators Based on Graphs. (La parallélisation des opérateurs morphologiques basés sur les graphes)
Bayesian nonparametric mixture models and clustering. (Modèles de mélange bayésiens non-paramétriques et clustering)
Inter-domain routing. (Routage inter-domaine)
Traitement dans le domaine chiffré par l'intelligence artificielle. (Processing in the encrypted domain using artificial intelligence)
Contributions à l'étude de la stabilité d'écoulements autosemblables d'onde thermique pour la fusion par confinement inertiel. (Contributions to the stability analysis of self-similar supersonic heat waves related to inertial confinement fusion)
Query enumeration and nowhere dense graphs. (Énumération des requêtes et graphes nulle-part denses)
Modélisation des flux de gènes par approches Bayésiennes. Application à l'aide à la décision pour la coexistence de cultures OGM et non OGM. (Modeling of gene flow at the lanscape scale by a Bayesian approach. Application to decision support for the coexistence between GM and non v)
Contributions au recalage pour la réalité augmentée en coelioscopie de l'utéru : détection de contours sémantiques et mise à jour topologique du modèle virtuel à partir d'images peropératoires. (Contributions to the registration for augmented reality in laparoscopy of the uterus: Semantic edge detection and topological update of the virtual model from intraoperative images)
Artificial intelligence for resource allocation in multi-tenant edge computing. (L'Intelligence artificielle pour l'allocation des ressources dans le multi-tenant edge computing)
Toward an autonomic engine for scientific workflows and elastic Cloud infrastructure. (Etude et conception d'un système de gestion de workflow autonomique)
G4-Hunter : a new algorithm for G-quadruplexes prediction's. (G4-Hunter : un nouvel algorithme pour la prédiction des G-quadruplexes)
A contribution to analysis and modeling of NO and N2O emissions during nitritation. (Une contribution à l'analyse et la modélisation des émissions de NO et N2O pendant nitritation)
Coordination de négociations pour la sous-traitance dans le cadre d'alliance inter-organisationnelles
Ajustement statistique d'un tableau sur des marges : application au tableau des entrées intermédiaires
Investigating the Impacts of Multi-Object Scheduling Policies for Serverless Functions on the Edge-Cloud Continuum. (Apprentissage sur l'impact des politiques d'ordonnancement multi-objectifs pour les fonctions serverless dans le Edge-Cloud continuum)
Security analysis of contactless communication protocols. (Analyse de sécurité des protocoles de communication sans contact)
Automatic derivation of I/O complexity bounds for affine programs. (Calcul automatique de bornes sur la complexité I/O de programmes affines)
Simulations intrinsèques et complexités dans les réseaux d'automates. (Intrinsic simulations and complexities in automata networks)
Neural architectures for estimating correspondences between images. (Estimation des correspondances entre images par réseaux de neurones convolutifs)
High Level Hardware Synthesis of RVC Dataflow Programs. (Synthèse Matérielle Haut Niveau des Programmes Flot de Donnée RVC)
Contribution aux méthodes hybrides d'optimisation heuristique : Distribution et application à l'interopérabilité des systèmes d'information. (Contribution to hybrid heuristic optimization methods : Distribution and application on information systems interoperability)
Approches probabilistes pour la perception et l'interprétation de l'activité humaine. (Probabilistic approaches for the Perception and interpretation of human activity)
Allocation optimale multicontraintes des workflows aux ressources d'un environnement Cloud Computing. (Multi-constrained optimal allocation of workflows to Cloud Computing resources)
High-Dimensional Time Series Anomaly Detection over Heterogeneous Domains. (Détection d'Anomalies dans les Séries Temporelles de Grande Dimension sur des Domaines Hétérogènes)
Relevé numérique d'art pariétal : définition d'une approche innovante combinant propriétés géométriques, visuelles et sémantiques au sein d'un environnement de réalité mixte. (Digital survey of rock art : definition of an innovative approach combining geometric, visual and semantic properties within a mixed reality environment)
Prise en compte du mouvement respiratoire pour la reconstruction d'images tomodensitométriques: Obtention d'images TDM 4D en salle de traitement pour la radiothérapie du cancer du poumon. (Management of the respiratory motion for the reconstruction of computed tomography images: Obtaining 4D TDM images in the treatment room for lung cancer radiotherapy)
Une Nouvelle Approche de Composition des Langages de Modélisation Spécifiques aux Domaines. (A New Approach for Composing Domain Specific Modeling Languages)
Segmentation d'images de documents manuscrits composites : application aux documents de chimie. (Heterogenous handwritten document image segmentation : application to chemistry document)
Correction de données de séquençage de troisième génération. (Error correction of third-generation sequencing data)
AI-Driven Reactive Control Strategy for Industrial Humanoid Robots. (Stratégie de contrôle réactif basée sur l'IA pour des robots humanoïdes industriels)
Segmentation et analyse géométrique : application aux images tomodensitométriques de bois. (Segmentation and geometric analysis: application to CT images of wood)
Méthodes de calculs sur les données chiffrées. (Outsourcing computation on encrypted data)
Protocoles d'attestation dans les environnements dynamiques. (Attestation protocols in dynamic environments)
Anomaly detection in loT: from data efficiency toe enhancing QoS. (Détection d'anomalies dans l'IoT: de l'efficacité des données à l'amélioration de la qualité de service)
Inherent trade-offs in privacy-preserving machine learning. (Compromis inhérents à l'apprentissage automatique préservant la confidentialité)
Text Mining Approaches for Semantic Similarity Exploration and Metadata Enrichment of Scientific Digital Libraries. (Approches en fouille de texte pour une exploration par similarité sémantique et un enrichissement en métadonnées des bibliothèques numériques)
Spécification et simulation fonctionnelles de circuits complexes : le système CADOC. (Specification and functional simulation of complex circuits: the CADOC system)
Apprentissage interactif de règles d'extraction d'information textuelle. (Iteractive learning of textual information extraction rules)
Service continuity in heterogeneous wireless networks for time constrained applications. (Continuité de service dans les réseaux sans fils hétérogènes pour les applications à contrainte de temps)
Class Incremental Continual Learning in Deep Neural Networks. (Apprentissage continu classe par classe pour les réseaux de neurones profonds)
Un modèle de recherche d'information basé sur les graphes et les similarités structurelles pour l'amélioration du processus de recherche d'information. (An information retrieval model based on graphs and structural similarities for improving information retrieval process)
Modélisation hydrologique à base géomorphologique de bassins versants non jaugés par régionalisation et transposition d'hydrogramme
Schedulability in Mixed-criticality Systems. (Ordonnancement des systèmes avec différents niveaux de criticité)
Verified Computing in Homological Algebra. (Calculs vérifiés en algèbre homologique)
Large scale urban transport control for enhanced resilience: Analysis via complex networks, artificial intelligence and Big Data processing. (Contrôle sur un réseau de transport à large échelle pour une résilience accrue: analyses via des réseaux complexes, de l'intelligence artificielle et des calculs Big Data)
Virtual networked infrastructure provisioning in distributed cloud environments. (Allocation d'infrastructures virtuelles en environnements clouds distribués)
Etude et prévisions spatio-temporelles des systèmes urbains de transport: application au trafic urbain de Bamako. (Study and spatio-temporal predictions of urban transportation systems)
Modélisation et validation expérimentale de concept de Détection Vidéo Coopérative destiné à un système stéréo anticollision inter-véhicule. (Modeling and experimental validation of the concept of Cooperative Video Detection for a stereo inter-vehicle collision system)
Contraintes Diophantiennes Linéaires : résolution et coopération inter-résolveurs. (Linear diophantine constraints : solving and cooperation of solvers)
Argumentation, Logic and Explainability. (Argumentation, Logique et Explicabilité)
Towards next generation recommender systems through generic data quality. (Vers des systèmes de recommandation de nouvelle génération grâce à la qualité des données génériques)
Suivi temporel de la dynamique des structures : apports du théorème fluctuation-dissipation et de la dynamique lente pour l'évaluation de l'intégrité des structures de génie civil. (Temporal monitoring of the dynamics of structures : contributions of the fluctuation-dissipation theorem and of the slow dynamics to assess the state of health of engineering structures)
Robustness in timed automata : analysis, synthesis, implementation. (Robustesse dans les automates temporisés : analyse, synthèse, implémentation)
Codes correcteurs quantiques pouvant se décoder itérativement. (Iteratively-decodable quantum error-correcting codes)
Intégrer des modèles de viabilité dans les outils d'aide à la gestion participative de territoires protégés
Reachability analysis with Lebesgue-integrable time-varying uncertainties. (Analyse d'atteignabilité avec incertitudes variables dans le temps et intégrables au sens de Lebesgue)
Large-scale automatic learning of autonomous agent behavior with structured deep reinforcement learning. (Apprentissage automatique à grande échelle du comportement des agents autonomes avec apprentissage structuré par renforcement profond)
Modélisation de fruits, de leur structure interne et de leurs défauts. (Modeling fruits, their internal structure and their defects)
Security and Trust for Wireless Integrated Circuits. (Sécurité et confiance pour les circuits intégrés sans fil)
Conception d'une architecture embarquée adaptable pour le déploiement d'applications d'interface cerveau machine. (Design of an adaptable embedded architecture for the deployment of brain-machine interface applications)
Guided Data Selection for Predictive Models. (Sélection de données pour les modèles prédictifs)
Control Theory for Computing Systems: Application to big-data cloud services & location privacy protection. (Contrôle des systèmes informatiques: application aux services clouds et à la protection de vie privée)
Contribution à la validation opérationnelle de l'ordonnancement et de la génération de séquences de commande pour les systèmes SCADA industriels. (Contribution to the Operational Validation of Scheduling and Generation of Control Sequences for Industrial Scada Systems)
User-centric security monitoring in cloud environments. (Supervision de la sécurité centre sur l'utilisateur dans un environnement de nuage informatique)
Distributed resource allocation for virtual networks. (Allocation distribuée de ressources pour les réseaux virtuels)
Introduction de raisonnement probabiliste dans la méthode B événementiel. (Introducing Probabilistic reasoning within Event-B)
Nouvelles méthodes de synthèse logique. (New logic synthesis methods)
Techniques de localisation et de résumé des données dans les systèmes P2P. (Data Localization and Summarization Techniques in P2P Systems)
A study of explanation generation in a rule-based system. (Une étude de la génération d'explication dans un système à base de règles)
Reasoning in Descriptions Logics Augmented with Refreshing Variables. (Raisonner en Logiques de Description Augmentées avec la Sémantique Rafraichissante)
Proposition d'architectures radio logicielles fpga pour démoduler simultanément et intégralement les bandes radios commerciales, en vue d'une indexation audio. (Proposal of fpga - based software radio architectures for simultaneously and fully demodulating the commercial radio bands, with the aim of doing audio indexing)
Conception de noyaux de systèmes embarqués reconfigurables. (Conception of reconfigurable embedded system kernels)
Query rewriting using views : a theoretical and practical perspective. (Réécriture de requêtes avec des vues : une perspective théorique et pratique)
Des comportements flexibles aux comportements habituels : meta-apprentissage neuro-inspiré pour la robotique autonome. (From flexible to habitual behaviors : neuro-inspired meta-learning for autonomous robots)
Surveillance et Diagnostic par le flux d'ateliers de production cyclique. (Flow Monitoring and Diagnosis of cyclic production Workshops)
Evaluation de performances sur le standard IEEE802.16e WiMAX. (IEEE802.16e standart - Mobile WiMAX -Performances Evaluations)
Contribution à la modélisation numérique de la propagation des ondes sismiques sur architectures multicoeurs et hiérarchiques. (Numerical modeling of seismic wave propagation on hierarchical and multicore architectures)
Algorithmes pour la prédiction in silico d'interactions par similarité entre macromolécules biologiques. (Similarity-based algorithms for the prediction of interactions between biomolecules)
Anisotropic metric-based mesh adaptation for unsteady CFD simulations involving moving geometries. (Adaptation de maillage anisotrope par prescription de champ de métriques appliquée aux simulations instationnaires en géométrie mobile)
Un cadre robuste pour la prévention d'erreurs dans les workflows d'analyse des data lakes. (A robust framework for error prevention in data lake analytical workflows)
Computational microscopy. (Microscopie computationnelle)
Développement d'une méthode commune de diagnostic et pronostic basée sur un cadre formel de modélisation générique. Application à un module électro-hydrostatique aéronautique. (Development of a common method of diagnosis and prognosis based on a formal framework of generic modeling. Application to an aeronautical electro-hydrostatic module)
Système coopératif de type égal-à-égal pour la recommandation : Application à la gestion et la recommandation de références bibliographiques. (A Cooperative P2P System for Recommendation: Application to Bibliographical References Management and Recommendation)
Une architecture de communication pour environnements virtuels distribués à grande-echelle sur l'internet. (A Communication Architecture for Large-Scale Virtual Environments on the Internet)
Datascience in support of cybersecurity operations : Adaptable, robust and explainable anomaly detection for security analysts. (Science de la donnée en appui des opérations de cybersécurité : Détection d'anomalies adaptable, robuste et explicable pour les analystes de sécurité)
Évaluation par simulation de la sécurité des circuits face aux attaques par faute. (Evaluation by simulation of circuits security against fault attacks)
Contributions on detection and classification of internet traffic anomalies
Towards Expressive Graph Neural Networks: Theory, Algorithms, and Applications. (Vers des Graph Neural Networks expressives: théorie, algorithmes et applications)
Network Traffic Generation for Evaluation of Intrusion Detection Tools: Machine learning based generation of synthetic network flows. (Génération par apprentissage automatique de trafic réseau pour l'évaluation des outils de détection d'intrusion)
Système couplé PDP-8/IBM-360 pour l'assemblage et la transmission de programmes
Etude et conception de circuits innovants exploitant les caractéristiques des nouvelles technologies mémoires résistives. (Study and design of an innovative chip leveraging the characteristics of resistive memory technologies)
Normes de chanfrein et axe médian dans le volume discret. (Chamfer norms and medial axis in the discrete volume)
Serious auralizations. (Auralisations sérieuses)
Localisation d'objets urbains à partir de sources multiples dont des images aériennes. (Localization of urban objects from multiple sources, including aerial imagery)
Patterns in Large Graphs. (Motifs dans les grands graphes)
Reverse Engineering Feature Models From Software Variants to Build Software Product Lines: REVPLINE Approach. (Construction de lignes de produits logiciels par rétro-ingénierie de modèles de caractéristiques à partir de variantes de logiciels: l'approche REVPLINE)
Logique de requêtes à la XPath: systèmes de preuve et pretinence pratique. (XPath-like Query Logics: Proof Systems and Real-World Applicability)
Débruitage Vidéo Temps Réel pour Systèmes Embarqués. (Real-Time Video Denoising for Embedded Systems)
Contributions à l'identification de défaillances dans des systèmes thermiques régis par des équations aux dérivées partielles paraboliques. (Contributions to the identification of failures in thermal systems governed by parabolic partial differential equations)
Model-based Synthesis of Distributed Real-time Automotive Architectures. (Synthèse basée sur les modèles d'architectures automobiles temps réel distribuées)
Privacy issues in wireless networks: Every frame you send, they'll be watching you. (Problèmes de vie privée dans les réseaux sans-fil : Every frame you send, they'll be watching you)
Learning behaviours aligned with moral values in a multi-agent system: guiding reinforcement learning with symbolic judgments. (Apprentissage de comportements alignés sur des valeurs morales dans un système multi-agent : guider l'apprentissage par renforcement avec des jugements symboliques)
Calcul sur les grands nombres et VLSI : application au PGCD, au PGCD étendu et à la distance euclidienne. (Very large integer arithmetic in VLSI and its application to the gcd, entended gcd and euclidean distance algorithms)
Inférence d'invariants pour le model checking de systèmes paramétrés. (Invariants inference for model checking of parameterized systems)
Utilisation des vues matérialisées, des index et de la fragmentation dans la conception logique et physique d'un entrepôt de données. (Using materialized views, indexes and fragmentation in the logical and physical design of a data warehouse)
Distributed data management with a declarative rule-based language webdamlog. (Gestion des données distribuées avec le langage de règles Webdamlog)
Infocentre recherche : système d'information, outil d'aide au pilotage de la recherche d'un établissement de recherche. Application à l'Université Paul Cézanne Aix-Marseille III. (an information system conceived as a tool for monitoring the research carried out by an institution or a research unit)
Nuclear architecture in normal and cloned bovine early embryos: Dynamics of heterochromatin
Méthode numérique asynchrone pour la modélisation de phénomènes multi-échelles. (Asynchronous numerical method for the modeling of multi-scale phenomena)
Tomographie de région d'intérêt par inversion numérique de la transformée de Hilbert tronquée. (Region-of-interest tomographic reconstruction by numerical inversion of the truncated Hilbert transform)
Contribution à la modélisation du langage pour des applications de recherche documentaire et de traitement de la parole. (Language modeling for Information retrieval and Speech processing applications)
Application of scientific computing and statistical analysis to address coastal hazards. (Application du calcul scientifique et de l'analyse statistique à la gestion du risque littoral)
Une approche neuro-dynamique de conception des processus d'auto-organisation. (A neuro-dynamic approach for designing self-organizing processes)
Détection d'aiguilles et de grains dans les images ultrasonores pour la curiethérapie dynamique. (Needles and seeds localization in 3D ultrasound images for brachytherapy)
Sources appliquées aux cavités auto-alimentées pour les nouveaux réseaux d'accès multiplexés en longueur d'onde. (Emitting sources for self-seeded cavities in the next generation wavelength multiplexed access networks)
Sketching for Large-Scale Learning of Mixture Models. (Apprentissage de modèles de mélange à large échelle par Sketching)
Tout est dans le regard : reconnaissance visuelle du comportement humain en vue subjective. (It's all in your eyes : first-person gaze estimation and analysis for understanding human behavior)
Contributions on microscopic approaches to solve the train timetabling problem and its integration to the performance of infrastructure maintenance activities. (Contributions d'un modèle microscopique à la résolution du problème de construction d'une grille horaire et à la planification des activités de maintenance de l'infrastructure ferroviaire)
Sparse representations over learned dictionary for document analysis. (Présentations parcimonieuses sur dictionnaire d'apprentissage pour l'analyse de documents)
Algoritmos exatos para problema da clique maxima ponderada. (Exact algorithms for the maximum-weight clique problem / Algorithmes pour le problème de la clique de poids maximum)
Observation des systèmes à retard - approches fini - et infini - demensionnelles. (Observation of delayed systems - finite- and infinite- dimensional approach)
Apprentissage actif multi-labels pour des architectures transformers. (Multi-label active learning applied to transformers architectures)
Distribution de valuations sur les arbres. (Distribution of Valuations on Trees)
Conception, réalisation et évaluation d'un jeu sérieux de stratégie temps réel pour l'apprentissage des fondamentaux de la programmation. (Conception, Implementation and Evaluation of a Real Time Strategy Serious Game Dedicated to Introduce Programming Fundamentals)
Random projection for high-dimensional optimization. (Projection aléatoire pour l'optimisation de grande dimension)
Représentation sémantique multilingue, multiculturelle et temporelle des relations interpersonnelles, appliquée à une prothèse de mémoire. (A semantic multicultural, multilingual and temporal representation of interpersonal relationships, applied to a memory prosthesis)
Hyperdialogue sur internet. Le système HALPIN. (Hyperdialog sur internet. The HALPIN system)
Exploring Prediction Strategies in Vehicular Networks Through Machine Learning Techniques and Hybrid Intelligence. (Exploration des stratégies de prédiction dans les réseaux véhiculaires via l'apprentissage automatique et l'intelligence hybride)
Contribution au transfert de données : application à MPI
Audience simulation and perception in virtual reality.: Application to public speaking training in an academic environment. (Simulation et perception du public en réalité virtuelle. / Simulation et perception du public en réalité virtuelle.: Application à la formation à la prise de parole en public dans le milieu universitaire)
Système multi-agents d'aide à la construction d'une équipe pluridisciplinaire en vue d'un diagnostic efficace pouvant allier médecine moderne et médecine traditionnelle. (Multi-agent system to help build a multidisciplinary team for an efficient diagnosis that can combine modern and traditional medicine)
Mining numerical data with formal concept analysis and pattern structures. (Traitement de données numériques par analyse formelle de concepts et structures de patrons)
Etude des projections de données comme support interactif de l'analyse visuelle de la structure de données de grande dimension. (Study of multidimensional scaling as an interactive visualization to help the visual analysis of high dimensional data)
Agents situés dans l'image et organisés en pyramide irrégulière: Contribution à la segmentation par une approche d'agrégation coopérative et adaptative. (Multi-agent system organized in an irregular Pyramid: Application for image segmentation)