yusuke1997/dblp-id-title huggingface dataset:
Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof. (Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle)
Structure et dynamique de protéines isolées : approches statistiques. (Structure and dynamics of isolated proteins : statistical approaches)
Concepts et méthodes pour le développement d'environnements de simulation intelligents. Application au bâtiment
Méthodes hybrides parallèles pour la résolution de problèmes d'optimisation combinatoire : application au clustering sous contraintes. (Parallel hybrid methods for solving combinatorial optimization problems : application to clustering under constraints)
Study and optimisation of IEEE 802.11 PHY and MAC protocols towards a new generation integrated in 5G. (Etude et optimisation des protocoles PHY et MAC de l'IEEE 802.11 vers une nouvelle génération intégrée à la future 5G)
Un framework d'aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones. (A Framework for Deployment and Customization of Real-Time Systems : Application to Drone Autopilots)
Nonlinear system identification with kernels: Applications of derivatives in reproducing kernel Hilbert spaces. (Contribution à l'identification des systèmes non-linéaires par des méthodes à noyaux)
Contribution à l'analyse et à l'interprétation du mouvement humain: application à la reconnaissance de postures. (Contribution to human motion analysis and interpretation: application to posture recognition)
Analyse de questions d'apprenants et de profils associés dans des environnements en ligne. (Analyzing learners' questions and associated profiles in online environments)
Modélisation de l'affordance dans le domaine des constructions durables. (Modelling the affordance in the field of green building)
Numerical and statistical approaches for model checking of stochastic processes. (Approches numériques et statistiques pour le model checking des processus stochastiques)
One-class classification for cyber intrusion detection in industrial systems. (Classification mono-classe pour la détection des cyber-intrusions dans les systèmes industriels)
Image analysis methods development for in vitro and in situ cryo-electron tomography studies of conformational variability of biomolecular complexes : Case of nucleosome structural and dynamics studies. (Développement de méthodes d'analyse d'images pour les études in vitro et in situ de la variabilité conformationnelle des complexes biomoléculaires par cryo-tomographie électronique : cas d'études de la structure et de la dynamique des nucléosomes)
Robusta : une approche pour la construction d'applications dynamiques. (Robusta : An approach to building dynamic applications)
Improving the model checking of stutter-invariant LTL properties. (Amélioration du model checking des propriétés LTL insensibles au bégaiement)
Modeling and measuring the brain morphological evolution using structural MRI in the context of neurodegenerative diseases. (Modélisation et mesure de l'évolution morphologique du cerveau à partir d'IRM structurelles pour l'étude des maladies neurodégénératives)
Automatic design of behavioural models for bio-hybrid systems of animals and robots. (Conception automatique de modèles de comportements pour systèmes bio-hybrides d'animaux et de robots)
Constructions géométriques à précision fixée. (Geometric constructions with fixed precision)
Mise en équations et résolution des réseaux électriques en régime transitoire par la méthode tensorielle
Large-scale Learning from Video and Natural Language. (Apprentissage vidéo et langage naturel à grande échelle)
Sur les colorations des arêtes des graphes cubiques. (On colors of cubic graph ridges)
km-scale Industrial Networking. (km-scale Industrial Networking)
Paraconsistent and fuzzy modal logics for reasoning about uncertainty. (Logiques modales paraconsistantes et floues pour le raisonnement sur l'incertitude)
On models for performance analysis of a core cache network and power save of a wireless access network. (Sur des modèles pour l'évaluation de performance des caches dans un réseau cœur et de la consommation d'énergie dans un réseau d'accès sans-fil)
The vehicle as a source and consumer of information : collection, dissemination and data processing for sustainable mobility. (Le véhicule comme source et consommateur d'information : collecte, dissémination et traitement de données pour la mobilité durable)
TempoWordNet : une ressource lexicale pour l'extraction d'information temporelle . (TempoWordNet: A Lexical Resource for Temporal Information Retrieval)
Simplicial homology: applied to wireless networks. (Homologie simpliciale appliquée aux réseaux sans fil)
Designing persistent player narratives in digital game worlds. (La conception de récits persistants de joueurs dans les mondes numériques des jeux vidéo)
Modeling, Scheduling and Optimization of Wireless Sensor Networks lifetime. (Modélisation, ordonnancement et optimisation de la durée de vie des réseaux de capteurs sans fil)
Mise en œuvre de la RA dans le processus d'enseignement-apprentissage en STI2D : Étude de son efficacité dans l'analyse fonctionnelle d'un système technique. (Implementation of AR in the teaching-learning process in STI2D: Study of its effectiveness in the functional analysis of a technical system)
Secure compilation against side channel attacks. (Compilation sécurisée contre les attaques par canaux auxiliaires)
Réseaux de neurones impulsionnels appliqués à la vision par ordinateur. (Computer vision with spiking neural network)
Suivi de Formants par analyse en Multirésolution. (Formant tracking via a multiresolution analysis)
Apprentissage à base de Noyaux Sémantiques pour le Traitement de Données Textuelles. (Machine Learning with Semantic Kernels for Textual Data)
Quelques problèmes d'interpolation à plusieurs variables
Contribution à la modélisation de la dynamique du comportement d'opérateurs humains
Étude sur les représentations continues de mots appliquées à la détection automatique des erreurs de reconnaissance de la parole. (A study of continuous word representations applied to the automatic detection of speech recognition errors)
Integrating phosphoproteomic time series data into prior knowledge networks. (Intégration de données de séries temporelles phosphoprotéomiques dans des réseaux de connaissances antérieurs)
Reinforcement Learning for Multi-Function Radar Resource Management. (Apprentissage par renforcement pour la gestion de ressources sur radar multi-fonctions)
Mathematical modeling of antibody nanoconjugates transport in tumors. (Modélisation mathématique du transport des nanoparticules dans les tumeurs)
Active Diagnosis of Hybrid Systems Guided by Diagnosability Properties - Application to Autonomous Satellites. (Diagnostic Actif pour les Systèmes Hybrides Guidé par les Propriétés de Diagnosticabilité - Application aux Satellites Autonomes)
Optimizing HPC applications with vectorization and multi-criteria task scheduling on heterogeneous systems. (Optimisation des applications HPC avec la vectorisation et l'ordonnancement multicritère des tâches sur les systèmes hétérogènes)
Un système de recommandation contextuel et composite pour la visite personnalisée de sites culturels. (A contextual and composite recommender system for the personalization of cultural sites visit)
Analyse communicationnelle des systèmes d'information dans le secteur de la santé (2000-2012) : l'exemple de l'implantation de deux logiciels dans les pratiques de la clinique mutualiste La Sagesse de Rennes. (Communicational analysis of information systems in the health sector (2000-2012) : the example of these implementation of two programs in clinical practice of mutual wisdom La Sagesse Rennes)
Prévision de charge dans les transports en commun en situation atypique par traitement d'image. (Load forecasting in public transport in atypical situations using computer vision)
Etude d'automates et de grammaires de ramifications
Analyse et optimisation de la durabilité des systèmes de production de biocarburants oléagineux en Afrique de l'Ouest. (Analysis and optimization of the sustainability of oilseed-based biofuels production systems in West Africa)
Modélisation, optimisation et simulation des réseaux de distribution d'électricité. (Modeling, optimization and numerical simulation of electric distribution networks)
Poly(benzyle glutamate)-based nanoparticles for intercepting and destroying circulating tumor cells into the bloodstream. (Nanoparticules à base de poly(L-glutamate de γ-benzyle) pour l'interception et la destruction des cellules tumorales circulantes dans la circulation sanguine)
Estimation du regard à partir de la vidéo. (Gaze estimation from video)
Stochastic models and methods for multi-object tracking
Non-Pharmacological Interventions: Terminology Acquisition and Visualization. (Interventions non médicamenteuses: acquisition et visualisation de terminologie)
Combinaison de sources de données pour l'amélioration de la prédiction en apprentissage : une application à la prédiction de la perte de poids chez l'obèse à partir de données transcriptomiques et cliniques
Rescheduling and Rerouting of Connecting Trains after Perturbations. (La Reprogrammation et le Réacheminement des Trains de Correspondance après des Perturbations)
Revisiter les grilles de PCs avec des technologies du Web et le Cloud computing. (Re-examaning the Desktop Grids with Web Technologies and Cloud Computing)
Extension des méthodes d'analyse factorielles à des données de type intervalle. (Extension of factorial analysis methods to interval-valued data)
Consensus blockchain: incitation des utilisateurs d'un réseau à la participation et à la loyauté. (Consensus blockchain: incitation des utilisateurs d'un réseau à la participation et à la loyauté)
Advanced methods and algorithm for high precision astronomical imaging. (Méthodes et algorithmes avancés pour l'imagerie astronomique de haute précision)
A framework for crafting data narratives. (Un cadre pour la narration de données)
Modèles composables et concurrents pour le temps-réel
Contribution à la réduction des pertes d'informations dans l'industrie du bois. (Contribution to the information loss reduction in the wood industry)
Complex Cyber Physical Systems Co-Simulation With The CoSim20 Framework For Efficient And Accurate Distributed Co-Simulations. (Co-Simulation De Systemes Complexes Avec Le Framework CoSim20 Pour Des Co-Simulations Distribuées Performantes et Fidèles)
Harnessing the Power of Multimodal and Textual Data in Industry 4.0. (Exploitation de la Puissance des Données Multimodales et Textuelles pour l'Industrie 4.0)
A multi-agent system for the reactive fleet maintenance support planning of a fleet of mobile cyber-physical systems: Application to rail transport industry. (Proposition d'un système multi-agent pour la planification réactive des opérations de maintenance d'une flotte de systèmes cyber-physiques mobiles : Application au domaine ferroviaire)
Construction d'une ressource termino-ontologique multilingue pour le domaine de la cuisine et de la nutrition. (Building a multilingual termino-ontological resource for food and nutrition domains)
Future internet services based on LIPS technology. (Services pour l'Internet du futur basée sur la technologie LISP (Locator/Identifier Separation protocol))
Reconfiguration du Routage Multicast dans les Réseaux Optiques WDM ayant la Propriété de Conversion Partielle de Longueur d'onde. (Reconfiguration of Multicast Routing in Sparse Wavelength Converter Networks)
Assimilation de données et identification de paramètres : une application en hydrologie. (Data assimilation and parameters identification: an application in hydrology)
Deep representation learning for time series averaging. (Apprentissage en profondeur des représentations pour la moyenne des séries chronologiques)
Modélisation de l'interaction combustible-réfrigérant : fragmentation et explosion de vapeur. (Modelisation of fuel-coolant interaction : fragmentation and vapor explosion)
Analyse et modélisation des communications concurrentes dans les réseaux haute performance. (Analysis and modelling of concurrent communications over high performance networks)
Filtering and uncertainty propagation methods for model-based prognosis. (Méthodes de filtrage et de propagation d'incertitudes pour le pronostic à base de modèles)
Necro, la sémantique sans y laisser les os: conception d'un système formel de description et de manipulation de sémantiques opérationnelles. (Necro, the skeleton key to semantics)
Lightweight Hardware Design of a Chaos-Based Stream Cipher for Secure Video Applications. (Conception de solutions matérielles de chiffrement basées chaos pour des applications vidéo sécurisées)
Solving incompressible Navier-Stokes equations on heterogeneous parallel architectures. (Résolution des équations de Navier-Stokes incompressibles sur architectures parallèles hétérogènes)
Towards federated social infrastructures for plug-based decentralized social networks. (Vers des infrastructures sociales fédérées pour des réseaux sociaux décentralisés à base d'ordinateurs contraints)
Modèles formels du calcul quantique : ressources, machines abstraites et calcul par mesure. (Formal models of quantum computing: resources, abstract machines and measurement-based quantum computing)
Vers une optimisation de la chaine logistique : proposition de modèles conceptuels basés sur le PLM (Product Lifecycle Management). (Towards supply chain optimization : proposition of conceptual models based on PLM (Product Lifecycle Management))
La gestion de la recherche collaborative d'information dans le cadre du processus d'intelligence économique. (Managing collaborative information retrieval within the context of economic intelligence)
Algorithmes parallèles de simulation physique pour la synthèse d'images : application à l'animation de textiles. (Parallel algorithms of physical simulation in computer graphics: application to cloth simulation)
Random Regression Forests for Fully Automatic Multi-Organ Localization in CT Images. (Segmentation automatique et multi-organes d'images scanner: Utilisation de forêts d'arbres décisionnels (Random Regression Forests))
Améliorer les langages et bibliothèques logicielles pour programmer l'interaction. (Improving languages and software libraries for programming interaction)
Inférence logique de réseaux booléens à partir de connaissances et d'observations de processus de différenciation cellulaire. (Logical inference of Boolean networks from knowledge and observations of cellular differentiation processes)
Program Analysis and Transformation: From the Polytope Model to Formal Languages. (Analyse et transformation de programmes: du modèle polyédrique aux langages formels)
Improved block partitioning strategies for high dimensional particle filtering. (Amélioration des stratégies de partitionnement en blocs pour le filtrage particulaire en grande dimension)
FENIX : un système multifenêtres intégré à UNIX. (FENIX : a multiwindowing system based on UNIX)
Segmentation de documents administratifs en couches couleur. (Segmentation of administrative document images into color layers)
Dynamic Performance-based Decision Support for Service Reusability. (Aide à la décision dynamique basée sur les performances pour la réutilisation des services)
Knowledge-based Systems for Cybersecurity in Internet of Things Environments. (Approche sémantique pour la détection d'anomalies dans les environnements IoT)
Constrained clustering by constraint programming. (Classification non supervisée sous contrainte utilisateurs par la programmation par contraintes)
Des métaheuristiques pour le guidage d'un solveur de contraintes dédié à la planification automatisée de véhicules. (Metaheuristics for the guidance of a constraint solver dedicated to automated vehicle planning)
Un modèle d'exécution paramétrique pour systèmes de bases de données actifs. (A parametric execution model for active database systems)
Fouille de règles d'association disjonctives à partir ditemsets non fréquents. (Mining disjunctive association rules from non frequents itemsets)
Supports de communications ubiquitaires pour les réseaux à l'échelle de la ville. (Ubiquitous communications for smart city networks)
Deep Inference for Graphical Theorem Proving. (Inférence Profonde pour la Démonstration Graphique de Théorèmes)
Designing a data-driven model for business continuity planning evaluation using robustness indicators. (Conception d'un modèle basé sur les données pour l'évaluation de la planification de la continuité d'activité à l'aide d'indicateurs de robustesse)
Optimisation de performances dans les entrepôts de données distribués NoSQL en colonnes. (Optimizing Distributed Data Warehouse Performance Using a Column NoSQL Database)
A personal knowledge base integrating user data and activity timeline. (Une base de connaissance personnelle intégrant les données d'un utilisateur et une chronologie de ses activités)
Cryptographic mechanisms for device authentication and attestation in the internet of things. (Protocoles cryptographiques pour l'authentification et l'attestation anonymes dans l'internet des objets)
Misbehaviour detection in vehicular networks. (Détection des comportements malveillants dans les réseaux véhiculaires)
Evolutionary determinants of sociality: the role of group formation. (Déterminants évolutionnistes de la socialité : le rôle de la formation de groupe)
Contribution à un cadre de spécification et conception d'IHM de supervision à base de services web dans les systèmes industriels complexes: Application à une raffinerie de sucre. (Contribution to a framework of the specification and design of the web services based supervisory HMI in complex industrial systems: Application to a sugar refinery)
Middleware for service provision in disconnected mobile ad hoc networks. (Intergiciel pour la fourniture de services dans les réseaux mobiles ad hoc discontinus)
Spoofing and disguise variations in face recognition. (Leurrage et dissimulation en reconnaissance faciale : analyses et contre attaques)
Towards RDF Anonymization. (Anonymisation de documents RDF)
Sur l'estimation de la densité spectrale d'une fonction aléatoire stationnaire du second ordre
Architectures optiques / optoélectroniques haute densité dédiées au calcul et aux traitement des signaux. (Optical / optoelectronical architectures high density dedicated to calculation and signal processing)
Système de règles de production et calcul de réécriture. (Production Rule Systems and Rewriting calculus)
Improving Speed and Image Quality of Image-Based Rendering. (Amélioration de la Vitesse et de la Qualité d'image du Rendu Basé Image)
Performance transfer : animating virtual charaters by playing and acting. (Transfert d'animation : animer des personnages virtuels par le jeu et le mime)
Apprentissage du mouvement humain à l'aide de capteurs portés : vers l'automatisation de l'évaluation ergonomique. (Human movement learning with wearable sensors : towards ergonomic assessment automation)
Simulation numérique des matériaux à changement de phase. (Numerical Simulation of Phase Change Materials)
Modélisation et analyse pour organiser, piloter et optimiser la phase de commissioning d'une installation nucléaire. (Modeling and analysis to organize, pilot and optimize the commissioning phase of a nuclear facility)
Test de systèmes ubiquitaires avec prise en compte explicite de la mobilité. (Test ubiquitous systems with explicit consideration of mobility )
3D conformal antennas for radar applications. (Antennes 3D et conformes pour des applications radars)
Prédiction de performances d'applications de calcul haute performance sur réseau Infiniband
Coherent state quantization for conjugated variables. (Quantification de variables conjuguées par états cohérents)
Complexity in Infinite Games on Graphs and Temporal Constraint Networks. (Complexité dans les Jeux Infinis sur les Graphes et les Réseaux de Contraintes Temporelles)
Mathematical and numerical modeling on the Sweeping process : applications to contact dynamics. (Modélisations mathématiques et numériques sur le Sweeping process : applications à la dynamique du contact)
Algorithmes génétiques hybrides en optimisation combinatoire. (Hybrid Genetic Algorithms in Combinatorial Optimisation)
Formal Modeling and Automatic Generation of Test Cases for the Autonomous Vehicle. (Modélisation formelle et génération automatique de cas de test pour le véhicule autonome)
Application de la fabrication additive à la modélisation physique des joints et des massifs rocheux, par approches expérimentales et numériques. (Application of additive manufacturing to the physical modeling of joints and rock masses, by experimental and numerical approaches)
Émergence des auto-oscillations dans un instrument de musique à anche simple. (Emergence of self sustained oscillations in single reed woodwind instrument)
Whole-body quantitative imaging of the skeletal muscle by Magnetic Resonance Fingerprinting. (Imagerie quantitative du muscle squelettique en corps entier par Magnetic Resonance Fingerprinting)
Étude d'endommagement sous choc en dynamique moléculaire par développement d'un algorithme d'analyse in-situ massivement parallèle. (Damage study under shock with molecular dynamics by developing a massively parallel in-situ analysis algorithm)
A Multidimensional Analysis of The Android Security Ecosystem. (Une analyse multidimensionnelle de l'écosystème de la sécurité d'android)
Dissémination de contenus populaires et tolérants au délai dans les réseaux cellulaires. (Dissemination of popular and delay-tolerant content in cellular networks)
Représentation des maillages multirésolutions : application aux volumes de subdivision. (Representation of multiresolution meshes : an application to subdivision volumes)
Contributions à l'amélioration de la qualité de service dans les réseaux sans fil Wifi. (New algorithms for quality of service improvement in Wireless 802.11 Wifi networks)
Extraction de connaissances spatio-temporelles incertaines pour la prédiction de changements en imagerie satellitale. (Uncertain Spatiotemporal Knowledge Discovery for Change Prediction in Sateliite Imagery)
A biophysical cortical column model for optical signal analysis. (Un modèle biophysique de colonne corticale pour l'analyse du signal d'imagerie optique)
Counting and Randomising in Automata Theory. (Compteurs et Aléas en Théorie des Automates)
Méthodes variationnelles pour la segmentation avec application à la réalité augmentée. (Variational methods for segmentation with application to augmented reality)
Methodology of Multi-FPGA Prototyping Platform Generation. (Méthodologie de génération de plateforme de prototypage à base de multi-fpga)
Accélération algorithmique et matérielle des méthodes d'estimation de cartes d'abondances en imagerie hyperspectrale. (Algorithmic and hardware acceleration of abundance maps estimation methods in hyperspectral imaging)
Wireless Link Quality Modelling and Mobility Management Optimisation for Cellular Networks. (Modélisation des Liens de Communication Radio et Optimisation de la Gestion de Mobilité dans les Réseaux Cellulaires)
Automatically Modeling Conversations as Processes of Interrelated Speech Intentions. (Modélisation automatique des conversations en tant que processus d'intentions de discours interdépendantes)
Clones 3D pour communication audio et vidéo. (3D heads for audio and video communication)
Global minmax optimization for robust H∞ control. (Optimisation globale minmax pour la commande robuste H∞)
Reinforcement Learning Algorithms for Controlled Queueing Systems. (Algorithmes d'apprentissage par renforcement pour le contrôle de systèmes de files d'attente)
Apprentissage de fonctions visuelles pour un robot mobile par programmation génétique. (Learning Visual Functions for a Mobile Robot with Genetic Programming)
Selective disclosure and inference leakage problem in the Linked Data. (Exposition sélective et problème de fuite d'inférence dans le Linked Data)
Building a secure infrastructure for IoT systems in distributed environments. (Une infrastructure sécurisée pour les systèmes IdO dans les environnements distribués)