yusuke1997/dblp-id-title huggingface dataset:
BetaSAC et OABSAC, deux nouveaux 'echantillonnages conditionnels pour RANSAC
Delaunay triangulations of a family of symmetric hyperbolic surfaces in practice. (Triangulations de Delaunay d'une famille de surfaces hyperboliques symétriques en pratique)
Validation de données et diagnostic des systèmes incertains à l'aide de l'analyse par intervalles. (Data validation and diagnosis of uncertain systems using interval analysis)
Software-defined security for network function virtualization. (La sécurité définie par le logiciel pour la virtualisation des fonctions réseaux)
Towards Spectral Mathematical Morphology. (Vers la morphologie mathématique spectrale)
Machine Learning-Based Multivariate Time Series Analysis For Health Monitoring And Prognostics Of Complex Systems. (Analyse de séries temporelles multivariées basée sur l'apprentissage automatique pour la surveillance et le pronostic de systèmes complexes)
Optimisation des moyens dans la recomposition commerciale de dessertes TER. (Optimizing means when redefining the railway service for TER activity)
Methods for Job Recommandation on Social Networks. (Méthodes pour la recommandation d'offres d'emploi dans les réseaux sociaux)
Statistical learning applied to cardiology : discriminative clustering and aortic stenosis phenogroups. (Apprentissage statistique appliqué à la cardiologie : clustering discriminant et phénogroupes de la sténose aortique)
Méthodes informées de factorisation matricielle non négative : Application à l'identification de sources de particules industrielles. (Informed methods of Non-negative Matrix Factorization. A study of industrial source identification)
Perceptual object of interest recognition : application to the interpretation of instrumental activities of daily living for dementia studies. (Reconnaissance perceptuelle des objets d'Intérêt : application à l'interpre'tation des activite's instrumentales de la vie quotidienne pour les études de de'mence)
Modélisation de la coarticulation labiale: mise en œuvre sur une tête parlante. (Modelling of labial coarticulation: implementation for a talking head)
Langage de spécification et outil de vérification pour le consentement et la nécessité des données fondés sur une classification relative au respect de la vie privée. (Specification language and verification tool for consent and data necessity based on a classification related to privacy compliance)
Modèles de mémoires pour la navigation autonome
Évaluation de performances d'une architecture parallèle pour le traitement d'images. (Performance evaluation of parallel architecture for image processing)
Construction de facettes 3D par stéréovision intégrant des principes de géométrie projective. (Construction of 3D faces by stereovision using principles of projective geometry)
Diffeomorphic registration with topological changes : application to Interventional radiology. (Recalages difféomorphiques avec changements de topologie : application à la radiologie interventionnelle)
Transformations source-à-source pour l'optimisation de codes irréguliers et multithreads. (Source-to-source transformations for irregular and multithreaded code optimization)
Commande d'engins volants par asservissement visuel
Modélisation de processus cancéreux et méthodes superconvergentes de résolution de problèmes d'interface sur grille cartésienne. (Modeling of cancer phenomena and superconvergent methods for the resolution of interface problems on Cartesian grid)
Méthode de Conception Assistée par les Modèles pour les Systèmes Interactifs Mixtes. (Model Assisted Design Methodology for Mixed Interactive Systems)
Propositions pour un protocole déterministe de contrôle d'accès et de routage avec économie d'énergie dans les réseaux ZigBee. (Proposals for a Deterministic Access Method and Energy Aware Routing Protocol applied to ZigBee Networks)
Towards unconstrained face recognition from one sample. (Contributions à la reconnaissance de visages à partir d'une seule image et dans un contexte non-contrôlé)
B/UML : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B. (B/UML: Bridging the gap between B specifications and UML graphical descriptions to ease external validation of formal B developments)
Preuve par induction dans le calcul des séquents modulo. (Proof by induction in sequent calculus modulo)
Méthodologie orientée sûreté de fonctionnement pour la cybersécurité des systèmes de contrôle-commande. (Dependability methodology for the cyber-security in cyber-physical systems)
Dynamic Occupancy Grid based Collision Avoidance in Robotics. (Evitement de collisions en robotique, basé sur grilles d'occupation dynamiques)
Statistical relational learning : Structure learning for Markov logic networks. (Apprentissage statistique relationnel : apprentissage de structures de réseaux de Markov logiques)
A simulation and optimization modeling framework for the resilience analysis of interdependent traffic-power systems. (Un cadre de modélisation de simulation et d'optimisation pour l'analyse de la résilience des systèmes de puissance de trafic interdépendants)
Development of cyber-physical systems by combining SysML models, Reo coordination connectors, and formal approaches. (Développement des systèmes cyber-physiques en combinant des modèles SysML, des connecteurs de coordination Reo, et des approches formelles)
Approche sensorimotrice de la perception de l'espace pour la robotique autonome. (Sensorimotor approach of space perception for autonomous robotics.)
Advancing Beyond People Recognition in Facial Image Processing. (Au delà de la reconnaissance des personnes dans le traitement des images de visage)
Tatouage d'images numériques par paquets d'ondelettes
Abstractions of biochemical reaction networks. (Abstractions des réseaux de réactions biochimiques)
Image Processing Systems and Algorithms for estimating Deformations of Aircraft Structures in Flight. (Systèmes et Algorithmes de Traitement d'Images pour l'Estimation de Déformées de Structures d'Avion en Vol)
Génération automatique de parties opératives de circuits VLSI de type microprocesseur. (Automatic synthesis of data processing sections of VLSI microprocessor-like circuits)
Le contrôle de la réécriture : étude et implantation d'un formalisme de stratégies. (Controlling Rewriting : Study and Implementation of a Strategy Formalism)
Auto-tuning pour la détection automatique du meilleur format de compression pour matrice creuse. (Auto-tuning for the automatic sparse matrix optimal compression format detection)
Transport à fiabilité partielle d'images compresséessur les réseaux à commutation de paquets
Extraction du fouillis de mer dans des images radar marin cohérent : modèles de champ de phases, méthodes de Boltzmann sur réseau, apprentissage. (Sea clutter extraction from coherent marine radar images : phase field models, lattice Boltzmann method, machine learning)
De la capture de trajectoires de visiteurs vers l'analyse interactive de comportement après enrichissement sémantique. (Towards interactive analysis of visitor behavior through capturing and semantically enhancing trajectories)
Infrastructure and Algorithms for Information Retrieval Based On Social Network Analysis/Mining. (Infrastructure et Algorithmes pour la Recherche d'Information Basés sur l'Analyse des Réseaux Sociaux)
Towards a Cognitive Vision Platform for Semantic Image Interpretation; Application to the Recognition of Biological Organisms
Vers la notion d'agent énactif virtuel : Application à l'approche dynamique évolutionnaire. (Towards the notion of enactive virtual agent : Application to the evolutionary dynamic approach)
Vérification des contraintes temporelles de bout-en-bout dans le contexte AutoSar. (Verification of end-to-end real-time constraints in the context of AutoSar)
Modèle d'évaluation de systèmes d'organisation
Standard improvements and predictable performance for industrial Internet of things in indoor deployments. (Améliorations des normes pour la performances prévisibles dans l'Internet des objets industriel dans les ambiances à l'intérieur)
Semantic technologies for the modeling of predictive maintenance for a SME network in the framework of industry 4.0. (Technologies sémantiques pour la modélisation de la maintenance prédictive pour un réseau de PME dans le cadre de l'industrie 4.0)
Computation of the L∞-norm of finite-dimensional linear systems. (Calcul de la norme L∞ des systèmes linéaires de dimension finie)
Spatial decision support in urban environments using machine learning, 3D geo-visualization and semantic integration of multi-source data. (Aide à la décision spatiale dans les environnements urbains à l'aide du machine learning, de la géo-visualisation 3D et de l'intégration sémantique de données multi-sources)
Réalisation d'un système d'acquisition 3D pour des objets transparents. (3D acquisition system for transparent objects)
Characterization of native fruits of the amazon region and development of an amperometric biosensor for determination of antioxidant capacity. (Caractérisation des fruits autochtones de la région amazonie et developpement d'un biocapteur ampérométrique pour la détermination de la capacité antioxydant)
Estimation personnalisée de la dose délivrée au patient par l'imagerie embarquée kV-CBCT et réflexions autour de la prise en charge clinique. (Personalized patient dose estimation for on board KV-CBCT imaging systems and reflections on the clinical management)
Distribution géographique de données dans l'Internet des Véhicules : une approche logicielle et sécurisée utilisant les réseaux cellulaires. (Geographical data dissemination in the Internet of Vehicles : an efficient and secure approach based on SDN)
Multi-criteria Scheduling on Clouds. (Ordonnancement multi-critère sur Clouds)
The multiperiod electric vehicle routing problem: model and solution approaches. (Le problème de tournées de véhicules électriques multiperiodique : le modèle et des approches de solution)
Towards Multi-Scale Transport of Sharp Plumes. (Vers le Transport Multi-Echelles de Panaches Fins)
Contribution à la lecture automatique à l'aide de réseaux neuronaux profonds. (Contribution to machine reading comprehension with deep neural networks)
Point based representations for novel view synthesis. (Représentations basées sur des points pour une nouvelle synthèse de vues)
Interaction entre algèbre linéaire et analyse en formalisation des mathématiques. (Interaction between linear algebra and analysis in formal mathematics)
Contribution à la modélisation et à la prise en compte informatique de niveaux de descriptions multiples. Application aux écosystèmes aquatiquesPenicillo haere, nam scalas aufero. (A Contribution to modeling and managing multiple levels of description in a computer simulation Application to aquatic ecosystemsPenicillo haere, nam scalas aufero)
Modèle du corps humain pour le suivi de gestes en monoculaire. (Human body model for monocular body tracking)
Synthèse, caractérisation et évaluation biologique d'apatites phosphocalciques carbo silicatées. (Synthesis, characterization and biological evaluation of silicated and carbonated hydroxyapatites)
Propagation de Marquages pour le Matting Vidéo. (Markings for the propagation Video Matting)
A model-based shared control approach for assistance system on power wheelchair via haptic force feedback joystick. (Commande partagée basée modèle pour fauteuil roulant à assistance électrique avec joystick à retour d'effort)
Towards real-time performance in large-scale physics-based simulations. (Vers des performances en temps réel dans les simulations physiques à grande échelle)
Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire. (Tools for the tests generation and the control of the combinatorial explosion)
Vers une mémoire transactionnelle temps réel. (Towards a real-time transactional memory)
Constitution de fils de discussion cohérents à partir de conversations issues d'outils professionnels de communication et de collaboration. (Creation of coherent discussion threads based on conversations from professional communication and collaboration tools)
Tackling pedestrian detection in large scenes with multiple views and representations. (Une approche réaliste de la détection de piétons multi-vues et multi-représentations pour des scènes extérieures)
Adaptation de schémas de subdivision pour la reconstruction d'objet sans artefact. (Adaptation of subdivision schemes for object reconstruction without artefact)
Estimation de vitesse par analyse d'images acquises en filé : Application à la caractérisation de la distribution centrifuge de granules d'engrais. (Velocity estimation using motion blurred images : Application to the characterisation of centrifugal distribution of granular fertiliser)
Multispectral constancy for illuminant invariant representation of multispectral images. (Constance multispectrale pour la représentation invariante à l'illuminant d'images multispectrales)
Adaptation of discrete and continuous intracranial Brain-Computer Interfaces using neural correlates of task performance decoded continuously from the sensorimotor cortex of a tetraplegic. (Adaptation d'Interfaces Cerveau-Machines discrètes et continues grâce à des corrélats neuronaux de performance de tâche détectés continuellement dans le cortex sensorimoteur d'un tétraplégique)
Contributions à la Modélisation des Réseaux Complexes : Prétopologie et Applications. (Contributions to the Modeling of Complex Networks: Pretopology and Applications)
Conception et contrôle de haut niveau pour les systèmes sur puce multiprocesseurs adaptatifs. (High level design and control of adaptive multiprocessor system-on-chips)
Deep Learning methods for monocular 3D vision systems. (Méthodes d'apprentissage profond pour systèmes de vision 3D)
Ambiguïtés dans les langages visuels d'interrogation spatiale et précision topologique des bases de données spatiales. (Ambiguities in Visual Languages for Spatial Queries and Topological Precision of Spatial Databases)
Intégration de connaissances expertes dans le processus de fouille de données pour l'extraction d'informations pertinentes. (Expert knowledge integration into data mining process in order to extract intersting and relevant informations)
Détection visuelle de fermeture de boucle et applications à la localisation et cartographie simultanées. (Visual SLAM applications of loop-closure detection)
Méthodes décentralisées d'allocation des ressources dans le canal d'interférence acoustique sous-marin. (Decentralized methods for resource allocation in the underwater acoustic interference channel)
Apprentissage de varie'te's pour la De'tection et Reconnaissance de ve'hicules faiblement re'solus en imagerie ae'rienne
Shared-Neighbours methods for visual content structuring and mining. (Structuration et découverte de contenus visuels par des méthodes basées sur les voisins partagés)
On the similarities of trees: the interest of enumeration and compression methods. (Sur la similarité des arbres : l'intérêt des méthodes d'énumération et de compression)
Genetic Programming Based on Novelty Search
Méthodes de Runge Kutta de rang supérieur à l'ordre
Rangement d'objets multiboîtes : modèles et algorithmes. (Packing of Multibin Objects : models and algorithms)
Agglomerative 2-3 Hierarchical Classification: Theoretical and Applicative Study. (Classification Ascendante 2-3 Hiérarchique : étude théorique et applicative)
Syntaxe et sémantique dans un système de dialogue oral homme-machine finalisé en langage naturel. (Syntax and semantics in a natural language task oriented spoken man-machine dialogue system)
Apport des Graphes dans la Reconnaissance Non-Contrainte de Caractères Manuscrits Anciens. (Graphs Contribution in Unconstraint Old Handwritten Characters Recognition)
Analysis and optimizations for partitioned global address space based HPC applications. (Analyse et optimisations pour les applications HPC à mémoire distribuée et adressable globalement)
Resource Allocation for HARQ-based Mobile Ad Hoc Networks. (Allocation de Ressources pour les Réseaux Ad Hoc Mobiles basés sur les Protocoles HARQ)
Gestion de la Mobilité, de la Qualité de Service et Interconnexion de Réseaux Mobiles de Nouvelle Génération. (Management of the Mobility and the QoS, and Interconnection of next generation mobile networks)
Évaluation de méthodes automatisées de cartographie des zones inondables adaptées à la prévision des crues soudaines. (Evaluation of automated flood mapping methods for flash flood forecasting)
Automatic Discovery of Hidden Associations Using Vector Similarity : Application to Biological Annotation Prediction. (Découverte automatique des associations cachées en utilisant la similarité vectorielle : application à la prédiction de l'annotation biologique)
Approximation et intersection des surfaces procédurales utilisées en C.A.O
Two variants of the Ring Star Problem. (Deux variantes du problème Ring Star)
Natural Language Processing for Analyzing Messages of Astrophysical Observations. (Traitement Automatique des Langues pour l'analyse de messages d'observation astrophysique)
An authentication architecture for cross-domain mobility. (Une architecture authentification pour mobilité inter-domaine)
Hashing to elliptic curves and cryptanalysis of RSA-based schemes. (Hachage vers les courbes elliptiques et cryptanalyse de schémas RSA)
Nouvelles paramétrisations de réseaux Bayésiens et leur estimation implicite - Famille exponentielle naturelle et mélange infini de Gaussiennes. (New parametrisation of Bayesian networks and their implicit estimation - Natural exponential family and Gaussian infinite mixture)
Contributions to machine learning robustness with applications to traffic prediction. (Contributions à la robustesse de l'apprentissage machine avec applications à la prédiction de trafic)
Le tournant ontologique de la terminologie. (The ontological turn in terminology)
Prévision et décision en programmation linéaire stochastique
Stochastic Second Order Methods and Finite Time Analysis of Policy Gradient Methods. (Méthodes du second d'ordre stochastiques et analyse de temps fini des méthodes de policy-gradient)
Estimation and Processing of Ensemble Average Propagator and Its Features in Diffusion MRI
Développement d'un système de tracking vidéo sur caméra robotisée
Système hybride de localisation des personnes âgées dans un habitat intelligent. (Hybrid system for localization of elderly person in a smart home)
Privacy-preserving machine learning techniques. (Apprentissage automatique et confidentialité des données)
On improving complexity of linearizable and wait-free implementations of concurrent objects by relaxing their specifications. (Amélioration de complexité d'implémentations linéarisables et wait-free d'objets concurrents en relaxant leurs spécifications)
3D emotional rendering and animation models. (Modèles de rendu et animation émotionnelle en 3 D)
Statistical Learning on Heterogeneous Medical Data with Bayesian Latent Variable Models: Application to Neuroimaging Dementia Studies. (Apprentissage statistique sur des données médicales hétérogènes avec des modèles Bayésiens à variables latentes : application aux études de neuroimagerie pour les maladies neurodégénératives)
Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés. (Synchronized component-based systems : contributions to the compositional verification of refinement and properties)
Minimizing communication for incomplete factorizations and low-rank approximations on large scale computers. (Minimisation des commmunications lors de factorisations incomplètes et d'approximations de rang faible dans le contexte des grands supercalculateurs)
Similarités Textuelles Sémantiques Translingues : vers la Détection Automatique du Plagiat par Traduction. (Cross Lingual Semantic Textual Similarity Detection : towards Cross-Language Plagiarism Detection)
Vision based navigation in a dynamic environment. (Navigation référencée vision dans un environnement dynamique)
Existence, computability and certification of optimal classifiers under adversarial example attacks. (Existence, calculabilité et certification de classifieurs optimaux sous attaques adversariales)
Routing in Wireless Multimedia Sensor Networks. (Le routage dans les réseaux de capteurs multimédia)
Décomposition formelle des spécifications centralisées Event-B: application aux systèmes distribués BIP. (Formal decomposition of event-B centralized specifications: application to BIP distributed systems)
Architecture pour les systèmes de déploiement logiciel à grande échelle : prise en compte des concepts d'entreprise et de stratégie. (Architecture for large scale software deployment systems with consideration of enterprise and strategy concepts)
Optimizing the Use of SSVEP-based Brain-Computer Interfaces for Human-Computer Interaction. (Optimisation de l'utilisation des interfaces cerveau-machine basées sur SSVEP pour l'Interaction homme-machine)
Théorie des écoulements dans les réseaux
Statistical Machine Translation: Application to low resourced languages. (Traduction Automatique Fondée sur des Méthodes Statistiques: Application aux Langues peu Dotées en Ressources)
Contribution des nouvelles approches de modélisation à la durabilité des applications. (Contribution of new modelling approaches to software sustainability)
High performance analysis for road traffic control. (Analyse haute performance pour le contrôle de trafic routier)
Du type au prototype : Outils et processus de conception du projet architectural élaborés par Henry Jacques Le Même (1897-1997). (From type to prototype : tools and design processes of the architectural project developed by Henry Jacques Le Même (1897-1997))
Placement et stockage de l'information bio-inspiré : une approche orientée agent mobile. (Placement and storage of bio-inspired information: mobile agent-oriented approach)
Analyses de sûreté de fonctionnement multi-systèmes. (Multi-system safety analyses)
IRM multiparamétrique pour la recherche de biomarqueurs précoces des maladies par expansion de polyglutamine. (Multiparametric MRI for the Research of Early Biomarkers in Polyglutamine Diseases)
Pilotage d'algorithmes pour la reconnaissance en ligne d'arythmies cardiaques. (Algorithms piloting for cardiac arrhythmias recognition)
Wireless Self-adaptive Ad hoc and Sensor Networks: Energy Efficiency and Spatial Reuse. (Réseaux sans fil auto-adaptatifs: efficacité énergétique et réutilisation spatiale)
Local Analytic and Global Convex Methods for the 3D Reconstruction of Isometric Deformable Surfaces. (Méthodes Analytiques Locales et Méthodes Globales Convexes pour la Reconstruction 3D de Surfaces Isométriquement Déformables)
Etude des mécanismes évolutifs perturbant l'organisation des gènes dans les génomes de vertébrés. (Analysis of evolutionary mecanisms altering gene organisation in vertebrate genomes)
Design of Robot End-Effector for Collaborative Robot Works. (Conception d'un effecteur pour robots collaboratifs)
Diagnostic et commande tolérante aux défauts appliqués à un système de conversion électromécanique à base d'une machine asynchrone triphasée. (Diagnostic and fault tolerant control applied to an electromechanical conversion system based on three phase induction motor)
Modèles de Markov multi-flux pour la reconnaissance de l'écriture manuscrite multi-scripts. (Off-Line Handwritten Word Recognition Using Multi-Stream Hidden Markov Models)
Native simulation of MPSoC : instrumentation and modeling of non-functional aspects. (Simulation native des MPSoC : instrumentation et modélisation des aspects non fonctionnels)
Extraction et analyse d'objets-clés pour la structuration d'images et de vidéos. (Extraction and Analysis of Key-Objects for Image and Video Structuring)
A distributed modular self-reconfiguring robotic platform based on simplified electro-permanent magnets. (Plate-forme robotique auto-reconfigurable modulaire distribuée basée sur des aimants électro-permanents simplifiés)