yusuke1997/dblp-id-title huggingface dataset:
La loi de convexité énergie-fréquence de la consommation des programmes : modélisation, thermosensibilité et applications. (The Energy/Frequency Convexity Rule of Energy Consumption for Programs : Modeling, Thermosensitivity and Applications)
Relationship between relational databases and artificial intelligence: Study and conception of the H-Relation model. (Rapport entre les bases de données relationnelles et l'intelligence artificielle : Etude et conception du modèle H-Relation)
Architectures de Transformer légères pour la reconnaissance de textes manuscrits anciens. (Lightweight Transformer-based Architectures for Historical Handwritten Text Recognition)
Comparaison et évolution de schémas XML. (Comparison and evolution of XML schema)
Les plans d'expériences pour le réglage de commandes à base de logique floue. (Experimental designs for fuzzy controller tuning)
Diagnostic à base de modèles des systèmes temporisés et d'une sous-classe de systèmes dynamiques hybrides. (Model-based diagnosis of timed systems and a class of hybrid dynamic systems)
Segmentation supervisée d'actions à partir de primitives haut niveau dans des flux vidéos. (Action supervised segmentation based on high level features on video streams)
Contrôle des procédés représentés par des équations aux dérivées partielles. (Process control represented by partial differential equations)
Recommandation de placement de données pour les traitements dans des lacs de données Smartgrids. (Data placement recommendation for the workloads in Smartgrids Data lakes)
Amélioration des algorithmes de crible. Application à la factorisation des entiers. (Improvement of sieving algorithms. Application to integer factorization)
Combiner la programmation par contraintes et l'apprentissage machine pour construire un modèle éco-énergétique pour petits et moyens data centers. (Combining constraint programming and machine learning to come up with an energy aware model for small/medium size data centers)
Modélisation des systèmes de production de compétences : apports à l'ingénierie pédagogique
Vers une détection à la source des activités malveillantes dans les clouds publics : application aux attaques de déni de service. (Toward a source based detection of malicious activities in public clouds : application to denial of service attacks)
Modeling and estimation of human skin optical properties using spatially resolved autofluorescence and diffuse reflectance spectroscopy. (Modélisation et estimations des propriétés optiques de la peau humaine à l'aide de spectroscopie d'autofluorescence et reflectance diffuse résolues spatialement)
Partial order reduction for timed systems. (Réduction d'ordre partiel pour les systèmes temporisés)
Castor : a constraint-based SPARQL engine with active filter processing. (Castor : un moteur SPARQL basé sur les contraintes avec exploitation actif de filtres)
Améliorer la recherche par similarité dans une grande base d'images fixes par des techniques de fouilles de données
Interaction "naturelle" en environnements immersifs - Démonstrateur multimodal et validation sur des applications scientifiques
Modélisation Hiérarchique de Surfaces à partir de Maillages Polyédriques et Applications. (Hierarchical Modeling of Smooth surfaces over polyedral meshes)
Contribution à l'évaluation des systèmes interactifs orientés agents. (Contribution to the evaluation of interactive systems based on oriented agent architecture)
Représentation des mots et des connaissances: Construction, utilisation et évaluation des plongements euclidiens et hyperboliques. (Word and knowledge representation / Word and knowledge representation: Building, using and evaluating euclidean and hyperbolic embeddings)
Formal Verification of Distributed Algorithms using PlusCal-2. (Vérification Formelle d'Algorithmes Distribués en PlusCal-2)
Contributions to computer vision and machine learning for plant variety testing. (Contributions à la vision par ordinateur et à l'apprentissage automatique pour les tests des variétés végétales)
Segmentation d'images couleur par classification pixellaire et hiérarchie de partitions. (Segmentation of color images by pixels classification and hierarchy of partitions)
Langages reconnaissables de mots indexés par des ordinaux
Tracking sans marqueur de modèles physiques modulaires et articulés : vers une interface tangible pour la manipulation de simulations moléculaires. (Markerless Tracking of Modular and Articulated Physical Models : Towards a Tangible Interface to Manipulate Molecular Simulations in a Mixed Reality Context)
Stochastic models for the evaluation of numerical errors. (Modèles stochastiques pour l'évaluation des erreurs numériques)
Contribution à la formation en réalité virtuelle : scénarios collaboratifs et intégration d'humains virtuels collaborant avec des utilisateurs réels
Contribution à la perception visuelle multi-résolution de l'environnement 3D : application à la robotique autonome. (Contribution to the visual perception multi-resolution of the 3D environment : application to autonomous robotics)
Continuous models of computation: from computability to complexity. (Modèles de calculs à temps continu: de la calculabilité à la complexité)
Contribution à l'étude de l'erreur dans l'approximation des intégrales multiples
Robust dimensioning of wireless optical networks with multiple partial link failures. (Dimensionnement robuste des réseaux optiques sans fil avec des pannes partielles de liens)
Méthodes déterministes de résolution des équations de Vlasov-Maxwell relativistes en vue du calcul de la dynamique des ceintures de Van Allen. (Deterministic methods for the relativistic Vlasov-Maxwell equations and the Van Allen belts dynamics)
Animation de personnages 3D par le sketching 2D. (Sketching free-form poses and motions for expressive 3D character animation)
Unspecified. (Réalité augmentée pour l'essayage virtuel de lunettes par Internet)
Bridging Deep Learning and Classical Profiled Side-Channel Attacks. (Rapprochement de l'apprentissage profond et des attaques par canaux auxiliaires)
Flexible and scalable methods for formal concept analysis in distributed architectures. (Méthodes flexibles et évolutives pour l'analyse formelle des concepts dans les architectures distribuées)
Dependently-Typed Termination and Embedding of Extensional Universe-Polymorphic Type Theory using Rewriting. (Terminaison en présence de types dépendants et encodage par réécriture d'une théorie des types extensionelle avec polymorphisme d'univers)
Contributions on stabilization of switched affine systems. (Contributions à la stabilisation des systèmes à commutationaffine)
Réécriture d'arbres de piles et traces de systèmes à compteurs. (Ground stack tree rewriting and traces of counter systems)
An Evidence-Based Roadmap to Support the Internet of Things Software Systems Engineering. (Une Feuille de Route Basee sur des Evidences pour Soutenir L'ingenierie de Logiciels pour L'internet Des Objets / Um guia baseado em evidência para apoiar a engenharia de sistemas de software de internet das coisas)
Physiological and performance responses of growing pigs to high ambient temperature and/or inflammatory challenges. (Réponses physiologiques et zootechniques à la chaleur en interaction avec le statut sanitaire chez le porc en croissance)
Reconstruction de surfaces d'objets courbes en vision par ordinateur. (Reconstruction of curved object surfaces in computer vision)
Matrices score-position, algorithmes et propriétés
Quantum approaches for Worst-Case Execution-Times analysis of programs. (Approches quantiques pour l'analyse des exécutions pire-cas des programmes)
Gestion des objets complexes : modélisation, évolution et intégration. (Managing complex objects : model, evolution and integration)
Contributions à la cryptographie post-quantique. (Contributions to post-quantum cryptography)
Restauration d'images par temps de brouillard et de pluie : applications aux aides à la conduite. (Image Restoration During Foggy and Rainy Weather : Applications for Driver Assistance Systems)
Contrôle orbital pour le tracé de trajectoires 3D à l'aide des mouvements de la tête. (Orbital control for 3D trajectory drawing through head movements)
Gestion des ressources des réseaux mobiles de nouvelle génération par rapport à la mobilité des utilisateurs. (Resource allocation in the next generation networks with the mobility of the users)
Analyse du potentiel migratoire de cellules cancéreuses par prétraitement, segmentation et classification d'images. (Analysis of the migratory potential of cancerous cells by image preprocessing, segmentation and classification)
Representation, information extraction, and summarization for automatic multimedia understanding. (Représentation, extraction d'informations et syntèse pour la compréhension automatique du multimédia)
Constructive Verification for Component-based Systems. (Vérification Constructive des Systèmes à base de Composants)
Embedded Code Generation from High-level Heterogeneous Components. (Génération du Code Embarqué a partir de Composants de Haut-niveau Hétérogènes)
Radio Access and Core Functionalities in Self-deployable Mobile Networks. (Accès radio et fonctionnalités cœurs dans les réseaux mobiles auto-déployables)
Environnement logiciel et étalonnage de l'échelle en énergie des jets dans l'expérience ATLAS
Automation of legal reasoning and decision based on ontologies. (Automatisation du raisonnement et décision juridiques basés sur les ontologies)
Résultant déterminantiel et applications. (Determinantal resultant and applications)
Fault tolerant methods design for a fleet of autonomous vehicles against faults/failures based on multi-agent systems. (Synthèse de méthodes de commande tolérantes à l'occurrence d'un agent défaillant au sein d'une flotte de véhicules autonomes)
Systèmes mécaniques réversibles en dynamique holonome et non-holonome des corps solides rigides. (Reversible mechanical systems in holonomic and non-holonomic dynamics of rigid body)
Recommandation personnalisée hybride. (Hybrid personalized recommendation)
Parallélisation massive de dynamiques spatiales : contribution à la gestion durable du mildiou de la pomme de terre. (Massive scale parallelization of spatial dynamics : input for potato blight sustainable management)
Évitabilité de puissances additives en combinatoire des mots. (Avoidability of additive powers in combinatoric on words)
Composition sémantique pour la langue orale. (Semantic composition for spoken language understanding)
Tensor modeling and signal processing for wireless communication systems. (Modélisation et traitement tensoriel du signal pour les systèmes de communication sans-fil)
Standard-based Lexical Models for Automatically Structured Dictionaries. (Modèles lexicaux standardisés pour les dictionnaires à structure automatique)
Synthèse de plans conditionnels pour la décision dans l'incertain. (Conditional plans synthesis for decision with uncertainty)
Avoidability of Abelian Repetitions in Words. (Évitabilité des répétitions abéliennes dans les mots)
Security and optimization of blockchains and associated algorithms. (La sécurité et l'optimisation des chaines à blocs et algorithmes associés)
Réduction de modèles thermiques par amalgame modal
Détection d'intrusion pour des réseaux embarqués automobiles : une approche orientée langage. (Intrusion detection for automotive embedded networks: a language oriented approach )
Vision and Learning in the Context of Exploratory Rovers. (Vision und Lernen im Kontext exploratorischer Rover / Vision et apprentissage dans le contexte des rovers planétaires)
Conception d'un système avancé de réacteur PWR flexible par les apports conjoints de l'ingénierie système et de l'automatique. (Conception of an advanced flexible PWR reactor system using systems engineering and control theories)
Intelligent storage on synthetic DNA for archiving digital images. (Stockage intelligent sur ADN synthétique pour l'archivage des images numériques)
Analyse statistique de données issues de batteries en usage réel sur des véhicules électriques, pour la compréhension, l'estimation et la gestion des phénomènes de vieillissement. (Statistical analysis of battery signals in real electric vehicle uses, for comprehension, estimation and management of ageing phenomena)
De la conception à l'exploration des systèmes interactifs combinant Réalité Mixte, Interfaces Utilisateur Naturelles et Internet des Objets. (From design to exploration of interactive systems combining Mixed Reality, Natural User Interfaces, and the Internet of Things)
Kernel-based machine learning for tracking and environmental monitoring in wireless sensor networks. (Méthodes à noyaux pour le suivi de cibles et la surveillance de l'environnement dans les réseaux de capteurs)
Définition de protocoles rationnels d'identification de loi de comportement élastoplastique :Application à la simulation éléments finis d'opérations industrielles d'emboutissage
Utilisation de l'ingénierie dirigée par les modèles pour l'agrégation continue de données hétérogènes: application à la supervision de réseaux de gaz. (Model-based Interoperability IoT Hub for the aggregation of data from heterogeneous systems: application to the Smart Gas Distribution Networks)
Hypernode graphs for learning from binary relations between sets of objects. (Graphes d'hypernœuds pour l'apprentissage de relations binaires entre ensembles d'objets)
Formalisation des contraintes pragmatiques pour la génération des énoncés en dialogue homme-machine multi-locuteurs. (Formalizing pragmatic constraints for utterance generation in multi-party human-computer dialogue)
Algorithmes parallèles auto-adaptatifs et applications. (Self-adaptive parallel algorithms and applications)
Energy-aware transceiver for energy harvesting wireless sensor networks. (Système de transmission radiofréquence adaptatif en performance et en consommation pour réseaux de capteurs autonomes en énergie)
Solving Jigsaw Puzzles with Deep Learning for Heritage. (Résolution automatique de puzzles par apprentissage profond)
Conception d'un langage dédié à l'analyse et la transformation de programmes. (Design of a programming language dedicated to program analysis and transformation)
Du signal au concept : réseaux de neurones profonds appliqués à la compréhension de la parole. (From signal to concept: Deep neural networks applied to spoken language understanding)
Propriétés optimales de certains estimateurs d'interaction en analyse de variance. (Optimal properties of certain interaction estimators in analysis of variations)
Asynchronous Self-Stabilizing Stable Marriage. (Mariage stable asynchrone et auto-stabilisant)
Scalable and Efficient Data Management in Distributed Clouds: Service Provisioning and Data Processing. (Gestion de données efficace et à grande échelle dans les clouds distribués: Déploiement de services et traitement de données)
Une approche contrôlée du traitement d'exceptions en programmation fonctionnelle. (Acontrolled approach of exception handling in functional programming)
Méthodologie de développement des systèmes d'information personnalisés : Application à un système d'information au service des usagers des transports terrestres de personnes. (Development methodology of the personalized information systems: Application to an information system dedicated to traveller information)
Convolutional operators in the time-frequency domain. (Opérateurs convolutionnels dans le plan temps-fréquence)
BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms. (BSP-Why, a tool for deductive verification of BSP programs : sémantiques mécanisées et application aux algorithmes d'espace d'états distribués)
Modélisation mathématique des propriétés de mélanges : B-splines et optimisation avec conditions de forme. (Mathematical modeling of mixtures properties : B-splines and optimization with shape conditions)
Web services composition in uncertain environments. (Composition des services web dans des environnements incertains)
Convex Optimization for Discrete Graphical Models. (Optimisation convexe pour les modèles graphiques discrets)
Intégration neuro-symbolique et intelligence artificielle: applications et implantation parallèle. (Neuro-symbolic integration and artificial intelligence: applications and parallel implementation)
MULUS : un réseau social distribué pour une consommation sélective de contenus composites. (MULUS :a distributed social network for selective use of composite content )
Numerical Simulation and Uncertainty Quantification for Immersion Cooling of Lithium-ion Batteries. (Simulation Numérique et Quantification d'Incertitudes pour le Refroidissement par Immersion des Batteries Lithium-ion)
Optimisation et métamodélisation de fonctions définies sur des nuages de points. (Optimizing and metamodeling functions defined over clouds of points)
Conception et mise en oeuvre d'une plate-forme de pilotage de simulations numériques parallèles et distribuées. (Design of a Software Environment for the Computational Steering of Parallel and Distributed Numerical Simulations)
Classification des groupes P-oligomorphes, conjectures de Cameron et Macpherson. (Classification of P-oligomorphic groups, conjectures of Cameron and Macpherson)
Représentation d'un environnement par un système multi-capteurs : fusion et interprétation de scène. (Representation of an environment by a multi-sensor system: fusion and scene interpretation)
Modèles neuronaux pour la simplification de parole, application au sous-titrage. (Neural models for speech simplification, application to closed captioning)
A novel method for the Approximation of risk of Blackout in operational conditions. (Une nouvelle méthode pour le rapprochement des risques de "Blackout" dans des conditions opérationnelles)
Contributions to safety assurance of autonomous trains. (Contributions à l'assurance de sécurité des trains autonomes)
Scattering correction in cone beam tomography using continuously thickness-adapted kernels. (Correction du diffusé en tomographie par une méthode de convolution par noyaux continus)
Méthodes de conception intégrée "dimensionnement-gestion" par optimisation d'un microréseau avec stockage. (Optimal sizing coupled with management loop for a microgrid with storage)
Security of communications within the Internet of Things context. (Sécurité des communications dans un contexte Internet des objets)
Fault tolerance in FaaS environments. (La tolérance aux fautes dans les environnements FaaS)
Apprentissage incrémental pour la construction de bases lexicales évolutives : application en désambiguïsation d'entités nommées. (Incremental machine learning for evolving lexical databases construction: Application to named entity disambiguation)
Second-order prediction and residue vector quantization for video compression. (Prédiction de second ordre et résidu par quantification vectorielle pour la compression vidéo)
Méthodes d'Optimisation et de Théorie des Jeux Appliquées aux Systèmes Électriques Décentralisés. (Game theory and Optimization Methods for Decentralized Electric Systems)
Efficient Use of Task-based Parallelism in HPC Parallel Applications. (Exploitation Efficace de l'Asynchronisme de Tâche pour les Applications Parallèles HPC)
Etude des performances spectrometriques des detecteurs gamma CdTe CdZnTe monolithiques. (Study of the spectrometric performances of monolithic CdTe CdZnTe gamma ray detectors)
Pricing design and resource allocation for 5G services. (Tarification et allocation des ressources pour les services 5G)
Automatic testing of Lustre/SCADE programs. (Test automatique de programmes Lustre/SCADE)
Passage à l'échelle pour les contraintes d'ordonnancement multi-ressources. (Scalable multi-dimensional resources scheduling constraints)
Modélisation et optimisation bi-objectif et multi-période avec anticipation d'une place de marché de prospects Internet : adéquation offre/demande. (A bi-objective modeling and optimization of a marketplace of Internet prospects with anticipation aspect : offer/demand adequacy)
New insights into crowd density analysis in video surveillance systems. (Nouvelles méthodes pour l'étude de la densité des foules en vidéo surveillance)
Enhancement of the conceptual aircraft design process through certification constraints management and full mission simulations. (Amélioration du processus de conception avion en prenant en compte les contraintes de certification et des simulations de mission complètes)
Étude ergonomique de contraintes d'expression orales et gestuelles dans un environnement multimodal d'interaction homme-machine. (Ergonomic study of oral and gestural expression constraints in a multimodal human-computer interaction environment)
A micrograin formalism for the rendering of porous materials. (Le formalisme des micrograins pour le rendu de matériaux poreux)
Bandits Multi-bras avec retour d'information non-conventionnelle. (Multi-Armed Bandits with Unconventional Feedback)
Approche stochastique bayésienne de la composition sémantique pour les modules de compréhension automatique de la parole dans les systèmes de dialogue homme-machine. (A Bayesian Approach of Semantic Composition for Spoken Language Understanding Modules in Spoken Dialog Systems)
Ingénierie des Connaissances et Formalisation Sémantique des Relations Symboliques. Des Réseaux Sociaux Médiévaux au Web 3.0. (Knowledge engineering and semantic formalism of symbolic relations. From medieval network to web 3.0)
Learning Situation Models for Providing Context-Aware Services. (Apprentissage des modèles de situations afin de fournir des services sensibles au contexte)
Compositionality as a mechanism of intelligence in brains and machines. (Les Mechanismes de la Compositionnalité dans l'Intelligence Artificielle et Humaine)
Video segmentation and multiple object tracking. (Segmentation vidéo et suivi d'objets multiples)
Contribution à l'algorithmique et à la programmation efficace des nouvelles architectures parallèles comportant des accélérateurs de calcul dans le domaine de la neutronique et de la radioprotection. (Contributions to algorithms and efficient programming of new parallel architectures including computational accelerators in the field of neutron transport and shielding)
Modélisation et résolution du problème de configuration industrielle : utilisation des techniques de satisfaction de contraintes. (Modelling and solving industrial configuration problems using the contraint satisfaction framework)
Detection of contextual anomalies in air traffic data using neural network models. (Détection d'anomalies contextuelles dans les données de transport aérien à l'aide de réseaux de neurones)
Méthodes sémantiques pour la comparaison inter-espèces de voies métaboliques : application au métabolisme des lipides chez l'humain, la souris et la poule. (Semantic methods for the cross-species metabolic pathways comparison : application to human, mice and chicken lipid metabolism)
Numerical modelling of the coupling of thermal and photoelectric effects for the photovoltaic modules under low concentration. (Modélisation numérique du couplage thermique-photoélectrique pour des modules photovoltaïques sous faible concentration)
Efficacité de détoxication de l'aflatoxine B1 et de l'ochratoxine A par un adsorbant organique : Evaluation par la balance d'excrétion et les paramètres toxicocinétiques chez le rat et la brebis laitière
Impact de la formation continue des enseignants des Classes de PremièRes ANNées secondaires de la ville de Bukavu sur l'enseignement de la Structure interne et de la Maintenance des ordinateurs. (Impact of the Continuing Education of teachers of the First Years secondary Classes of Bukavu City on the Teaching of the Internal Structure and Maintenance of Computers)
Exploration des interactions humaines pour la modélisation de l'influence dans les réseaux sociaux. (Exploring human interactions for influence modeling in online social networks)
Performance Analysis of HTTP Adaptive Video Streaming Services in Mobile Networks. (Analyse de Performance des Services de Vidéo Streaming Adaptatif dans les Réseaux Mobiles)
Extraction de relations spatio-temporelles à partir des données environnementales et de la santé. (Spatio-temporal data mining from health and environment data)