yusuke1997/dblp-id-title huggingface dataset:
Model checking self modifying code. (Vérification de code auto-modifiant)
Traitements de nuages de points denses et modélisation 3D d'environnements par système mobile LiDAR/Caméra. (Dense point cloud processing and 3D environment modeling from LiDAR/Camera mobile system)
Data Quality Evaluation in Data Integration Systems
Contribution à la Gestion des Opérations de la Sûreté Aéroportuaire: modélisation et Optimisation. (Contribution to the management of airport security operations: modelisation and optimization)
Eventual Leader Elections in Dynamic Networks. (Elections de leader ultime dans les réseaux dynamiques)
Security Analysis of IoT Systems using Attack Trees. (Analyse de sécurité de systèmes IoT à l'aide d'arbres d'attaques)
High-level synthesis and arithmetic optimizations. (Optimisations arithmétiques et synthèse de haut niveau)
Une histoire des techniques de l'arsenal de la Marine de Lorient dans la seconde moitié du XX e siècle : les Constructions neuves. (A history of the techniques of the military shipyard of Lorient in the second half of the twentieth century : the new Constructions)
Efficient Storage Virtualization in Cloud Environments. (Virtualisation efficace du stockage dans les environnements cloud)
Aspects du système APL 90 : Une extension orientée objet du langage APL
Quantum dash based photonic integrated circuits for optical telecommunications. (Circuits intégrés photoniques à base de boîtes quantiques pour télécommunications optiques)
Traceability of Concerns and Observer-Based Verification for Railway Safety-Critical Software. (Traçabilité des Exigences et Vérification par Observateurs pour les Logiciels Critiques des Systèmes Ferroviaires)
Semantic-based middleware for IoT service search. (Intergiciel sémantique pour la recherche des services de l'internet des objets)
Digital twin for decision making to manage port operation with uncertainties : a knowledge approach based on machine learning. (Un jumeau numérique pour l'aide à la décision dans un contexte de gestion portuaire avec incertitudes : Une approche à base de connaissances issue de l'apprentissage automatique)
Une approche épiphyte pour la conception de systèmes conseillers. (An epiphyte approach for building Model-Based Recommender Systems)
Sécurité et détection d'intrusion dans les réseaux sans fil. (Security and intrusion detection in wireless networks)
ARIANE : Automated Re-Documentation to Improve software Architecture uNderstanding and Evolution. (ARIANE : Re-documentation automatique pour améliorer la compréhension et l'évolution d'architectures logicielles)
A quantitative study of the metastatic process through mathematical modeling. (Etude quantitative des aspects dynamiques et spatiaux du développement métastatique à l'aide de modèles mathématiques)
Small animal 4D SPECT imaging : assessment of respiratory motion and iodide biodistribution. (Imagerie TEMP 4D du petit animal : estimation du mouvement respiratoire et de la biodistribution de l'iode)
Divergence Awareness in Distributed Multi-Synchronous Collaborative Systems. (Conscience de groupe dans les systèmes collaboratifs distribue's multi-synchrones)
Gröbner basis algorithms in service of algebraic set decomposition. (Algorithmes de base de Gröbner au service de la décomposition des ensembles algébriques)
Sécurité pratique de systèmes de cryptographie quantique : étude d'attaques et développement de contre-mesures. (Practical security of quantum cryptography system : study of side channel attacks and developments of counter-measures)
Ufa : an ultra flat architecture for future mobile networks. (Ufa : une architecture ultra plate pour les réseaux mobiles du futur)
Auto-tuning de précision et validation numérique. (Auto-ajustement de précision et validation numérique)
Bidding efficiently in Simultaneous Ascending Auctions using Monte Carlo Tree Search. (Enchérir efficacement dans l'enchère ascendante simultanée en utilisant la recherche arborescente Monte Carlo)
Control-based runtime management of HPC systems with support for reproducible experiments. (Une approche autonomique à la régulation en ligne de systèmes HPC, avec un support pour la reproductibilité des expériences)
Designing scientific workflow following a structure and provenance-aware strategy. (Conception de workflows scientifiques fondée sur la structure et la provenance)
Architectures d'apprentissage profond pour la reconnaissance d'actions humaines dans des séquences vidéo RGB-D monoculaires : application à la surveillance dans les transports publics. (Deep learning architectures for human action recognition from monocular RGB-D video sequences : application to public transport monitoring)
Supporting Reuse by Reverse Engineering Software Architecture and Component from Object-Oriented Product Variants and APIs . (Support à la réutilisation par la rétro-ingénierie des architectures et des composants logiciels à partir du code source orienté objet des variantes de produits logiciels et d'APIs)
Assimilation de données images : application au suivi de courbes et de champs de vecteurs
Cross-layer hybrid and optical packet switching. (Commutation de paquets optique et hybride multicouches)
What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic
Algorithmes bio-inspirés pour la traduction automatique statistique. (Bio-inspired Algorithms for Statistical Machine Translation)
Complétion combinatoire pour la reconstruction de réseaux métaboliques, et application au modèle des algues brunes Ectocarpus siliculosus. (Combinatorial completion for metabolic network reconstruction, and application to the model organism for brown algae Ectocarpus siliculosus)
Modèles ordonnés dans un produit direct d'ordres totaux : applications à l'analyse des questionnaires
Automatic composition of prototocol-based Web services. (Composition automatique de services Web décrits par leurs protocoles)
Comparaisons de génomes avec gènes dupliqués : étude théorique et algorithmes. (Comparative genomics with duplicated genes: theoretical study and algorithms)
Contribution à l'optimisation en conception préliminaire de produit. (Contribution to optimization in product's preliminary design)
Checking Timed and Hybrid Properties: Theory and Applications. (Vérification de propriétés temporisées et hybrides: théorie et applications)
Etude en vue de la multirésolution de l'apparence. (Study for Multiresolution Appearance)
High-level synthesis (HLS) on FPGA for inverse problems : application to tomography and radioastronomy. (Synthèse de haut niveau sur FPGA pour problèmes inverses : application à la tomographie et à la radioastronomie)
Broadening the scope of gaussian processes for large-scale learning. (Élargir la portée des processus gaussiens pour l'apprentissage à grande échelle)
Large-scale simulation and deep learning of diffusion MRI signatures for the development of computational models of cerebral white matter ultrastructure. (Simulation à large échelle et apprentissage profond de la signature en IRM de diffusion pour le développement de modèles computationnels de l'ultrastructure de la substance blanche cérébrale)
Propriétés de jeux multi-agents. (Multi-agent games properties)
Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles. (Dynamic formal verification of temporal properties on legacy distributed applications)
Advanced contributions in HTTP adaptive streaming. (Contributions au streaming HTTP adaptatif avancé)
Simulation de la variabilité du mouvement induite par la fatigue musculaire pour la conception ergonomique de postes de travail. (Simulation of movement variability induced by muscle fatigue for ergonomic workstations design)
Computational approach for the diagnosis of mycetoma causative agents using histopathological microscopic images. (Méthodes d'analyse d'images histopathologiques pour le diagnostic automatique du mycétome)
Routage Multichemins et Codage à Description Multiple dans les Réseaux Ad Hoc. (Multipath routing and Multiple Description Coding in Ad Hoc Networks)
L'interaction tactile pour médier le travail d'accompagnement des personnes avec autisme. (Tactile interaction to mediate the accompaniment work's of people with autism)
Recherche et développement: Interprétation assistée par intelligence artificielle des pathologies rachidiennes. (Research and development: Artificial intelligence, spinal pathologies assisted interpretation)
Uncertainty-based Deep Learning Methods for Robust and Reliable Cardiac MRI Segmentation and Analysis. (Méthodes d'apprentissage profond basées sur l'incertitude pour une segmentation et une analyse robustes et fiables de l'IRM cardiaque)
Gestion des messages de sécurité dans les réseaux VANET. (Handling Safety Messages in Vehicular Ad-HocNetworks (VANETs))
Méta-modélisation du Comportement d'un Modèle de Processus : Une Démarche de Construction d'un Moteur d'Exécution
Gargamel: boosting DBMS performance by parallelising writetransactions. (Gargamel: accroître les performances des DBMS en parallélisant les transactions en écriture)
Les modèles génératifs en classification supervisée et applications à la catégorisation d'images et à la fiabilité industrielle. (Generative models in supervised statistical learning with applications to digital image categorization and structural reliability)
Generic acceleration schemes for gradient-based optimization in machine learning. (Algorithmes d'accélération générique pour les méthodes d'optimisation en apprentissage statistique)
Optimal defense strategies to improve the security and resilience of Smart Grids. (Stratégies de défense optimales pour améliorer la sécurité et la résilience des Smart Grids)
Nouvelles méthodes de synchronisation de nuages de points 3D pour l'insertion de données cachées. (New 3D point cloud synchronization methods for data hiding)
Prédiction de l'efficacité de la chimiothérapie appliquée au cancer du sein par le traitement d'images et le Deep Learning. (Predicting the Breast Cancer response to Chemotherapy by Image Processing and Deep Learning)
Automatic Non Linear Metric Learning - Application to Gesture Recognition. (Apprentissage automatique de métrique non linéaire - Application à la reconnaissance de gestes)
Désassemblage et détection de logiciels malveillants auto-modifiants. (Disassembly and detection of self-modifying malwares)
Modélisation du développement de spécifications LOTOS. (Modeling the development of LOTOS specification)
Roadmark reconstruction from stereo-images acquired by a ground-based mobile mapping system. (Reconstruction de marquages routiers à partir d'images terrestres)
Exploration of brain-inspired computing with self-organizing neuromorphic architectures. (Exploration du calcul bio-inspiré avec des architectures neuromorphiques auto-organisées)
Estimateurs différentiels en géométrie discrète : applications à l'analyse de surfaces digitales. (Differential estimators in digital geometry: application to the digital surface analysis)
Résilience de bout en bout pour la (re)conception d'un système de transport. (End-to-end resilience for the (re)designing of a transportation system)
Algorithmique du Network Calculus. (Network Calculus Algoritmics)
Analyse d'images en élevage aviaire. (Image Analysis for broilers production)
Classification methods for single cell RNA sequencing data.: Learning with partial annotation and without supervision. (Méthodes de classification pour les données de séquençage de l'ARN à l'échelle de la cellule unique. / Méthodes de classification pour les données de séquençage de l'ARN à l'échelle de la cellule unique.: Apprentissage avec supervision partielle et sans supervision)
Fluid Approximations for Stochastic Telecommunication Models. (Approximations fluides pour des modèles stochastiques en télécommunications)
Various Positioning Algorithms based on Received Signal Strength and/or Time/Direction (Difference) of Arrival for 2D and 3D Scenarios. (Divers algorithmes de positionnement basés sur l'intensité du signal reçu et/ou (la différence de) temps/direction d'arrivée pour les scénarios 2D et 3D)
Résolution de processus décisionnels de Markov à espace d'état et d'action factorisés - Application en agroécologie. (Solving Markov decision processes with factored state and action spaces - Application in agroecology)
Pour une généralisation des systèmes C.A.O : approche et applications
Biomarqueurs quantitatifs de la déformation myocardique multi-chambres et multidirectionnelle en imagerie IRM dynamique. (Quantitative biomarkers of multi-chamber and multidirectional myocardial strain (deformation) using dynamic MRI imaging)
Modeling and optimization of 5G network design. (Modélisation et optimisation de la conception des réseaux 5G)
Utilisation de modèles métiers pour l'orchestration d'une simulation distribuée fédérant la gestion des risques. (Using business models to orchestrate a distributed simulation federating risk management)
Exploitation ciblée du canal dans l'IoT: amélioration de la localisation et de l'allocation du spectre dans les réseaux LPWAN. (Purposely exploiting the channel in IoT: enhancement of localization and spectrum allocation in LPWAN)
Automated verification of systems code using type-based memory abstractions. (Vérification automatique de code système à l'aide d'abstractions mémoire basées sur le typage)
Compression collaborative de rayons de lumière pour le rendu distribué de Monte Carlo et applications. (Collaborative light ray compression for distributed Monte Carlo rendering and applications)
Development of a high spatial resolution functional MRI sequence at ultra-high field. (Développement d'une séquence d'IRM fonctionnelle à haute résolution spatiale et à haut-champ)
Étude de l'assemblage, de la mécanique et de la dynamique des complexes ADN-protéine impliquant le développement d'un modèle « gros grains ». (Study assembly, mecanism and dynamic of protein-DNA complexes with coarse-grained model)
Un système d'aide à la décision pour les négoces de matériaux. (A decision-support system for the material trade)
Classification d'ARN codants et d'ARN non-codants
Perfectionnement des algorithmes de contrôle-commande des robots manipulateur électriques en interaction physique avec leur environnement par une approche bio-inspirée. (Improvement of control algorithms of electrical robot arms in physical interaction with their environment with bio-inspired approach)
Les logiques de descriptions pour le traitement intelligent de données textuelles dans le projet Escrire
Recognition of Mexican cultural content with Deep learning networks. (Reconnaissance du patrimoine Mexicaine sous forme numérique par des réseaux d'apprentissage profond)
Exact Algorithms for Polynomial Optimisation. (Algorithmes exacts pour l'optmisation polynomiale)
Données de tests non fonctionnels de l'ombre à la lumière : une approche multidimensionnelle pour déployer une base de données. (On the Highlighting of Non-Functional Test Data : A Multidimensional Approach for Database Deployment)
Control flow-based business workflow templates checking : an approach using the knowledge-based systems. (La vérification de patrons de workflow métier basés sur les flux de contrôle : une approche utilisant les systèmes à base de connaissances)
Monotonic graphs for parity and mean-payoff games. (Graphes monotones pour jeux de parité et à paiement moyen)
Cursive Bengali Script Recognition for Indian Postal Automation. (Reconnaissance de l'écriture manuscrite cursive Bengali pour l'automatisation de la Poste Indienne)
Réduction de modèle basée sur des composants élémentaires pour des systèmes Thermo-Hydro-Mécaniques. (Component-based model order reduction procedures for large scale THM systems)
Plate-forme multimodale pour la reconnaissance d'émotions via l'analyse de signaux physiologiques : Application à la simulation d'entretiens d'embauche. (Multimodal paltform for emotion recognition based on physiological responses : application in the interviews simulation)
Transformation d'ontologies basées sur la logique de description : Application dans le commerce électronique. (Description logic-based ontology transformations : application in e-commerce)
Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb. (High frequency tracking for SIMD architectures : optimization of the LHCb reconstruction)
Exploiting edge features for scene text understanding systems and scene text searching applications. (Exploitation de la détection de contours pour la compréhension de texte dans une scène visuelle)
Statistical methods for the robust extraction of objects' spatio-temporal relations in bioimaging - Application to the functional analysis of neuronal networks in vivo. (Méthodes statistiques pour l'extraction robuste de relations spatio-temporelles entre objets en bioimagerie - Application à l'analyse fonctionnelle de réseaux de neurones in vivo)
Contribuições dos Objetos de Aprendizagem, no ensino de Física, para o desenvolvimento do Pensamento Crítico e da Aprendizagem Significativa. (Contributions of Learning Objects, in the teaching of Physics, for the development of Critical Thinking and Meaningful Learning. / Apports des objets d'apprentissage, dans l'enseignement de la physique, pour le développement de la pensée critique et de l'apprentissage significatif)
Unsupervised representation learning for single-cell transcriptomic and epigenomic data. (Apprentissage non supervise pour l'epigenomique et transcriptomique en cellules uniques)
Cloning with gesture expressivity. (Clonage gestuel expressif)
Projet SOCRATE (2-2) : Gestion des mémoires
Video analysis using deep neural networks: an application for autism. (Analyse vidéo à l'aide de réseaux de neurones profonds : une application pour l'autisme)
Hiérarchisation et visualisation multirésolution de résultats issus de codes de simulation. (Hierarchical organization and multiresolution visualization of data achieved from simulation codes)
Stereo vision and LIDAR based Dynamic Occupancy Grid mapping : Application to scenes analysis for Intelligent Vehicles. (Cartographie dynamique occupation grille basée sur la vision stéréo et LIDAR : Application à l'analyse de scènes pour les véhicules intelligents)
Virtualization and distribution of the BGP control plane
Formal fault injection vulnerability detection in binaries : a software process and hardware validation. (Détection formelle de vulnérabilité créée par injection de faute au niveau binaire : un processus logiciel et une validation matérielle)
Distribution et Parallélisation de Simulations Orientées Agents. (Distributed and Parallel Execution of Agent-Oriented Simulation)
3D Pose estimation of continuously deformable instruments in robotic endoscopic surgery. (Mesure par vision de la position d'instruments médicaux flexibles pour la chirurgie endoscopique robotisée)
Synthèse paramétrique de la parole Arabe. (Parametric synthesis of Arabic speech)
Résolution des équations de Maxwell-Vlasov sur maillage cartésien non conforme 2D par un solveur Galerkin discontinu. (Resolution of Maxwell-Vlasov equations on 2D non conforming cartesian mesh by a discontinuous Galerkin method)
Metro Regenerative Braking Energy Optimization through Rescheduling: Mathematical Model and Greedy Heuristics Compared to MILP and CMA-ES. (Optimisation de l'Énergie de Récupération au Freinage des Métros par Modification de la Table Horaire : Modèle Mathématique et Heuristique Gloutonne Comparée à la PLNE et à CMA-ES)
Optimisation de la gestion des ressources voie retour. (Optimized management of return link resources)
Audiovisual speech representation learning applied to emotion recognition. (Apprentissage de représentation de la parole audiovisuelle pour la reconnaissance des émotions)
Multi-agent simulation of cultural ontology evolution through interaction. (Simulation multi-agents de l'évolution culturelle d'ontologies par l'interaction)
Les contours actifs basés région avec a priori de bruit, de texture et de forme : Application à l'échocardiographie. (Region based active contours with noise, texture and shape prior: Application to echocardiography)
Integration of SystemC-AMS Simulation Platforms into TTool. (Intégration de Plate-formes de Simulation SystemC-AMS dans TTool)
Modélisation de la polydispersion des brouillards de gouttes sous l'effet des interactions two-way turbulentes pour l'injection directe à haute pression dans les moteurs. (Modeling of spray polydispersion with two-way turbulent interactions for high pressure direct injection in engines)
Field-based approaches for the collision-free animation of layered and dynamic clothing. (Approches basées champ pour l'animation de couches de vêtements sans collision)
Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués. (Automatic tests generation from SysML models for the functionnal validation of embedded)
A Security Monitoring Plane for Information Centric Networking: application to Named Data Networking. (Un plan de surveillance de la sécurité des réseaux orientés contenu: application à Named Data Networking)
Conception d'un système prédictif pour évaluer l'impact d'un dispositif numérique pour l'orientation des lycéens. (Conception of a predictive system to evaluate the impact of a degital device for the guidance of high school students)
Analyse automatique d'opinion : problématique de l'intensité et de la négation pour l'application à un corpus journalistique. (Automatic opinion analysis: issue of intensity and negation in a newspaper corpus)
Modélisation et optimisation du traitement du cancer. (Modeling and optimization of cancer treatment)
Reconstructing hands and manipulated objects from images and videos. (Reconstruction d'interactions mains-objets durant la manipulation à partir d'images et de vidéos)
Multi-Scale and Multi-Modal GIS-T Data Model a Case Study for the City of Guangzhou, China. (Un modèle de SIG spatio-temporal multi-échelle et multimodal appliqué à la ville de Guangzhou en Chine)
Vérification formelle et simulation pour la validation des systèmes de contrôle commande des EALE. (Formal verification and simulation for the validation of PSEEL's control systems (Power Supply Equipment of the Electric Lines))
Tactical and operational project planning under uncertainties: application to helicopter maintenance. (Planification et ordonnancement de projet sous incertitudes : application à la maintenance d'hélicoptères)
Modèles et mécanismes multiniveaux pour les réseaux sans fil. (Cross-layer models and mechanisms for wireless networks)
Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés. (Logics for unranked and unordered trees and their use for querying semistructured data)
Gouvernance et supervision décentralisée des chorégraphies inter-organisationnelles. (Decentralized Monitoring of Cross-Organizational Service Choreographies)
Eigenvalue estimation of light transport using Monte Carlo algorithms. (Estimation des valeurs propres du transport de la lumière à l'aided'algorithmes de Monte Carlo)
Méthode et outils de génération de code pour les plateformes multi-cœurs fondés sur la représentation de haut niveau des applications et des architectures. (Method and tools for code generation for multi-core platforms based on high-level description of applications and architectures)
Some problems in Random Matrix Theory and High-Dimensional Statistics. (Quelques problèmes de matrices aléatoires et de statistiques en grande dimension)
Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones. (Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes)
Indexation dans les espaces métriques Index arborescent et parallélisation
Les arbres couvrants de la théorie à la pratique. Algorithmes auto-stabilisants et réseaux de capteurs. (Spanning Trees from theory to practice. Self-Stabilizing algorithms and sensor networks)
Intégration des besoins des utilisateurs pour la conception de systèmes d'information interactifs.Application à la conception d'un système d'information voyageurs multimodal (SIVM). (Integrating users needs in the design process of an interactive information system.Application to the design of a multimodal traveller information system)