yusuke1997/dblp-id-title huggingface dataset:
Simulation de formes réalistes de développement résidentiel, de l'échelle du bâtiment à celle de l'ensemble d'une région urbaine. (Realist shapes of residential development simulation, from the building scale to a whole urban region)
Risk-aware Business Process Modelling and Trusted Deployment in the Cloud. (Modélisation de processus métiers sensibilisés aux risques et déploiement en confiance dans le cloud)
Process Algebras inside Ludics : an interpretation of the Calculus of Communicating Systems. (Algèbres de processus dans la Ludique : une interprétation du Calcul des Systèmes Communicants)
Concurrent constraint programming and linear logic
Notion de liberté en statistique mathématique
Algorithmic methods for the verification of consistency in distributed systems. (Méthodes algorithmiques pour la vérification de la consistance dans les systèmes distribués)
Analysis and Mining of Large Dynamic Graphs: case of graph clustering. (Fouille et Analyse de Grands Graphes Dynamiques : Application dans le clustering de graphes)
Lien entre les réarrangements chromosomiques et la structure de la chromatine chez la Drosophile. (Linking large scale genome rearrangement to chromatin structure in Drosophila)
Deep generative learning for medical data processing, analysis and modeling: application to cochlea ct imaging. (Apprentissage Génératif pour le Traitement, L'analyse et la Modélisation des Données Médicales: application à l'imagerie CT de la cochlée)
Contributions à l'algorithmique détendue et à la résolution des systèmes polynomiaux. (Contributions to relaxed algorithms and polynomial system solving)
La composition des protocoles de sécurité avec la méthode B événementielle. (Security protocols composition using Event B)
Improving Functional and Structural Test Solutions for Integrated Circuits. (Amélioration des solutions de test fonctionnel et structurel des circuits intégrés)
Fusion multiphysique pour système de localisation indoor. (Multiphysic fusion for indoor localization system)
Fusion collaborative de classifieurs : application à la détection de pathologies en mammographie. (Collaborative combination of classifiers : application to microcalcification detection in mammograms)
Learning anatomical digital twins in pediatric 3D imaging for renal cancer surgery. (Apprentissage de jumeaux numériques anatomiques en imagerie pédiatrique 3D pour la chirurgie des cancers du rein)
Un algorithme pour l'ordonnancement de tâches temps-réel sur des ressources non-préemptives
Synthèse des observateurs pour les systèmes non linéaires. (Synthesis of observers for nonlinear systems)
Analyses et préconisations pour les centres de données virtualisés. (Analysis and recommendations for virtualized datacenters)
Le système ANIMA : éditeur d'objets producteurs d'images, implantation d'algorithmes de simulation temps réel. (The ANIMA system: editor of image producing objects, implantation of real time simulation algorithms)
Gestion de Mobilité Supportée par le Réseau dans les Réseaux Sans Fil Hétérogènes. (Network-based Mobility Management in Heterogeneous Wireless Networks)
Cadres formels pour la simulation des peuplements hétérogènes de plantes en compétition pour les ressources. (Formal frameworks for the simulation of heterogenous plant populations competing for resources)
Scalabilité de scène multimédia. (Multimedia scene scalability)
Modèle de réorganisation de systèmes multi-agents : une approche descriptive et opérationnelle. (Re-organization model of multi-agent system : a descriptive and operational approach)
Sublim : un systeme universel de bases lexicales multilingues et Nadia : sa specialisation aux bases lexicales interlingues par acceptions. (Sublim: A Universal Lexical Database Manager and Nadia: its Specialisation for Acception Based Interlingual Lexical Database)
Prediction, neural network, and optimization : applications to the fields of agro-materials and telecommunication. (Prédiction, réseau de neurones et optimisation : applications aux domaines des agro-matériaux et de la télécommunication)
Synthèse de vues pour l'initialisation de pose. (Viewpoint synthesis for camera pose initialisation)
L'esthétique fonctionnelle de l'appareillage informatique comme ancrage phénoménologique de l'oeuvre à l'époque des immatériaux. (The functional aesthetics of computer apparatus as a phenomenological anchoring of the artwork in the age of immateriality)
Towards a modern floating-point environment. (Vers l'environnement flottant moderne)
Méthodologie de développement des services de communication temps-réel d'un intergiciel embarqué dans l'automobile. (Design methodology of real-time communication services for an automotive embedded middleware)
Tests automatisés dirigés par les exigences pour systèmes cyber-physiques. (Requirement driven automated tests for cyber-physical systems)
The interplay of machine learning and metaheuristics. (Les interactions entre le machine learning et la métaheuristique)
Reconnaissance de parole pour le français et intégration dans un système de compréhension du langage parlé. (Speech recognition for French and integration into a spoken language understanding system)
Business environment-aware management of service-based business processes. (Gestion sensible au métier des processus à base de services)
Mécanismes impliqués dans l'atrophie et la récupération musculaire après immobilisation chez le rat : rôle des altérations de la matrice extracellulaire
Sequential decision problems in non-stationary environments. (Problèmes de décision séquentielle dans des environnements non-stationnaires)
Black-box code analysis for reverse engineering through constraint acquisition and program synthesis. (Analyse de code en boîte noire pour la rétro ingénierie via acquisition de contraintes et synthèse de code)
Représentation et algorithmique des jeux à information incomplète. Application à la conservation de la biodiversité. (Representation and algorithmics of games with incomplete information. Application for biodiversity conservation)
Performance of Receiver Autonomous Integrity Monitoring (RAIM) for Vertically Guided Approaches. (Etude de la Performance du Contrôle Autonome d'Intégrité pour les Approches à Guidage Vertical)
Synthèse de modèles de plantes et reconstructions de baies à partir d'images. (Analysis and 3D reconstruction of natural objects from images)
Etude de la robustesse des graphes sociaux émergents. (Study of the robustness of emerging social graphs)
Amélioration des systèmes de traduction par analyse linguistique et thématique : application à la traduction depuis l'arabe. (Improvements for Machine Translation Systems Using Linguistic and Thematic Analysis : an Application to the Translation from Arabic)
Fédération de modèles pour l'analyse de cybersécurité du point de vue d'un attaquant. (Models' federation for cybersecurity analysis from an attacker's viewpoint)
Automatic Symbolic Goal Abstraction via Reachability Analysis in Hierarchical Reinforcement Learning. (Abstraction Symbolique et Automatique d'Objectifs en Apprentissage par Renforcement Hiérarchique via Analyse d'Atteignabilité)
Algorithmique rapide pour les problèmes de tournées et d'ordonnancement. (Time-salving algorithms for vehicule routing and scheduling problems)
Élaboration et évaluation de recommandations ergonomiques pour le guidage de l'apprenant en EVAH. : Application à l'apprentissage de procédure dans le domaine biomédical. (Assessment and evaluation of ergonomic recommendations for learner's cueing in VET. : Application learning process in the biomedical field)
Distributed clustering and self-reconfiguration for modular robots based programmable matter. (Clustérisation distribuée et auto-reconfiguration pour la matière programmable basée sur des robots modulaires)
Voir, savoir, faire : une étude de cas en logique modale. (Seeing, knowing, doing: case studies in modal logic)
Planification Multi-Robot du Problème de Répartition de Tâches avec Évitement Automatique de Collisions et Optimisation du Temps de Cycle : Application à la Chaîne de Production Automobile. (Planning for Multi-Robot Task Sequencing Problem with Automatic Collision Avoidance and Cycle Time Optimization : Application to Car Production line)
Algorithms for XML Stream Processing: Massive Data, External Memory and Scalable Performance. (Algorithms for XML stream processing : massive data, external memory and scalable performance)
GNSS/5G Hybridization for urban navigation. (Hybridation GNSS 5G pour de la navigation en milieu urbain)
Analyses pour l'ordonnançabilité et la flexibilité de systèmes temps réel. (Analyses for schedulability and flexibility of real-time systems)
Analyse du capitalisme social sur Twitter. (Social capitalism on Twitter : a survey)
Text Generation with and without Retrieval. (Génération de textes basés sur la connaissance avec et sans recherche)
Plateformes collaboratives et logiques processuelles dans l'évolution des formes organisationnelles : pour une conception étendue de l'information organisationnelle. (Collaborative platforms and processual logic in the evolution of organizational forms : to a large conception of organizational information)
Analyse macroscopique des grands systèmes : émergence épistémique et agrégation spatio-temporelle. (Macroscopic Analysis of Large-scale Systems : Epistemic Emergence and Spatiotemporal Aggregation)
Mécanismes de la fécondation dans l'espèce équine : approche comparée entre les modèles équin et porcin
Style and Meta-Style: Another way to reuse Software Architecture Evolution. (Style et Meta-Style: Une autre façon de réutiliser l'évolution dans les architectures logicielles)
Evaluation of XPath Queries on XML Streams with Networks of Early Nested Word Automata. (Évaluation de Requêtes XPath sur des Flux XML avec des Réseaux d'automates des mots imbriques)
Caractéristiques fonctionnelles des adipocytes selon leur localisation anatomique chez le porc : particularités des adipocytes intramusculaires
Codes AL-FEC hautes performances pour les canaux à effacements : variations autour des codes LDPC. (High performances AL-FEC codes for the erasure channel : variation around LDPC codes)
Une approche basée sur les préférences et les méta-heuristiques pour améliorer l'accessibilité des pages Web pour les personnes déficientes visuelles. (A meta-heuristic based approach for improving Web page accessibility for people with low vision)
Graph Neural Networks for Hall-Effect Thrusters Modeling. (Réseaux de neurones en graphe pour la modélisation de propulseurs ioniques à effet Hall)
Optimizing PaaS provider profit under service level agreement constraints. (Optimisation du profit des fournisseurs PaaS sous des contraintes de contrat de service)
A study of hierarchical watersheds on graphs with applications to image segmentation. (Une étude sur les hiérarchies de ligne de partage des eaux et ses applications dans la segmentation d'image)
Video inpainting techniques : application to object removal and error concealment. (Inpainting video: applications à la suppression d'objets et à la dissimulation d'erreurs)
Image reconstruction for three-gamma PET imaging. (Reconstruction d'image pour l'imagerie TEP à trois photons)
Techniques d'interaction pour la sélection d'objets et le contrôle d'expressions faciales en réalité virtuelle. (Interaction techniques for object selection and facial expression control in virtual reality)
Planification de Chemin et adaptation de posture en environnement dynamique. (Path Planning and posture adaptation in Dynamic Environments)
Two-echelon vehicle routing problems in city logistics : approaches based on exact methods of mathematical optimization. (Problèmes de tournées de véhicules sur deux niveaux pour la logistique urbaine : approches basées sur les méthodes exactes de l'optimisation mathématique)
Response Selection for End-to-End Retrieval-Based Dialogue Systems. (Sélection de Réponses pour les Systèmes de Dialogue Basés sur la Recherche de Réponse de Bout en Bout)
Modélisation de la collaboration distante dans les pratiques de conception architecturale: Caractérisation des opérations cognitives en conception collaborative instrumentée. (Remote collaboration modeling in the architectural conception / Remote collaboration modeling in the architectural conception: Cognitive operations in collaborative design using tools)
Prise en compte de contraintes pragmatiques pour guider un système de reconnaissance de la parole: le système COMPPA
La réparation du dommage impliquant une intelligence artificielle. (Repairing damages involving artificial intelligences)
Towards Autonomic and Cognitive IoT Systems, Application to Patients' Treatments Management. (Vers les systèmes IoT autonomiques et cognitifs, application pour la gestion des traitements des patients)
Sensitivity analysis for nonlinear hyperbolic equations of conservation laws. (Analyse de sensibilité pour systèmes hyperboliques non linéaires)
Commande optimale appliquée aux systèmes d'imagerie ultrasonore. (Optimal Control Applied to Ultrasound Imaging System)
Portfolio Approaches in Constraint Programming. (Portfolio approches dans la Programmation par contraintes)
Approche sémantique basée sur les intentions pour la modélisation, la négociation et la surveillance des contrats de qualité de service
Interfaces de Réalité Mixte: Conception et Prototypage. (Mixed Reality Interfaces: Design and Prototyping)
Analyse et application de la diffusion d'information dans les microblogs. (The analysis and applications of information diffusion in microblogs)
Des lacs de données à l'analyse assistée de documents textuels et tabulaires. (From data lakes to assisted analysis of textual and tabular documents)
Modélisation de la bascule métabolique chez les cellules eucaryotes : application à la production de citrate chez la levure Yarrowia lipolytica. (Modeling the metabolic switch in eukaryotic cells : application to citrate production in yeast Yarrowia lipolytica)
Lagrangian Based Approaches for Lexicalized Tree Adjoining Grammar Parsing. (Approches fondées sur la relaxation Lagrangienne pour l'analyse syntaxique avec grammaires d'arbres adjoints)
Quantitative Analysis of Open Curves in Brain Imaging: Applications to White Matter Fibers and Sulci
Conception d'un microprocesseur reconfigurable. (Design of a reconfigurable microprocessor)
UWB Secure Ranging and Localization. (Mesure de Distance et Localisation Sécurisés Ultra Large-Bande)
Lambda-Field: a Novel Framework For Risk Assessment In Occupancy Grids. (Lambda-Field : une nouvelle méthode d'évaluation de risque dans les grilles d'occupation)
Empty Room Composition électroacoustique dans l'espace numérique 3D. Exploration et étude sur les nouvelles techniques de composition et de spatialisation dans un espace numérique 3D. (Empty Room Electroacoustic composition in virtual 3D space. Exploration and studies about new compositionnal and spatial techniques in a virtuel 3D space)
Étude des mécanismes d'adaptation et de rejet pour l'optimisation de classifieurs : Application à la reconnaissance de l'écriture manuscrite en-ligne
Allocation dynamique des ressources et gestion de la qualite' de service dans la virtualisation des re'seaux. (Dynamic resource allocation and quality of service management in Network Virtualization)
Les communications multipoints dans les réseaux haut débit multimédia : Le multicast en environnement IP sur ATM. (Multipoint Communication in High-Speed Multimedia Networks: IP Multicast over ATM)
Modélisation numérique de suspensions non-browniennes concentrées en écoulement rhéométrique ou général. (Numerical modeling of concentrated non-brownian suspensions in rheometric or general flow)
Micelles inverses d'AOT et de C12E4: Structure et évaluation de leurs compressibilités par simulation de dynamique moléculaire. (AOT and C12E4 reverse micelles: Structures and compressibility evaluated by Molecular Dynamics Simulations Studies)
Robust observer design for nonlinear systems. (Synthèse d'observateur robuste pour les systèmes non linéaires)
Robust blood vessel surface reconstruction for interactive simulations from patient data. (Reconstruction robuste des vaisseaux sanguins pour les simulations médicales interactives à partir de données patients)
Segmentation et regroupement en locuteurs dans des documents audiovisuels, en interaction avec des annotateurs humains. (Speaker diarization in audiovisual files in interaction with human annotators)
Approche bayésienne pour la sélection de modèles : application à la restauration d'image. (Bayesian approach of models selection : application in image restoration)
Définition et implémentation d'un modèle causal d'exécution temps-réel distribuée. (Definition and implementation of a causal distributed real-time execution model)
La communication dans un système réparti : construction du "service de communication" de Chorus
Automatic sensor discovery and management to implement effective mechanism for data fusion and data aggregation. (Découverte et gestion autonomique des capteurs pour une mise en oeuvre de mécanismes efficaces de fusion et d'agrégation de données)
3D detection and pose estimation of medical staff in operating rooms using RGB-D images. (Détection et estimation 3D de la pose des personnes dans la salle opératoire à partir d'images RGB-D)
Contribution à la spécification et à l'implantation de tâches robotiques complexes. (Contribution to the specification and the implementation of complex robotic tasks)
Implementation of a tendon-driven, underactuated tensegrity robot inspired by the bird neck. (Mise en œuvre d'un robot en tenségrité sous-actionné et contrôlé par tendons, inspiré du cou de l'oiseau)
Analysis, Structure and Organization of Complex Networks. (Analyse, Structure et Organisation des Réseaux Complexes)
Apprentissage actif profond pour la reconnaissance visuelle à partir de peu d'exemples. (Deep Active Learning for Visual Recognition with Few Examples)
Descent dynamical systems and algorithms for tame optimization, and multi-objective problems. (Systèmes dynamiques de descente et algorithmes pour l'optimisation modérée, et les problèmes multi-objectif)
Composition Dynamique d'Informations dans le Cadre de la Communication Homme Machine - La problématique de la Pertinence dans la CHM
Graphical Languages for Quantum Control and Linear Optics. (Langages graphiques pour le contrôle quantique et l'optique linéaire)
Contribution au rééquilibrage dynamique des lignes d'assemblage : modélisation, résolutions et applications. (Contribution to the dynamic assembly line rebalancing problems)
Hydrolyse de la cellulose par enzymes immobilisées
Ensemble-based data assimilation for large scale simulations. (Assimilation de données par ensemble pour les simulations à grandes échelles)
Factuality of summaries from generative models in a controlled semantic context. (Factualité des résumés issus de modèles génératifs dans un contexte sémantique contrôlé)
Geometric challenges in combinatorial optimization : packing, hitting, and coloring rectangles. (Problèmes de géométrie en optimisation combinatoire : packing, transversaux, et coloration de rectangles)
Ordonnancement interactif basé sur des indicateurs. (Missing / Missing: applications à la gestion de commandes incertaines et à l'affectation des opérateurs)
Behaviour Recognition on Noisy Data-streams Constrained by Complex Prior Knowledge. (Reconnaissance de comportements sur flux de données bruités enrichie par des observations structurées)
Exploration of Dynamic Reconfiguration Solutions for Improved Reliability in DC Microgrids. (Exploration des solutions de reconfiguration dynamique pour améliorer la fiabilité des micro-réseaux à courant continu)
External Dependencies in Programs: Specification, Detection and Incorrectness. (Dependances Externes dans les Programmes : Specification, Detection et Inexactitudes)
Analyse déterministe et compilateurs
Capturing Musical Prosody Through Interactive Audio/Visual Annotations. (Saisir la prosodie musicale par le biais d'annotations audio/visuelles interactives)
Un modèle de transfert radiatif pour la sensibilité géométrique : lecture physique des algorithmiques de Monte-Carlo via la double randomisation. (A radiative transfer model for geometric sensitivity : physical reading of Monte-Carlo algorithms via double randomization)
Un point de vue sur le contrôle des accès parallèles à des sources partageables
La visualisation d'information à l'ère du Big Data : résoudre les problèmes de scalabilité par l'abstraction multi-échelle. (Information Visualization in the Big Data era : tackling scalability issues using multiscale abstractions)
Software development methodology in a Green IT environment. (Méthodologie de développement de logiciels dans un environnement informatiquement vert)
Techniques de menus : Caracterisation, Conception et Evaluation. (Menu Techniques: Characterization, Design and Evaluation)
Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle. (A method for designing critical software system coupled with a formal verification approach)
Eléments de flexibilité des systèmes de workflow pour la définition et l'exécution de procédés coopératifs
Localisation binaurale active de sources sonores en robotique humanoïde
Contribution to the modeling and control of hyper-redundant robots: application to additive manufacturing in the construction. (Contribution à la modélisation et à la commande des robots hyper-redondants: application à l'impression additive dans la construction)
Réflexions sur l'utilité des modèles mathématiques dans la gestion de la pollution diffuse d'origine agricole
Réduction et intégration symbolique des systèmes d'équations différentielles non-linéaires. (Formal reduction and integration of systems of nonlinear differential equations)
Learning in Sparse Rewards settings through Quality-Diversity algorithms. (Apprentissage par renforcement dans le cas de récompenses rares avec exploration par algorithmes de Qualité-Diversité et construction autonome d'espace d'état)
Ordonnancement temps réel dur multiprocesseur tolérant aux fautes appliqué à la robotique mobile. (Fault tolerant multiprocessor hard real-time scheduling for mobile robotics)
Towards synthetic sensing for smart cities: a machine/deep learning-based approach. (Vers une détection synthétique pour les villes intelligentes: une approche basée sur la machine et l'apprentissage profond)
Game Theoretic Approaches to Spectrum Sharing in Decentralized Self-Configuring Networks. (Le Partage du Spectre dans les Réseaux Décentralisés Auto-Configurables : Une approche par la Théorie des Jeux)
Outsmarting smartphones: trust based on provable security and hardware primitives in smartphones architectures. (Confiance basée sur la sécurité prouvée et ancrée aux dispositifs matériels dans les architectures des ordiphones)
Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques. (Formalism for the high-level design of hard real-time embedded systems)
Functional safety and reliability of neuromorphic computing systems. (Sûreté fonctionnelle et fiabilité des systèmes neuromorphiques)
Contributions à la génération et à l'amendement de plans d'actions : application à la conception de gammes d'usinage dans un contexte CIM. (Planning and plan patching. Implementation of a computer aided process planning system in a computer integrated manufacturing context)
Détection des modifications de l'organisation circadienne des activités des animaux en relation avec des états pré-pathologiques, un stress, ou un événement de reproduction. (Detection of changes in circadian organisation of animal activities related to pre-pathological states, stress, or reproduction events)
Application des fractions continues à la programmation de quelques fonctions remarquables
Minimisation Avancée de la Consommation d'Energie dans les Réseaux de Capteurs Sans Fil. (Advanced Minimization of Energy Consumption in Wireless Sensor Networks)
Intrication et Imperfections dans le Calcul Quantique. (Entanglement and Imperfections in Quantum Computing)