yusuke1997/dblp-id-title huggingface dataset:
New tools for animation and design : a haptic-based system for stop motion camera animation and curve design by algebraic-trigonometric Pythagorean Hodograph curves. (Nouveaux outils pour l'animation et le design : système d'animation de caméra pour la stop motion, fondée sur une interface haptique et design de courbes par des courbes algébriques-trigonométriques à hodographe pythagorien)
Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie. (Coq formalization of digital filter algorithms computed using finite precision arithmetic)
Etude des stratégies et des structures de commande pour le pilotage des systèmes énergétiques à Pile à Combustible (PAC) destinés à la traction. (Missing)
Application de l'analyse quantitative des images au cyto-diagnostic des cancers du col de l'utérus. (Automated image analysis applied to diagnosis of cervical cancer)
Recherche de motifs dans des images : apport des graphes plans. (Searching for patterns in images : what plane graphs can bring)
Approche générative conjointe logicielle-matérielle au développement du support protocolaire d'applications réseaux. (A generative codesign software-hardware based approach for building efficient network protocol parsers for embedded systems)
Reliable robot localization: a constraint programming approach over dynamical systems. (Localisation fiable de robots : une approche de programmation par contraintes sur des systèmes dynamiques)
Contribution à l'évaluation économique des organisations productives : vers une modélisation de l'entreprise-compétences. (A contribution to economic evaluation of productive organizations : towards a model of competencies-firm)
Modélisation du raisonnement géométrique pour la programmation des robots
Simulation d'événements rares par Monte Carlo dans les réseaux hautement fiables. (Rare event Monte Carlo simulation for highly reliable networks)
Algorithmes approchés pour des problèmes d'ordonnancement multicritères de type job shop flexible et job shop multiressource
Imagerie oncologique et modélisation mathématique : développement, optimisation et perspectives. (Imaging in Oncology and Applied Mathematics : Development, Optimisation and future)
A methodology for business process discovery and diagnosis based on indoor location data : Application to patient pathways improvement. (Une méthodologie de découverte et de diagnostic des processus métier basée sur les données de localisation intérieures : application à l'amélioration du parcours patients)
Modélisation Formelle des Systèmes Fog: vers l'Analyse et la Validation de leur Comportement. (Formal Modeling of Fog Systems: Towards the Analysis and Validation of their Behaviour)
Inférence statistique pour les mouvements browniens fractionnaires et multifractionnaires. (Statistical inference for fractional and multifractional Brownian motions)
Modèles statistiques avancés pour la segmentation non supervisée des images dégradées de l'iris. (Advanced statistical models for unsupervised segmentation of degraded iris images)
Contribution à l'étude cinématique et dynamique des machines parallèles. (Contribution to the kinematic and dynamic modelling of parallel kinematic machines)
Multi-dimensional probing for RNA secondary structure(s) prediction. (Analyse différentielle de données de sondage pour la prédiction des structures d'acides ribonucléiques)
Spatial recurrent neural networks : from electro-optical towards all-optical. (Réseaux de neurones spatiaux récurrents : de l'électro-optique au tout-optique)
Etude et obtention d'heuristiques et d'algorithmes exacts et approchés pour un problème de partitionnement de maillage sous contraintes mémoire. (Study and obtention of exact, and approximation, algorithms and heuristics for a mesh partitioning problem under memory constraints)
Exploiting structure in humanoid motion planning. (Exploiter la structure pour la planification de mouvement humanoïde)
Efficient Querying and Analytics of Semantic Web Data. (Interrogation et Analyse Efficiente des Données du Web Sémantique)
Algorithmes d'Allocation de Ressources en OFDM Multi-Utilisateurs sous Contraintes de Qualité de Service
Découverte d'éléments cis-régulateurs impliqués dans l'activation transcriptionnelle du génome zygotique dans l'embryon précoce de Drosophila melanogaster. (Identification of cis-regulatory elements involved in zygotic genome activation in Drosophila melanogaster early embryo)
Statistical learning in high dimensions: a rigorous statistical physics approach. (Apprentissage statistique en grandes dimensions: une approche rigoureuse par la physique statistique)
Recherche d'une permutation optimale des variables dans la méthode itérative de Gauss-Seidel
Motion planning for digital actors. (Planification de mouvements pour acteurs digitaux)
Agile Multi-PHY Wireless Networking. (Réseaux Sans-fil Agiles Utilisant Plusieurs Couches Physique)
Extension orientée objet d'un SGBD relationnel. (Object-Oriented Extension of a Relational DBMS)
Hemodynamic Models: Investigation and Application to Brain Imaging Analysis. (Modèles Hémodynamiques: Investigation et Application à l'Analyse en Imagerie Cérébrale)
Learning attributed graphs representations. (Apprentissage de représentations de graphes attribués)
Benchmark-driven Approaches to Performance Modeling of Multi-Core Architectures. (Modélisation des architecture multi-cœur par des mesures de performance)
Algorithmes distribués pour l'optimisation de déploiement des microrobots MEMS. (Distributed algorithms for optimizing the deployment of MEMS microrobots)
Apprentissage actif pour l'approximation de variétés
Neural rendering for 3D human representation with biomechanics features. (Rendu neuronal pour la représentation humaine en 3D avec des caractéristiques biomécaniques)
Modélisation physiquement réaliste de simulation d'entraînement maritime. (Physically realistic modeling of maritime training simulation)
Diagnosticabilité et diagnosticabilisation de motifs temporels dans les réseaux de Petri temporels. (Diagnosability and diagnosabilisation of time patterns in time Petri nets)
Contribution à l'algorithmique distribuée dans les réseaux mobiles ad hoc - Calculs locaux et réétiquetages de graphes dynamiques. (Distributed algorithmics in mobile ad hoc networks - Local computations and dynamic graph relabelling systems)
Two View Line-Based Matching, Motion Estimation and Reconstruction for Central Imaging Systems. (Mise en correspondance de lignes à partir de deux vues, estimation du mouvement et reconstruction pour les systèmes centraux)
L'optimisation des requêtes relationnelles : une application de l'intelligence artificielle
Virtualization (SDN/NFV) in optical access networks: contributions for enhanced fixed-mobile convergence. (La virtualisation (SDN/NFV) dans les réseaux d'accès optiques: contributions pour une convergence fixe-mobile améliorée)
Architecture de coopération de réseaux sans fil. (Architecture of wireless cooperating networks)
Étude des méthodes d'intelligence artificielle pour la navigation des projectiles. (Study of artificial intelligence methods for projectile navigation)
Efficient placement design and storage cost saving for big data workflow in cloud datacenters. (Conception d'algorithmes de placement efficaces et économie des coûts de stockage pour les workflows du big data dans les centres de calcul de type cloud)
Ensembles of models in fMRI : stable learning in large-scale settings. (Ensembles des modeles en fMRI : l'apprentissage stable à grande échelle)
Inversion de systèmes linéaires pour la simulation des matériaux ferromagnétiques. Singularités d'une configuration d'aimantation. (Linear systems inversion for the simulation of ferromagnetic materials. Singularities of the magnetization)
Development of an Innovative System for the Reconstruction of New Generation Satellite Images. (Développement de méthodes innovantes pour la restauration des images de télédétection spatiale de nouvelles générations)
Modélisation homotopique et segmentation 3D du cortex cérébral à partir d'IRM pour la résolution des problèmes directs et inverses en EEG et en MEG
Étude de la complexité des implémentations d'objets concurrents, sans attente, abandonnables et/ou solo-rapides. (On the complexity of wait-free, abortable and/or solo-fast concurrent object implementations)
Mobiliser une analyse de l'activité comme aide à la conception et à l'évaluation d'un Environnement Virtuel pour l'Apprentissage Humain : un exemple en implantologie dentaire. (Activity analysis to help the design and the assessmenr of Virtual Environment for Training : the case of dental implantology)
Machine Learning meets real-time Numerical Simulation - Application to surgical training, preoperative planning and surgical assistance. (Combinaison entre simulation numérique etapprentissage automatique - Applications à la formation, la planification préopératoire et l'assistance peropératoire)
Improving skewed data dissemination in structured overlays. (Amélioration de la dissémination de données biaisées dans les réseaux structurés)
Cosserat-Based Modeling and Control of Slender Soft Robots. (Modélisation et Commande de Robots Souples Élancés Basées sur la Théorie de Cosserat)
Modélisation épidémiologique et génétique des parasites gastro-intestinaux au sein d'un troupeau d'ovins. (Epidemiological and genetic modelling of gastro-intestinal parasites in sheep flock)
Development of an ultra-fast X-ray camera using hybrid pixel detectors. (Développement d'une caméra à rayons X ultra-rapide utilisant des détecteurs à pixels hybrides)
Transfer Learning methods for temporal data. (Méthodes d'apprentissage statistique de type « Transfer Learning » pour des données temporelles multivariées)
Neural Networks and Sparse Information Acquisition. (Réseaux de neurones et acquisition de l'information parcimonieuse)
Enhancing Transparency and Consent in the Internet of Things. (Améliorer la Transparence et le Consentement dans l'Internet des Objets)
Zero-knowledge arguments from secure multiparty computation. (Arguments à divulgation nulle de connaissance via du calcul réparti sécurisé)
Développement des capteurs sans fil basés sur les tags RFID uhf passifs pour la détection de la qualité des aliments. (Development of RFID sensor tags for food quality detection)
A storytelling machine? : Automatic video summarization: the case of TV series. (Une machine à raconter des histoires ? / Une machine à raconter des histoires ? : Résumé automatique de vidéos : le cas des séries TV)
Contributions to scalable clustering of networks and graphs. (Contributions à une efficiente classification non-supervisée de réseaux et de graphes)
Achile : un dispositif de décodage acoustico-phonétique et d'identification lexicale indépendant du locuteur à partir de modules mixtes. (Achile : a system based on parallel-distributed processes for speaker-independent acoustic-phonetic decoding and word recognition)
Graphes de connaissances et intelligence artificielle explicable : application au repositionnement de médicaments. (Knowledge graphs and explainable artificial intelligence : application to drug repositioning)
Développement d'un alphabet structural intégrant la flexibilité des structures protéiques. (Development of a structural alphabet integrating the flexibility of protein structures)
Modélisation de voies métaboliques pour la production de molécules. (Metabolic pathways modeling for the production of molecules)
Simulation numérique des écoulements d'air et de polluants induits par le mouvement d'une personne : effets sur les dispositifs de confinement dynamique. (Numerical modeling of pollutant laden airflows induced by human motion: impact on air containment barriers)
Resource Protection in Enterprise Data Centers: Architectures and Protocols. (Protection de ressources dans des centres de données d'entreprise: Architectures et Protocoles)
Streaming virtual reality : learning for attentional models and network optimization. (Streaming de réalité virtuelle : apprentissage pour modèles attentionnels et optimisation réseau)
Algorithmes rapides pour le calcul symbolique de certaines intégrales de contour à paramètre. (Efficient algorithms for the symbolic computation of certain contour integrals with one parameter)
Towards Efficient and Secure Cloud Architectures and Models: Application on Smart Grid, IoT and SDN Vehicular Networks. (Vers des architectures cloud efficaces et sécurisées: application aux réseaux électriques intelligent, IoT et SDN VANET)
Generic Framework for the Multidimensional Processing and Analysis of Social Media Content: A Proxemic Approach. (Cadre Générique pour le Traitement et l'Analyse Multidimensionnelle des Réseaux Sociaux : Une Approche Proxémique)
Radiothérapie par Photoactivation de Nanoparticules : modélisation à l'Échelle Sub-Micrométrique et Comparaison Expérimentale. (Photo-activation Therapy with Nanoparticles : modeling at a Sub-Micrometer Level and Experimental Comparison)
Langages pour l'écriture de compilateurs. (Languages for Compiler Writing)
Deep learning for radar data exploitation of autonomous vehicle. (Apprentissage profond pour l'exploitation de données radar dans la conduite autonome)
Structured Learning from Videos and Language. (Apprentissage structuré à partir de vidéos et langage)
Au sujet de quelques modèles stochastiques appliqués à la biologie
La recherche pharmaceutique à l'épreuve des pratiques communicationnelles. L'invention d'un médicament issu des nanotechnologies. (Pharmaceutical research and communicative practices. The invention of a nanotechnology drug)
Optimization of the spatio-temporal configuration of multistatic sonar networks. (Optimisation de la configuration spatio-temporelle de réseaux de sonars multistatiques)
Time Series Classification Algorithms with Applications in Remote Sensing. (Classification de Séries Temporelles avec Applications en Télédétection)
Generation of Audio-Visual Prosody for Expressive Virtual Actors. (Génération de la Prosodie Audio-Visuelle pour les Acteurs Virtuels Expressifs )
Vérification déductive de programmes Rust. (Deductive verification of Rust programs)
Transport multipoint fiable à très grande échelle : Intégration de critères de coût en environnement Internet hybride satellite / terrestre. (Large scale reliable multipoint transport: taking cost into account in the hybrid satellite terrestrial Internet environment)
Efficient evaluation of mappings of dataflow applications onto distributed memory architectures. (Evaluation de l'affectation des tâches sur une architecture à mémoire distribuée pour des modèles flot de données)
La mémoire dans les algorithmes à colonie de fourmis : applications à l'optimisation combinatoire et à la programmation automatique. (Memory in ants colony algorithms : applications to optimization and automatic programming)
Public-Key Encryption, Revisited: Tight Security and Richer Functionalities. (Chiffrement à clé publique, revisité: Sécurité accrue et fonctionnalités plus riches)
From Human Routine to More Efficient Mobile Networks. (De la Routine Humaine vers des Réseaux Mobiles Plus Efficaces)
Environnement de modélisation pour l'analyse des systèmes de santé. (Modeling environment for health systems analysis)
Modèles markoviens uni- et bidimensionnels pour la reconnaissance de l'écriture manuscrite hors-ligne. (One and two-dimensional Markov models for off-line handwriting recognition)
Topologie Algébrique Dirigée et Concurrence. (Directed Algebraic Topology and Concurrency)
Développement et évaluation d'obsfucations de protocoles basées sur la spécification. (Development and evaluation of protocol obsfucations based on the specification)
Strategies in problem-solving : a model to cluster problem-solving behaviours. (Stratégies pour la résolution de problèmes : un modèle de classification de comportements de résolution)
Deep modeling based on voice attributes for explainable speaker recognition : application in the forensic domain. (Modélisation profonde basée sur la notion d'attributs de voix pour la reconnaissance du locuteur explicable : application au domaine criminalistique)
A general framework integrating techniques for scheduling under uncertainty. (Un cadre général intégrant les techniques d'ordonnancement sous incertitudes)
Comparison of homologous protein sequences using direct coupling information by pairwise Potts model alignments. (Comparaison de protéines homologues avec dépendances entre positions par alignement de modèles de Potts)
Régularisation et optimisation pour l'imagerie sismique des fondations de pylônes. (Regularization and optimization for the seismic imaging of transmission overhead line structure foundations)
Utilisation et réutilisation des données d'un système d'information clinique : application aux données de pilotage à l'hôpital européen Georges Pompidou. (Use and reuse of data from a clinical information system : application to control data at the Georges Pompidou European hospital)
Direct laser writing of a new type of optical waveguides and components in silver containing glasses. (L'inscription laser directe d'un nouveau type de guides d'ondes et composants optiques dans des verres contenant de l'argent)
Logarithmic Discrete Wavelet Transform For High Quality Medical Image Compression. (Ondelette discrète logarithmique transformée pour une compression d'image médicale de grande qualité)
Non-interactive arguments of knowledge
Using GRASP and GA to design resilient and cost-effective IP/MPLS networks. (Utilisation de GRASP et des Algorithmes Génétiques pour la conception de réseaux IP/MPLS résistants et à coût réduit)
Low Bitrate Face Video Compression with Generative Animation Models. (Compression vidéo faciale à faible débit avec des modèles d'animation génératifs)
Methodology for the derivation of product behaviour in a Software Product Line. (Méthodologie SPL pour la dérivation de modèles comportementaux des produits)
Mapping Adaptation between Biomedical Knowledge Organization Systems. (Adaptation des mappings entre systèmes d'organisation de la connaissance du domaine biomédical)
Quality of service in heterogeneous mobile constrained networks. (Qualité de service dans des environnements réseaux mobiles, contraints et hétérogènes)
Towards more efficient parallel SAT solving. (Vers une parallélisation efficace de la résolution du problème de satisfaisabilité)
Deep depth from defocus : Neural networks for monocular depth estimation. (Apprentissage de profondeur par flou de défocalisation : les réseaux de neurones pour l'estimation de la profondeur mono-image)
DCA-based machine learning techniques with applications in finance and healthcare. (Techniques d'apprentissage automatique basées sur DCA avec des applications dans la finance et la santé)
Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique. (The control of asynchronous systems: concepts, properties, static analysis)
Manipulateurs parallèles, singularités et analyse statique. (Static analysis of parallel manipulators singularities)
Complexity measures through the lens of two-player games and signatures of the hypercube. (Les mesures complexes à travers le prisme des jeux à deux joueurs et des signatures de l'hypercube)
Recherche et détection des patterns d'attaques dans les réseaux IP à hauts débits. (Search and detection of the attacks patter in high speed IP networks)
Déduction automatique avec contraintes symboliques dans les théories équationnelles. (Automated deduction with symbolic constraints in equational theories)
Ultrasensitive detection of susbtances using the single deoxyribonucelic acids biochip. (Détection ultrasensible d'agents pathogènes à l'aide d'un biocapteur à ADN uniques original)
Contribution à des problèmes algorithmiques dans les graphes : applications aux réseaux de capteurs, et recherche de motifs. (Contributions to algorithmic problems in graphs : application to sensor networks, and graph motif search)
System-on-chip design flow for Software Defined Radio. (Flot de conception système sur puce pour radio logicielle)
Lifting Algebraic Reasoning to Generalized Metric Spaces. (Relèvement du raisonnement algébrique aux espaces métriques généralisés)
Some Contributions to Audio Source Separation and Diarisation of Multichannel Convolutive Mixtures. (Quelques Contributions pour la Séparation et la Journalisation de Sources Audio dans des Mélanges Multicanaux Convolutifs)
Intégration de méthodes de représentation et de classification pour la détection et la reconnaissance d'obstacles dans des scènes routières. (Integrating representation and classification methods for obstacle detection in road scenes)
Strongly Private Communications in a Homogeneous Network. (Communications anonymes dans un réseau homogène)
Compilation de réseaux de Petri : modèles haut niveau et symétries de processus. (Compilation of Petri nets : high-level models and process symmetries)
Adaptation non-anticipée de comportement: application au déverminage de programmes en cours d'exécution. (Unanticipated behavior adaptation: application to the debugging of running programs)
Application des méthodes de la programmation dynamique au problème de la répartition optimale d'une activité
Topological Changes in Simulations of Deformable Objects. (Changements Topologiques dans des Simulations des Objets Deformable)
Bridging the Gap between Social and Digital Worlds: System Modeling and Trust Evaluation. (Combler le fosse' entre les mondes sociaux et nume'riques : mode'li- sation de systèmes et e'valuation de la confiance)
Modélisation et analyse de la sécurité dans un système de stockage pair-à-pair. (Modelisation and analysis of the security in the peer to peer storage system)
Graphes et contraintes. (Graphs and constraints)
Outils pour l'analyse de code et de contre-mesures pour l'injection de fautes multiples. (Tools for code and countermeasures analysis against multiple faults attacks)
Prédiction et évitement d'obstacles basés deep learning : Application à la mobilité ferroviaire et routière. (Obstacle prediction and avoidance based on deep learning : Application to rail and road mobility)
Approche générique d'aide à la décision pour l'amélioration de la sécurité des transports. (A Generic decision support approach to improve the transport security)
Efficient end-to-end monitoring for fault management in distributed systems. (La surveillance efficace de bout-à-bout pour la gestion des pannes dans les systèmes distribués)
Application of network coding in wireless networks : coding conditions and adaptive redundancy control. (Application du codage réseau dans l'environnement sans fil : conditions de codage et contrôle de redondance adaptatif)
Imperfect Maintenance Models: Steady-state, Heterogeneity and Applications. (Modèles de maintenance imparfaites: état stationnaire, hétérogénéité et applications)
Qualité de Service dans l'Internet : Garantie de Débit TCP dans la Classe AF. (Quality of Service in the Internet : Guaranteed TCP Throughput in the AF Class)
La construction automatique de ressources multilingues à partir des réseaux sociaux : application aux données dialectales du Maghreb. (Automatic building of multilingual resources from social networks : application to Maghrebi dialects)
Verasco: a Formally Verified C Static Analyzer. (Verasco: un analyseur statique pour C formellement vérifié)
La planification du personnel : acteurs, actions et termes multiples pour une planification opérationnelle des personnes
Contribution à l'étude du raisonnement en univers multi-agent : KIDS, une application pour l'interprétation d'images biomédicales. (Contribution to the study of reasoning paradigm in multi-agent environments : KIDS, an application for biomedical image interpretation)
Relevé Volumétrique par Stéréovision à partir de Deux Vues non Calibrées - Application au Suivi Thérapeutique d'Escarres. (Accurate Volume Estimation from Two Uncalibrated Views Applied to Wound Healing)
Mathematical and Algorithmic Analysis of Modified Langevin Dynamics. (Analyse mathématique et algorithmique de la dynamique de Langevin modifiée)
Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel. (Contribution to the Consideration of the Behavior of Real-Time Software Execution Platforms)