yusuke1997/dblp-id-title huggingface dataset:
Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time (Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre)
Apprentissage neuronal de caractéristiques spatio-temporelles pour la classification automatique de séquences vidéo. (Neural-based learning of spatio-temporal features for automatic video sequence classification)
Lexicographie et dictionnaires électroniques. Des usages linguistiques aux bases de données lexicales. (Lexicography and electronic dictionaries. From linguistic uses to lexical data bases)
Une approche hiérarchique de la segmentation du signal de parole. (A hierarchical approach of speech signal segmentation)
Metric learning for instance and category-level visual representation. (Apprentissage métrique pour la représentation visuelle au niveau des instances et des catégories)
Intégration de l'interaction au regard dans des systèmes optroniques : évaluation de l'influence du contexte. (Integration of eye-gaze based interaction in optronic systems : evaluating the context)
Extension et interrogation de résumés de flux de données. (Extending and querying data stream's summaries)
Figuras de la poética de Carlos Liscano : cuando la literatura es el surco del delirio : ficción, autoficción, testimonio. (Poetic figures in Carlos Liscano's writing : when litterature is the furrow of delirium : fiction, autofiction, testimony / Figures de la poétique de Carlos Liscano : quand la littérature devient le sillon du délire : fiction, autofiction, témoignage)
Réseaux de points flexibles pour modulations et codages à hautes efficacités spectrales. (On lattice coding for point-to-point communications over awgn and fading channels: design and implementation)
Intelligent routing protocols in Vehicular Ad hoc Networks. (Protocoles de routage intelligents dans les réseaux véhiculaires sans fils)
Application of Relay Coding in Wi-Fi for 802.11s Standardization. (Application des Codes Relais au Wi-Fi en vue de la Standardisation IEEE 802.11s)
Poppy: open-source, 3D printed and fully-modular robotic platform for science, art and education. (Poppy: plate-forme robotique open source, imprimée en 3D et totalement modulaire pour l'experimentation scientifique, artistique et pédagogique)
Un lambda calcul intuitioniste avec exceptions. (an intuitionistic lambda calculus with exceptions)
Vers une représentation sensible du vent à l'aide d'un environnement virtuel. (Towards a Sensitive Representation of Wind with a Virtual Environment)
A realistic named data networking architecture for the Internet of things. (Une Architecture NDN realiste pour l'Internet des Objets)
Specifying and verifying high-level requirements on large programs : application to security of C programs. (Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C)
Contribution à l'éLaboration d'une Q-matrice pour l'améLioration de l'apprentissage en contexte d'approche par CoMPéTence. (Contribution to the Design of a Q-Matrix for Improving Learning in the Context of a Competency-based Approach)
Approximation de relations de transition : application à la vérification de systèmes infinis
Le problème de jobshop avec contraintes: modélisation et optimisation. (The jobshop problem with constraints : its modelling and optimisation)
Développements combinatoires autour des tableaux et des nombres eulériens. (Combinatorial developments on tableaux and eulerian numbers)
Improving quality of experience in multimedia streaming by leveraging Information-Centric Networking. (Améliorer la qualité d'expérience du streaming multimédia en tirant parti des réseaux centrés sur l'information)
Méthodes de rendu à base de vidéos et applications à la réalité Virtuelle. (Video-Based Rendering and Virtual Reality)
Optimizing multi-trait selection index in maize breeding with advanced machine learning and robust uncertainty analysis. (Optimisation de l'indice de sélection multi-caractères dans la sélection du maïs grâce à l'apprentissage automatique avancé et à l'analyse robuste de l'incertitude)
Un environnement et un langage graphique pour la spécification de processus parallèles communicants. (An environment and a graphical language for the specification of communicating parellel processes)
Méthode d'évaluation de l'alignement stratégique des sites web : application au domaine universitaire. (Evaluation Methodology of the strategic alignment of websites : applied to the university field)
Réalisation d'un interprète complet du langage APL sur un mini ordinateur
Deep Neural Networks for the segmentation and classification in Medical Imaging. (Apprentissage en profondeur d'un réseau de neurones pour la segmentation et la classification en Imagerie Médicale)
Détection d'anomalies dans les séries temporelles : application aux masses de données sur les pneumatiques. (Outlier detection for time series data : application to tyre data)
Techniques de multiplexage spatial avec voie de retour limitée pour les systèmes multi-antennes multi-utilisateurs. (Spatial Multiplexing Techniques for Multiuser MIMO Systems with a Limited Rate Feedback Channel)
Delegation and Tracing for Attribute-Based Cryptography. (Délégation et Traçage pour la Cryptographie à Base d'Attributs)
Approches neuromimétiques pour la localisation de sources acoustiques
Probabilistic Modeling for Novelty Detection with Applications to Fraud Identification. (Modélisation probabiliste pour la détection de nouveauté appliquée à l'identification de fraudes)
Constraint Programming Models for Conceptual Clustering: Application to an ERP Configuration Problem. (Modèles de programmation par contraintes pour le clustering conceptuel: application à un problème de configuration d'ERP)
Nouvelles méthodes pour l'évaluation, l'évolution et l'interrogation des bases du Web des données. (New methods to evaluate, check and query the Web of data)
Agnostic Feature Selection. (Sélection d'attributs agnostique)
Utilisation des réseaux de capteurs de canne pour les applications de surveillance de personnes. (Using cane sensor networks for people monitoring applications)
Interaction intelligente par coordination sans communication préalable entre des agents logiciels et des êtres humains dans le cadre de tâches complexes impliquant une criticité des situations. (Intelligent interaction through coordination without prior communication between software agents and human beings in complex tasks involving criticality of situations)
Deep convolutional neural networks for scene understanding and motion planning for self-driving vehicles. (Réseaux de neurones profonds pour la compréhension de scène et la planification de trajectoire pour les véhicules autonomes)
Bi-lateral interaction between a humanoid robot and a human in mixed reality. (Interaction bi latérale entre un robot humanoïde et un humain assistée par la réalité mixte)
Mesh adaptation for elliptic equations on quadtree/octree grids. (Adaptation de maillage pour la résolution d'équations elliptiques appliquée aux structures quadtree/octree)
Planification de trajectoire dans un environnement peu contraint et fortement dynamique. (Trajectory planning in a highly dynamic environment with low constrains)
Algorithmes de structuration et de collecte de donnés électriques, application à la détection du vol d'électricité sur le réseau de la SNE. (Algorithms for structuring and collecting electrical data, application to the detection of electricity theft on the SNE network)
Extraction de Motifs Communs dans un Ensemble de Séquences.Application à l'identification de sites de liaison aux protéines dans les séquences primaires d'ADN. (Pattern Extraction from a Set of Sequences.An application to proteins binding sites identification in DNA primary sequences)
On QoS Management in NFV-enabled IoT Platforms. (Sur la gestion de la QoS dans les plateformes IoT compatibles NFV)
Etude et implantation d'algorithmes pour le placement et l'ordonnancement d'applications Dataflow. (Study and implementation of algorithms for the mapping and scheduling of dataflow applications)
Mechanistic insights into vaccine-induced innate immune responses from integrating prior knowledge and experimental data with Boolean models. (Perspectives mécanistiques sur les réponses immunitaires innées induites par les vaccins issues de l'intégration de connaissances antérieures et de données expérimentales avec des modèles booléens)
Modélisation du dépôt des lipides et acides gras chez le porc en croissance. (Modelling lipid and fatty acids deposition in growing pigs)
Contribution à l'évaluation d'attributs et l'optimisation mémoire sur machines multiprocesseurs. (Contribution to Attribute grammar evaluation and to memory optimization on multiprocessor architectures)
Indexation et comparaison d'une grande quantité de données génomiques à l'aide d'algorithmes pour le traitement d'images. (Indexation and comparison of large volumes of genomic data based on image processing and analy-sis algorithms)
Application des codes cycliques tordus. (Application of skew cyclic codes)
Un modèle spatio-temporel hybride de SIG temporel: application à la géomorphologie marine. (Spatio-temporal hybrid model for temporal GIS: Application to marine geomorphology)
GENOME: un Modèle pour la Simulation d'Émergence de Structures d'Objets. (GENOME: a Model for Simulating the Emergence of Object Structures)
Asymptotically exact data augmentation - Models and Monte Carlo sampling with applications to Bayesian inference. (Augmentation de modèles approchée : Modèles et échantillonnage Monte Carlo avec applications à l'inférence Bayésienne)
Distributed Source Coding: Tools and application to video compression. (Codage de sources distribuées : outils et applications à la compression vidéo)
Approximation de superchaîne, indexation et assemblage de génome. (Approximation of superstring, indexation and genome assembly)
Development of a robotic system for CubeSat Attitude Determination and Control System ground tests. (Développement d'un système robotique pour des essais au sol du système de contrôle d'attitude et d'orbite d'un CubeSat)
Epidemic Event Extraction in Multilingual and Low-resource Settings. (Extraction d'événements épidémiologiques dans un contexte multilingue et peu doté)
Attitude estimation & control of autonomous aerial vehicles. (Contributions à l'estimation et à la commande d'attitude de véhicules aériens autonomes)
Analyse de Programmes Malveillants par Abstraction de Comportements. (Analysis of Malware by Behavior Abstraction)
Models and Methods for Network Function Virtualization (NFV) Architectures. (Modèles et méthodes d'optimisation pour architecture NFV (Network Function Virtualization))
Stochastic Coded Caching Networks : a Study of Cache-Load Imbalance and Random User Activity. (Réseaux de mise en cache codés stochastiques : une étude du déséquilibre de la charge du cache et de l'activité aléatoire des utilisateurs)
Contribution à la modélisation des applications temps réel d'aide à la conduite. (Contribution to the modelling of real time advanced assistance systems)
From 2D to Stereoscopic-3D Visual Saliency: Revisiting Psychophysical Methods and Computational Modeling. (Saillance Visuelle, de la 2D à la 3D Stéréoscopique : Examen des Méthodes Psychophysique et Modélisation Computationnelle)
Évaluation en extraction de lexiques bilingues à partir de corpus comparables. (Evaluating bilingual lexicon induction using comparable corpora)
Amélioration de la flexibilité dans les bases d'objets flous : expérimentation dans le cadre du logiciel FIRMS. (Flexibility amelioration of fuzzy objects databases : experimentation results of firms system)
Contribution à la conception d'un système de mobilité urbaine durable : de l'élicitation des connaissances à l'architecture distribuée du système. (Contribution to the design of a sustainable urban mobility system : from the elicitation of knowledge to the distributed architecture of the system)
Conception et évaluation des systèmes logiciels de classifications de paquets haute-performance. (Design and evaluation of high performance software based packet classification systems)
Optimal transport for graph representation learning. (Transport optimal pour l'apprentissage de représentation de graphes)
La maquette numérique comme support pour la recherche visuelle d'informations patrimoniales : définition d'une approche pour la sémantisation de sources iconographiques par référencement spatial. (The digital model as a support for the visual search for heritage information : an approach for the semantic enrichment of iconographic sources by spatial referencing)
Parcellisation de la surface corticale basée sur la connectivité : vers une exploration multimodale. (Connectivity-based structural parcellation : toward multimodal analysis)
Type-based static analysis of structural properties in programming languages. (Analyse statique typée des propriétés structurelles des programmes)
Optimisation du Codec VVC basé sur la Réduction de Complexité et le Traitement Parallèle. (VVC Codec Optimization through Complexity Reduction and Parallel Processing)
Évaluation de la bande passante disponible et traitement du partage dans les réseaux sans fil multisauts basés sur le standard IEEE 802.11 DCF. (Performance evaluation and improvement of IEEE 802.11 in multihop wireless networks)
Sur une méthode de routage des messages dans les architectures parallèles à mémoire distribuée : application à la grille torique. (On a Message Routing method in Distributed Memory Parallel Architecturs : Application to the Torus Network)
Approche MDA pour automatiser la Generation de Code natif pour les Applications mobiles multiplateformes. (MDA Approach for Automating the Native Code Generation for Multi-Plateform Mobile Applications)
Resource Allocation in Vehicular Fog Computing for an Optimal Use of EVs Electric Vehicles Energy. (Allocation des ressources dans l'informatique en brouillard le calcul du brouillard véhiculaire pour une utilisation optimale des véhicules électriques)
Coloriage du plan discret par jeux de tuiles déterministes. (Coloring the discrete plane using deterministic tilesets)
Decoding Algorithms for Lattices. (Algorithmes de décodage pour les réseaux de points)
Machine Learning for the real time detection and prediction of atmospheric turbulence on board of the aircraft. (Application des techniques d'apprentissage automatique pour la détection et la prédiction de turbulence d'aéronefs en vol)
Multi-user Interference Mitigation in Visible-Light Communication Networks. (Réduction d'Interférences Multi-Utilisateurs dans les Réseaux de Communication par la Lumière Visible)
Une approche combinatoire novatrice fondée sur les matroïdes orientés pour la caractérisation de la morphologie 3D des structures anatomiques. (A new combinatorial method based on oriented matroids for 3D landmark based morphometry)
Robust control of fed-batch cultures of Escherichia coli. (Commande robuste de cultures fed-batch de Escherichia coli)
Sequential/parallel reusability study on solving Hamilton-Jacobi-Bellman equations. (Etude de la réutilisabilité séquentielle/parallèle pour la résolution des équations Hamilton-Jacobi-Bellman)
Usage-driven unified model for user profile and data source profile extraction. (Model unifié dérigé par l'usage pour l'extraction du profile de l'utilisateur et de la source de donnée)
Colorations de graphes sous contraintes. (Graph coloring under constraints)
Un modèle et un mécanisme d'exécution pour les bases de données actives
Méthodes d'apprentissage interactif pour la classification des messages courts. (Interactive learning methods for short text classification)
Evaluation ergonomique de produits et services : le cas du web marchand. (Ergonomic Evaluation of Products and Services: the E-Commerce Example)
Workspace Estimation and Design Optimization of Soft Robots. (Estimation de l'Espace de Travail et l'Optimisation de la Conception des Robots Déformables)
Exploitation d'une information multiéclairages pour une approche générique de l'inspection automatique de la qualité visuelle des produits en industrie. (Exploitation of a multilighting information for a generic approach of industrial automated visual quality control)
L'autopromotion, une piste pour l'innovation architecturale, environnementale et urbaine. (The "self promotion", a path for architectural")
Objective and subjective quality assessment of 360-degree images. (Évaluation objective et subjective de la qualité des images à 360 degrés / Objektiv og subjektiv kvalitetsvurdering av 360-graders bilder)
Using Hierarchical Skills for Optimized Task Selection in Crowdsourcing. (Utiliser les compétences hiérarchiques pour optimiser la sélection des tâches dans le crowdsourcing)
Vers les réseaux véhiculaires (VANET) programmables grâce à la technologie SDN (Software Defined network). (Towards vehicular networks (VANET) programmable thanks to SDN technology (Software Defined network))
Une technique de relaxation pour la mise en correspondance d'images: Application à la reconnaissance d'objets et au suivi du visage. (A relaxation method for matching images with local invariant features : Application to object recognition and face tracking)
A Foundation For Binary Morphological Neural Networks. (Un Fondement Pour Des Réseaux Neuronaux Morphologiques Binaires)
Construction Incrémentale de Spécifications de Systèmes Critiques intégrant des Procédures de Vérification. (Incremental Construction of Specifications of Critical Systems integrating Verification Procedures)
Towards Creating Context-Aware Dynamically-Adaptable Business Processes Using Complex Event Processing
Mixed sequence-structure based analysis of proteins, with applications to functional annotations. (Analyse mixte de protéines basée sur la séquence et la structure - applications à l'annotation fonctionnelle)
Design and Optimization of Reconfigurable Architectures: The FPGA Family. (Conception et optimisation d'architectures reconfigurables de type FPGA)
Partitioning semantics forentity resolution and linkrepairs in bibliographicknowledge bases
Multiple-objectives architecture optimization by composition of model transformations. (Optimisation multi-objectifs d'architectures par composition de transformation de modèles)
Construction automatique de figures géometriques et programmation logique avec contraintes. (Automated construction of geometric figures)
Evolution des concentrations en caroténoïdes du plasma et du lait chez la vache laitière : effets de l'alimentation et du stade de lactation
Reification of visual properties for composition tasks. (Réification des propriétés visuelles pour les tâches de composition)
Contributions to handwriting recognition using deep neural networks and quantum computing. (Contributions à la reconnaissance de l'écriture manuscrite en utilisant des réseaux de neurones profonds et le calcul quantique)
Structural and computational complexity of tilings and cellular automata. (Complexité structurelle et algorithmique des pavages et des automates cellulaires)
Reconnaissance de mots manuscrits cursifs par modèles de Markov cachés en contexte : application au français, à l'anglais et à l'arabe. (Handwritten word recognition with context-dependent Hidden Markov Models: application to French, English and Arabic handwriting)
Adaptive selection of radio access technology for the data transport depending on context. (Sélection adaptative de la technologie réseau pour le transport de données dépendant du contexte)
Extensions and Applications of Graph Neural Networks. (Extensions et applications des réseaux de neurones de graphes)
Modalités de collaboration à distance pour soutenir la conscience mutuelledans un contexte d'opération monopilote. (Remote Collaboration Modalities to Support Mutual Awareness in a single-Pilot Operation Context)
Sequential Detection and Isolation of Cyber-physical Attacks on SCADA Systems. (Détection et localisation séquentielle d'attaques cyber-physiques aux systèmes SCADA)
Détection d'erreurs transitoires survenant dans des architectures digitales par une approche logicielle : principes et résultats expérimentaux. (A Software Approach for the Detection of Transient Errors Occurring in Processor-based Digital Architectures: Principles and Experimental Results)
Machine Translation of User-Generated Contents: an Evaluation of Neural Translation Systems under Zero-shot Conditions. (Traduction Automatique de Contenus Générés par l'Utilisateur: une Évaluation des Systèmes de Traduction Neuronaux dans des Conditions Zero-shot)
Video inpainting and semi-supervised object removal. (Inpainting de vidéos et suppression d'objets semi-supervisée)
Génération automatique de sujets d'évaluation individuels en contexte universitaire. (Automatic generation of individual and fair assessments in higher education)
Integrating cognitive models of human decision-making in agent-based models : an application to land use planning under climate change in the Mekong river delta. (Intégration de modèles cognitifs de la prise de décision humaine dans les modèles à base d'agent : application à la planification de l'utilisation du sol dans le Delta du Mékong en tenant compte du changement climatique)
Comment évaluer le potentiel d'une solution numérique face à l'urgence écologique ? Application aux plateformes de covoiturage régulier à l'échelle locale. (Assessing the potential of a digital Solution in the context of ecological urgency : application to regular carpooling platforms at local scale)
Transferts d'apparence en espace image basés sur des propriétés texturelles. (Image-space appearance transfers based on textural properties)
Étude de l'effet de synchronie pour la conception d'IHM adaptatives : Effet sur la vigilance, la charge mentale, la conscience de la situation et les performances. (A study on synchrony effects for adaptive HMI design : Effect on alertness, mental workload, situation awareness and performances)
Classification des logiciels malveillants basée sur le comportement à l'aide de l'apprentissage automatique en ligne. (Behavior based malware classification using online machine learning)
Kernel nonnegative matrix factorization : application to hyperspectral imagery. (Factorisation en matrices non négatives à noyaux : application à l'imagerie hyperspectrale)
Testing concurrent systems through event structures. (Test de systèmes concurrents à l'aide de structures d'événements)
Aspects de la réalisation d'un système APL optimisé
Quelques applications de l'optimisation numérique aux problèmes d'inférence et d'apprentissage. (Few applications of numerical optimization in inference and learning)
Temporal point processes and scalable convolutional dictionary learning : a unified framework for m/eeg signal analysis in neuroscience. (Processus ponctuels temporels et apprentissage scalable de dictionnaires convolutionnels : un cadre unifié pour l'analyse des signaux m/eeg en neurosciences)
Compilation of real-time audio DSP on FPGA. (Compilation de DSP audio temps réel sur FPGA)
Designing and evaluating anonymization techniques for images and relational data streams via Machine Learning approaches at BMW Group. (Conception et évaluation de techniques d'anonymisation des images et des flux de données relationnels via des approches d'apprentissage automatique à BMW Group)
Differentially Private Federated Learning for Bandwidth and Energy Constrained Environments. (Apprentissage fédéré avec confidentialité différentielle pour les environnements contraints en bande passante et énergie)
Τraitement d'image pοur la valοrisatiοn et l'accessibilité des οeuvres muséales. (Image processing for the valorisation and accessibility of museum works)
Contribution à la définition et à la mise en oeuvre d'un dialogue adaptatif pour la CAO. (Propositions for defining and designing adaptative dialog for CAD)
Système Interactif d'Aide au Déplacement Multimodal (SIADM). (Interactive system of Help in Multimodal travels)
Scalability of public geo-distributed fog computing federations. (Scalabilité des fédérations de fog computing publiques géo-distribuées)