yusuke1997/dblp-id-title huggingface dataset:
Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX. (Justifications in rule-based ASP computations : application to backjumping in the ASPeRiX solver)
Règles de cohérence pour l'annotation génomique : développement et mise en oeuvre in silico et in vivo. (Coherency rules for genome annotation : implementation and application, in silico and in vivo)
Analyse et rejeu de traces de charge dans les grands systèmes de calcul distribués. (Workload Traces Analysis and Replay in Large Scale Distributed Systems)
Cryptography for Privacy-Preserving Machine Learning. (Cryptographie pour l'apprentissage automatique respectueux de la vie privée)
Graph based transforms for compression of new imaging modalities. (Transformées basées graphes pour la compression de nouvelles modalités d'image)
Semi-parametric estimation in the nonlinear errors-in-variables model. (Estimation semi-paramétrique pour le modèle de régression non linéaire avec erreurs sur les variables)
Mobility and traffic models for VANETs. (Modèles de mobilité et de trafic dans les VANETs)
Caractérisation du rythme à partir de l'analyse du signal audio. (Rhythm characterization from audio signal analysis)
Lh*rs p2p : une nouvelle structure de données distribuée et scalable pour les environnements Pair à Pair. (Lh*rsp2p : a new scalable and distributed data structure for Peer to Peer environnements)
Gradual Pattern Extraction from Property Graphs. (l'extraction de motifs graduels à partir de graphes de propriétés)
Chirurgie augmentée : un cas de réalité augmentée ; Conception et réalisation centrées sur l'utilisateur. (Augmented Surgery : an Augmented Reality Case Study ; User-Centred Design and Realization)
Reconnaissance visuelle robuste par réseaux de neurones dans des scénarios d'exploration robotique. Détecte-moi si tu peux ! (Robust visual recognition by neural networks in robotic exploration scenarios. Detect me if you can!)
Modélisation des comportements erronés du logiciel et application à la validation des tests par injection de fautes
Language Models towards Conditional Generative Modelsof Proteins Sequences. (Models de langage pour le conditionnement de generation de proteines)
Un modèle logique général pour les systèmes de recherche d'informations : application au prototype RIME. (A general logic model for information retrieval systems. Application to the prototype RIME)
Extraction de modèles pour la conception de systèmes sur puce. (Model extraction for System On Chip design)
Linear constraints and conflict-free learning for graphical models. (Contraintes linéaires et apprentissage sans conflit pour les modèles graphiques)
Interopérabilité des données médicales dans le domaine des maladies rares dans un objectif de santé publique. (Interoperability of medical data for the rare diseases field in a public health objective)
Une approche polyédrale pour le problème du double voyageur de commerce sous contraintes de piles et pour les ordres lexicographiques. (A Polyhedral Approach for the Double TSP with Multiple Stacks and Lexicographical Orders)
Reactive navigation of a fleet of drones in interaction. (Navigation réactive de drones en interaction dans une flottille)
Caractérisation de la neige, du névé et de la glace par traitement d'images
A contribution to the theory of (signed) graph homomorphism bound and Hamiltonicity. (Une contribution à la théorie des graphes (signés) borne d'homomorphisme et hamiltonicité)
Algorithms for Data Mining and Bio-informatics. (Algorithmes pour la Fouille de Données et la Bioinformatique)
Une approche événementielle pour la modélisation et la simulation de réseaux de neurones impulsionnels
Supporting massive machine type communication in beyond 5G networks : Fundamental limits and heuristics. (Prise en charge des communications massives de type machine dans les réseaux au-delà de la 5G : limites fondamentales et heuristiques)
Geometry and Precision in Sentinel-1 Processing for Interferometric Applications. (Géométrie et Précision dans le Traitement de Sentinel-1 pour des Applications Interférométriques)
Tatouage des images médicales partagées. (Watermarking of shared medical images)
Cryptographie à base de codes correcteurs d'erreurs en métrique rang et application. (Cryptography based on rank metric error correcting codes and applications)
Formal Verification of Cyber-Physical Systems in the Industrial Model-Based Design Process. (Vérification formelle des systèmes cyber-physiques dans le processus industriel de la conception basée sur modèle)
Secret Sharing and Algorithmic Information Theory. (Partage de secret et the'orie algorithmique de l'information)
Cubical models are cofreely parametric. (Les modèles cubiques sont colibrement paramétriques)
Level-Of-Details Rendering with Hardware Tessellation. (Rendu de niveaux de détails avec la Tessellation Matérielle)
Traitement des signaux parcimonieux et applications. (Sparse Signal Processing and Applicaions)
Procedures d'agregation ordinale de preferences avec points de reference pour l'aide a la decision. (Ordinal preferences aggregation rules with reference points for decision aiding)
Contribution à une structure de gestion en temps réel de cellule flexible de production. (Contribution to a real time management structure for flexible manufacturing cell. Simulation and evaluation methodology)
Contribution à l'étude de la visualisation d'environnements réels et virtuels avec un champ visuel étendu. (Contribution to the study of visualization of real and virtual environments with an extended field-of-view)
Reconstruction 3D par stéréophotométrie pour la vision omnidirectionnelle. (3D-reconstruction using photometric stereo for omnidirectional vision)
Homologie effective des espaces de lacets itérés : un logiciel. (Effective homology of iterated loop spaces : a software)
Separation of Parameterized and delayed Sources: Application to spectroscopic and Multispectral Data. (Séparation de sources retardées et paramétriques: application aux données spéctroscopiques multispectrales)
Modélisation à l'échelle atomique de l'évolution microstructurale dans les alliages Ni-Fe : Corrélation entre les propriétés magnétiques et structurales. (Atomic modeling of the microstructure evolution in Ni-Fe alloys: correlation between magnetic and structural properties)
Ajustement dynamique du délai de présentation des paquets pour le transport de la voix dans les réseaux ad hoc
Architectures de réseaux pour la délivrance de services à domicile. (Network architectures for home service delivery)
Intégration d'outils dans un environnement hétérogène : expérimentation dans un atelier de génie productique. (Tool integration in a heterogeneous environment: experimentation in a production engineering framework)
Predictive forward simulation of pathological gait. (Simulation directe prédictive de marches pathologiques)
Architecture du plan de contrôle SDN et placement des services réseaux dans les infrastructures des opérateurs. (SDN control plane architecture and placement of network services in TelCo infrastructures)
Application de la métaprogrammation template à la conception de bibliothèques actives de parallélisation assistée. (Using template metaprogramming to design active libraries for assisted parallelisation)
Dynamic management of spectral resources in LTE networks. (Gestion dynamique des ressources spectrales dans les réseaux LTE)
Market-based autonomous and elastic application execution on clouds. (Gestion autonome des ressources et des applications dans un nuage informatique selon une approche fondée sur un marché)
Modélisation spatio-temporelle multi-niveau à base d'ontologies pour le suivi de la dynamique en imagerie satellitaire. (Ontology-based multi-level spatio-temporal modeling for monitoring dynamics in satellite imagery)
Modélisation de populations neuronales pour l'intégration visuo-motrice : Dynamiques et décisions. (Modeling of neural populations for visuo-motor integration: Dynamics and decisions)
Peer Production in Citizen Science: A Community-Centered Approach on the Example of Personal Science. (Production Par les Pairs dans la Science Citoyenne : Une Approche Centrée sur la Communauté à travers l'Exemple de la Science Personnelle)
Haptic Rendering in Virtual Reality During Interaction with Tangibles. (Rendu Haptique en Réalité Virtuelle lors de l'Interaction avec des Objets Tangibles)
Quantitative a posteriori error estimators in Finite Element-based shape optimization. (Estimations d'erreur a posteriori quantitatives pour l'approximation des problèmes d'optimisation de forme par la méthode des éléments finis)
Ré-ordonnancement des systèmes de production flexibles avec contraintes de blocage mixtes soumis à des aléas de commandes ou de production. (Rescheduling of flexible manufacturing systems with mixed blocking constraints subject to random orders or a random production)
A scalable and component-based deep learning parallelism platform : an application to convolutional neural networks for medical imaging segmentation. (Une plateforme d'apprentissage profond à base de composants qui passe à l'échelle : une application aux réseaux de neurones convolutionnels pour la segmentation en imagerie médicale)
Méthodes de factorisation algébrique dédiées aux circuits intégrés complexes. (Algebraic factorization methods dedicated to coplex integrated circuits)
Evaluating and modeling the energy impacts of data centers, in terms of hardware / software architecture and associated environment. (Évaluation et modélisation de l'impact énergétique des centres de donnée en fonction de l'architecture matérielle/ logicielle et de l'environnement associé)
Modélisation du mouvement par polynômes orthogonaux : application à l'étude d'écoulements fluides. (Movement Modelling With Orthogonal Polynomials: Application To The Fuid Flow Study)
Design flow for the rigorous development of networked embedded systems. (Flot de conception pour le développement rigoureux des systèmes embarqués en réseau)
Détection d'anomalies de sûreté et sécurité d'un contrôle centralisé de réseau. (Detection of safety and security anomalies of a centralized network control)
Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles. (Verification via Model Checking of Parameterized Concurrent Programs on Weak Memory Models)
Raisonnement qualitatif : application à l'aide à la supervision des procédés continus. (Qualitative reasoning. An application to computer aided supervision of continuous processes)
Quality of experience and video services adaptation. (Qualité d'expérience et adaptation de services vidéo)
Contribution de la découverte de motifs à l'analyse de collections de traces unitaires. (Contribution to unitary traces analysis with pattern discovery)
"Haptic Processor Unit" : vers une Plate-Forme Transportable pour la Simulation Temps-Réel Synchrone Multisensorielle. ("Haptic Processor Unit" : Towards a Transportable Platform for Synchronous Multisensory Real-Time Simulation)
Réseaux bayésiens et apprentissage ensembliste pour l'étude différentielle de réseaux de régulation génétique. (Bayesian networks and set-based methods for differential study of gene regulatory networks)
Un système de production automatique de générateur de code
Caractérisation de l'état de surface des sols nus agricoles par imagerie radar TerraSAR-X
Utilisation d'approches probabilistes basées sur les critères entropiques pour la recherche d'information sur supports multimédia
Étude de méthodes ensemblistes robustes pour une localisation multisensorielle intègre. Application à la navigation des véhicules en milieu urbain. (Study of robust set estimation methods for a high integrity multi-sensor localization. Application to navigation in urban areas)
Contributions to the statistical analysis of microarray data. (Contributions à l'analyse statistique des données de puces à ADN)
Improving the reliability of heterogeneous multicore architecture for intelligent transportation systems. (Améliorer la fiabilité des architectures multicore hétérogènes pour les systèmes de transport intelligents)
Influence d'un traitement mécanique de nanocristallisation superficielle (SMAT) sur l'oxydation à hautes températures de l'acier 316L. (Influence of a surface nanocristallization mechanical treatment (SMAT) on the high temperature oxidation of 316L steel)
Representation learning for 3D shapes and point cloud analysis, application to aeronautic design and simulations. (Apprentissage de représentations sur des surfaces 3D et analyse de nuages de points, application à la conception aéronautique assistée par ordinateur)
Multi-Players Bandit Algorithms for Internet of Things Networks. (Algorithmes de Bandits Multi-Joueurs pour les Réseaux de l'Internet des Objets)
Identification de modèles physiques et de contrôleurs en animation. (Physical model and controller identification in animation)
Development of a novel method using optical coherence tomography (OCT) for guidance of robotized interventional endoscopy. (Guidage d'un endoscope interventionnel robotisé à l'aide de la tomographie par cohérence optique)
Principes d'exploitation dynamique des relations inter-documents dans les bibliothèques électroniques : application au domaine juridique. (Dynamic exploitation of relationships between documents in digital libraries : application to legal documents)
Higher commutativity in algebra and algebraic topology. (Commutativité supérieure en algèbre et topologie algébrique)
Compressed sensing in mobile systems. (Etude du paradigme acquisition compressée dans les systèmes mobiles)
Développement de méthodes de traitement d'images pour la détermination de paramètres variographiques locaux. (Development of image processing methods for the determination of local variographic parameters)
Fusion de segmentations complémentaires d'images médicales par Intelligence Artificielle et autres méthodes de gestion de conflits. (Fusion of complementary segmentations of medical images using Artificial Intelligence and other conflict management methods)
Verifying Modal Specifications of Workflow Nets : using Constraint Solving and Reduction Methods. (Vérification de spécifications modales de réseaux worklows à l'aide de solveurs de contraintes et de methodes de résolution)
Architectures et techniques d'entraînement pour la traduction parole-texte multilingue. (Model Architectures and Training Techniques for Multilingual Speech-to-Text Translation)
Monitoring and Supervisory Control for Opacity Properties. (Vérification et Synthèse de Contrôleur pour des Propriétés de Confidentialité)
Image processing algorithms for the visualization of interventional devices in X-ray fluoroscopy. (Algorithmes de traitement d'images pour la visualisation d'outils interventionnels dans des séquences de fluoroscopie par rayons X)
Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels. (Methods and tools for specification and proof of difficult properties of sequential programs)
CREA: méthode d'analyse, d'adaptation et de réutilisation des processus à forte intensité de connaissance : cas d'utilisation dans l'enseignement supérieur en informatique. (CREA : method for knowledge intensive process analysis, adaptation and reuse use : case in postgraduate computer science studies)
Étude et réalisation d'un système microprocesseur pour le traitement des algorithmes parallèles. (Study and realization of a multimicroprocessor for parallel algorithms processing)
Modification of semantically enriched FE mesh models. (Modification de maillage EF enrichis par sémantique)
Nouvelles approches évolutionnaires pour des algorithmes interprétables de vision par ordinateur pour les systèmes embarqués. (New evolutionary approaches for interpretable computer vision algorithms for embedded systems)
Recyclage de déchets électroniques: tri et réutilisation. (Electronic waste recycling: sorting and reuse)
Mixed-variable Bayesian optimization : application to aerospace system design. (Optimisation Bayésienne mixte: Application à la conception de véhicules aérospatiaux)
Homologie en Programmation GénétiqueApplication à la résolution d'un problème inverse. (Homology in Genetic ProgrammingApplication to inverse problem solving)
Optimisation des parcours d'apprentissage à l'aide des technologies numériques. (Optimization of learning paths with digital technologies)
Un premier pas vers la caractérisation de l'information véhiculée par les voix actées : dualité des informations personnage et locuteur. (Voice recommendation by deep learning)
Utilisation de méthodes d'apprentissage automatique pour des tâches de pistage radar et de classification d'aéronefs. (Use of machine learning methods for radar tracking and aircrafts classification tasks)
Dynamic Adaptation in Stream Processing Systems. (Adaptation dynamique dans les systèmes de traitement de flux)
Techniques de model-checking pour l'inférence de paramètres et l'analyse de réseaux biologiques. (Model checking techniques for parameter inference and analysis of biological networks)
Modélisation de 3-variétés à base topologique : application à la géologie. (Topological 3-manifold modeling : geological application)
Système d'information et stratégie dans les transports. Le cas du transport express
Apprentissage de représentations d'auteurs et de documents: approches probabilistes à partir de représentations pré-entraînées. (Representation Learning for authors and documents: probabilistic approaches using pretrained representations)
Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert. (Security of cryptographic protocols: decidability and transfer resultats)
Sécurité et performances des réseaux de nouvelle génération. (Security and Performance for Next Generation Networks)
Algorithmique de l'alignement structure-séquence d'ARN : une approche générale et paramétrée. (RNA structure-sequence alignment algorithmic : a general and parameterized approach)
Random features for dot product kernels and beyond. (Caractéristiques aléatoires pour les noyaux de produit scalaire et les noyaux similaires)
Contributions to the Concept of Embodied Intelligence in Soft Robotics through Control and Design Co-Optimization. (Contribution au Concept d'Intelligence Incarnée en Robotique Souple via la Co-Optimisation du Contrôle et de la Conception)
Evolution des sols à l'échelle du paysage sous des conditions de changements climatique et de structure du paysage
Modélisation, création et évaluation de ux de terminologies et de terminologies d'interface : application à la production d'examens complémentaires de biologie et d'imagerie médicale
An Exploration of Word-Scale Visualizations for Text Documents. (Une exploration des visualisations-mots pour du texte)
Efficient Virtualization of NUMA Architectures. (Virtualisation Efficace d'Architectures NUMA)
Robust Visual Features for Long-Term Monitoring. (Points d'intérêts invariants pour la surveillance d'environnements extérieurs à long terme)
Développement d'une bio-encre pour la bioimpression 3D de tissus vivants: étude de la formulation et caractérisation du développement tissulaire. (Bioink development for 3D bioprinting of living tissues: formulation study and tissue development characterization)
Energy Minimization, Data Movement and Uncertainty: Models and Algorithms. (Minimisation de l'énergie, mouvements de données et données incertaines: modèles et algorithmes)
Enjeux de conception des architectures GPGPU : unités arithmétiques spécialisées et exploitation de la régularité. (Design challenges of GPGPU architectures: specialized arithmetic units and exploitation of regularity)
Modélisation et calcul du flot de scène stéréoscopique par une méthode variationnelle. (Stereoscopic scene flow modeling and computation with a variational method)
DéVeloppement d'une MéThode implicite sans matrice pour la Simulation 2D-3D des éCoulements compressibles et faiblement compressibles en maillages non-StructuréS. (A Matrix-Free Implicit treatment for All Speed flows on Unstructured Grids)
Resource Allocation in Multi-Domain Wireless Software-Defined Networks. (Allocation de ressources dans des réseaux définis par logiciels sans-fil multi-domanes)
Multi-scale-socio-environmental modeling of epidemiological process : a way for organizing humain environments and rhythms to control and prevent the spread of contagious diseases. (Modélisation multi-échelle et hybride des maladies contagieuses : vers le développement de nouveaux outils de simulation pour contrôler les épidémies)
Etude et réalisation d'une unité de contrôle banalisée pour systèmes IBM 360/370
Strategy improvement method for solving simple stochastic games. (Méthode d'amélioration de stratégie pour résoudre les jeux stochastiques simples)
An inverse source problem in planetary sciences. Dipole localization in Moon rocks from sparse magnetic data. (Un problème inverse de source en sciences planétaires. Localisation d'un dipole magnétique dans des roches lunaires à partir de données magnétiques clairsemées)
Simulation Numerique de la dynamique des Systemesmulticorps Appliquee aux milieux granulaires. (Numerical Simulation of the Dynamic Ofmultibodies Systems Applied to Granular Medium)
Querying and Mining Multigraphs. (Requêtes et fouille de multigraphes)
Contributions to the safe and efficient parallelisation of hard real-time systems. (Contributions à la parallélisation sûre et efficace de systèmes temps réel durs)
Streaming Tree Automata and XPath. (Flux XML, Requêtes XPath et Automates)
Modelisation et optimisation par Plans d'experiences d'un moteur a Commutations electroniques
Proposition d'une méthode et d'un outil pour le développement d'applications
Cοntrôle et cοοrdinatiοn d'une flοtte de drοnes. (control and coordination of a drone fleet)
Facilitating Reuse on the Web of Data. (Faciliter la Réutilisation sur le Web des Données)
Modélisation des phénomènes thermo-hydrauliques dans des réservoirs fracturés sur des maillages non structurés : application au réservoir géothermique de Basse-Terre, Guadeloupe. (Modeling of thermo-hydraulic processes in fractured reservoirs on unstructured grids : application to the geothermal reservoir of Basse-Terre, Guadeloupe)
Comparaison de structures secondaires d'ARN. (RNA secondary structures comparison)
Validation de modèles de systèmes sur puce en présence d'ordonnancements indéterministes et de temps imprécis. (Validating Models of Systems-on-a-Chip in the Presence of Nondeterministic Schedulings and Loose Timings)
Middleware for ad hoc user task composition in heterogeneous environments considering user preferences. (Intergiciel pour la composition des tâches utilisateurs dans les environnements pervasifs étant donné les préférences utilisateurs)
Power-Balanced Modeling of Nonlinear Electronic Components and Circuits for Audio Effects. (Modélisation à bilan de puissance équilibré de composants électroniques non linéaires pour la production d'effets audio)
Reconstruction rapide d'images multi-bandes partiellement échantillonnées en spectromicroscopie EELS. (Fast reconstruction of partially sampled multiband images in EELS spectromicroscopy)
Algorithme de l'analyse harmonique numérique
Médiation flexible dans un système pair-à-pair. (Flexible mediation in peer-to-peer systems)
Heuristiques pour la gestion d'une flotte de taxis autonomes, électriques, réservables et partageables. (Heuristics for the management of a fleet of autonomous, electrics, bookable and shareable taxis)
Parameterized complexity and new efficient enumerative schemes for RCPSP. (Complexité paramétrée et nouveaux schémas énumératifs efficaces pour le RCPSP)
An SSM-based communication architecture for large-scale virtual environments. (Une architecture de communication pour environnements virtuels distribués à grande échelle basée sur les canaux multipoint)
Vision-based moving pedestrian recognition from imprecise and uncertain data. (Reconnaissance de piétons par vision à partir de données imprécises et incertaines)
Modélisation de surfaces océaniques à l'aide de groupes de vagues. (Wave group based modelling of ocean surfaces)
Reconnaissance et modélisation d'objets 3D à l'aide d'invariants projectifs et affines. (Recognition and Modeling of 3D Objects Through Use of Projective and Affine Invariants)