yusuke1997/dblp-id-title huggingface dataset:
Composition de polyèdres associés aux problèmes d'optimisation combinatoire. (Composition of polyhedra and their relation to some combinatorial optimization problems)
Efficient Stream Analysis and its Application to Big Data Processing. (Analyse efficace de flux de données et applications au traitement des grandes masses de données)
Caractérisation électrique des tissus biologiques et calcul des phénomènes induits dans le corps humain par des champs électromagnétiques de fréquence inférieure au GHz. (Electrical characterisation of biological tissues and computing of phenomena induced in the human body by electromagnetic fields below 1 GHz)
Modélisation 3D du canal de propagation massive MIMO en environnement outdoor. (3D Massive MIMO propagation channel modelling and characterization in outdoor environment)
Modeling and Optimization of Biomass Supply Chains for Several Bio-refineries. (Modélisation et optimisation de l'approvisionnement en biomasse de plusieurs bio-raffineries)
Vérification des systèmes multi-agents comportementalistes par le moyen des simulations formellement guidées. (Verification of behaviourist multi-agent systems by means of formally guided simulations)
Contribution to the realization of an Emotion Recognition System : multilingual case. (Contribution à la réalisation d'un système de reconnaissance des émotions : cas multilingue)
Identification de motifs dans les réseaux métaboliques. (Motif identification in metabolic networks)
Practical watermarking for multimedia traitor tracing. (Filigrane pratique pour la recherche de trafiquants multimédias)
A Modelling-Based Sustainability Assessment in Manufacturing Organizations. (Une évaluation de la durabilité basée sur la modélisation dans les organisations manufacturières)
Inverse problems in networks (Problèmes inverses dans les réseaux)
Designing Persuasive Interactive Systems : Energy as case study. (Conception de systèmes interactifs persuasifs : application au domaine de l'énergie)
Optimal resource allocation strategies for electric vehicles in smart grids. (Stratégies optimales d'allocation des ressources pour véhicules électriques dans les réseaux intelligents)
Metrics and non-intrusive techniques to characterize Wi-Fi networks. (Techniques et métriques non intrusives pour caractériser les réseaux Wi-Fi)
Un programme qui vérifie des identités en utilisant le raisonnement par récurrence. (A program that verifies identities using recurrence reasoning)
Contributions to the Information Fusion : application to Obstacle Recognition in Visible and Infrared Images. (Contributions à la fusion des informations : application à la reconnaissance des obstacles dans les images visible et infrarouge)
Métaheuristiques pour l'optimisation en variables continues : application au développement d'un moteur de calcul pour la mesure de mouvements orthodontiques. (Metaheuristics for optimization in continuous variables: application to the development of a calculation engine for the measurement of orthodontic movements)
Interface cerveau-machine hybride pour pallier le handicap causé par la myopathie de Duchenne. (Hybrid brain-machine interface to palliate handicap caused by Duchenne muscular dystrophy)
Analyse, caractérisation et classification de signaux foetaux. (Analysis, characterization and classification of fetal signals)
Development and Application of Information Theoretical Bounds to Certain Class of Coordination Problems. (Développement et application des bornes issues de la théorie de l'information à certains types de problèmes de coordination)
Interaction substrates and instruments for interaction histories. (Substrats et instruments interactifs pour les historiques de l'interaction)
Optimisation de la consommation d'énergie des systèmes mobiles par l'analyse des besoins de l'utilisateur. (Energy consumption optimization in mobile systems by user needs analysis)
CONGRES : un système informatique pour la tenue des réunions à travers un réseau d'ordinateurs
Un environnement pour le tracé de rayons utilisant une modélisation par arbre de construction. (An environment for ray tracing using CSG modelling)
Multicriteria wab-based decision support system for resource allocation in Brazilian public Universities. (Système d'aide à la décision multicritère orienté Web pour la répartition des ressources des Universités publiques Brésiliennes)
Combinatoire and Bio-informatique : Comparaison de structures d'ARN et calcul de distances intergénomiques. (Combinatorics and Bioinformatic : RNA structure comparison and intergenomic distance computation)
Biomarker estimation from medical images: segmentation-based and segmentation-free approaches. (Estimation des biomarqueurs à partir d'images médicales: approches basées sur la segmentation et sans segmentation)
Agrégation de classements avec égalités : algorithmes, guides à l'utilisateur et applications aux données biologiques. (Rank aggregation with ties : algorithms, user guidance et applications to biologicals data)
Automatic algorithm multi-configuration for combinatorial optimization. (Multi-configuration automatique d'algorithmes pour l'optimisation combinatoire)
Distributed methods for resource allocation : a passivity based approach. (Métodos distribuidos para asignación de recursos : un enfoque basado en pasividad / Méthodes distribuées pour l'allocation de ressources : une approche basée sur la passivité)
Descriptive and explanatory tools for human movement and state estimation in humanoid robotics. (Elements d'analyse et de description du mouvement humain et estimation d'état d'un robot humanoïde)
Analyse multirésolution pour la recherche et l'indexation d'images par le contenu dans les bases de données images - Application à la base d'images paléontologique Trans'Tyfipal. (Multiresolution analysis for content-based image indexing and retrieval in images databases - Application to the paleontological images database Trans'Tyfipal)
Stability analysis of linear ODE-PDE interconnected systems. (Analyse de stabilité de systèmes linéaires EDO-EDP interconnectés)
Morphométrie de structures cellulaires biologiques partiellement observées par imagerie 3D. (Morphometry of biological cellular structures partially observed by 3D imagery)
Approche pour le développement de logiciels intégrant des concepts de qualité de service. (A step-wise approach for integrating QoS throughout software development process)
Efficient Code Generation for Hardware Accelerators by Refining Partially Specified Implementations. (Génération de code efficace pour accélérateurs matériels par raffinement d'implémentations partiellement spécifiées)
Vers des interfaces cérébrales adaptées aux utilisateurs : interaction robuste et apprentissage statistique basé sur la géométrie riemannienne. (Toward user-adapted brain computer interfaces : robust interaction and machine learning based on riemannian geometry)
Human activity recognition in smart homes : tackling data variability using context-dependent deep learning, transfer learning and data synthesis. (Reconnaissance de l'activité humaine dans les maisons intelligentes : traitement de la variabilité des données grâce à l'apprentissage contextuel, au transfert de connaissance et synthèse de données)
Simulation des circuits électroniques RF/Analogiques/Numériques excités par des signaux à modulation complexe
La notion d'intentionnalité dans la spécification de comportements d'agents autonomes situés en environnement virtuel. (Considering intentionality in the specification of behavios of autonomous agents situated in a virtual environment)
Continuous reductions on the Scott domain and decomposability conjecture. (Réductions continues sur le domaine de Scott et conjecture de la décomposabilité)
Apprendre à un robot à reconnaître des objets visuels nouveaux et à les associer à des mots nouveaux : le rôle de l'interface
Effects of repeated osmotic stress on gene expression and growth: from cell-to-cell variability to cellular individuality in the budding yeast Saccharomyces cerevisiae. (Les effets du stress osmotique répété sur l'expression génétique et la prolifération : de la variabilité entre cellules à l'individualité cellulaire dans la levure bourgeonnante Saccharomyces cerevisiae)
Génération procédurale et rendu en temps réel de motifs structurés. (Procedural generation and real-time rendering of structured patterns)
Influence des incertitudes sur l'optimisation technico-économique de systèmes énergétiques hybrides. (Impact of uncertainties on the techno-economic optimization of hybrid energy systems)
Architecture de sécurité dynamique pour systèmes multiprocesseurs intégrés sur puce. (Dynamic security architecture for multiprocessors Systems-on-Chip)
Conception d'un récepteur AIS détectant les falsifications de messages : développement de stratégies et prototypage sur FPGA. (Design of an AIS receiver detecting messages falsifications : strategies development and FPGA prototyping)
Neural Transfer Learning for Domain Adaptation in Natural Language Processing. (Apprentissage par transfert neuronal pour l'adaptation aux domaines en traitement automatique de la langue)
Concevoir avec des technologies émergentes pour la construction conjointe des pratiques et des artefacts : apports d'une méthodologie participative à l'innovation technologique et pédagogique. (Designing with emerging technologies for the joint definition of artifacts and of professional practices : benefits of participatory methods for technological and pedagogical innovation)
Étude des contraintes contextuelles pour la reconnaissance automatique de la parole. (Study of contextual constraints for automatic speech recognition)
Les représentations par les frontières: quelques constructions ; difficultés rencontrées
Prédiction des parcours sous l'angle médico-économique: Une approche basée sur l'intelligence artificielle. (Prediction of pathways from a medico-economic perspective: An approach based on artificial intelligence)
Optimization of information flows in telecommunication networks. (Optimisation de flots d'information dans les réseaux de télécommunications)
Approches distribuées et adaptatives pour la gestion de l'énergie. (Distributed and adaptative approaches for energy management)
L'apprentissage par modélisation, simulation et prototypage avec une imprimante 3D, dans l'enseignement Technique et professionnel au Gabon. (Learning by modeling, simulation and prototyping with a 3D printer, in Technical and vocational education in Gabon)
Methodologies for Reproducible Analysis of Workflows on the Edge-to-Cloud Continuum. (Méthodologies pour l'Analyse Reproductible des Workflows Edge-to-Cloud)
Real-time image-based RGB-D camera motion tracking and environment mapping. (Suivi de caméra image en temps réel base et cartographie de l'environnement)
Ontogenèse des neurones à kisspeptine chez le rat : neurogenèse et cartographie spatio-temporelle de kisspeptine de l'embryogenèse à l'âge adulte
Designing cross-domain semantic Web of things applications. (Concevoir des applications internet des objets sémantiques)
Activations musculaires et mouvements linguaux : modélisation en parole naturelle et pathologique. (Muscle activations and lingual movements: Modelling of natural and pathological speech)
Architecture d'entreprise : alignement des cartographies métiers et applicatives du système d'information. (Enterprise Architecture: Business-IT alignment)
Analyse de signaux sociaux multimodaux: application à la synthèse d'attitudes sociales chez un agent conversationnel animé. (Multimodal analysis and recognition of social signals: application to social stance generation in virtual agents)
Pour une meilleure approche du management des risques : de la modélisation ontologique du processus accidentel au système interactif d'aide à la décision. (Towards a better approach of risk mangement : from the ontological modelling of the accidental process to the interactive decision-making system)
Représentation compacte d'ensemble de solutions pour l'ordonnancement sous incertitude. (Compact representation of sets of solutions for scheduling under uncertainty)
Optimization of Retailers' Strategies in Price- and Carbon Emission- Sensitive Market. (Optimisation des stratégies des détaillants sur un marché sensible aux prix et aux émissions de carbone)
Méthodes et modèles pour la visualisation de grandes masses de données multidimensionnelles nominatives dynamiques. (Methods and model for huge amount of nominative multidimendionnal dynamic data visualization)
Estimation algorithms for ambiguous visual models : Three Dimensional Human Modeling and Motion Reconstruction in Monocular Video Sequences. (Algorithmes d'estimation pour des modèles visuels ambigus : Modélisation Humaine Tridimensionnelle et Reconstruction du Mouvement dans des Séquences Vidéo Monoculaires)
Using Appearance to Efficiently Render and Edit Captured Scenes. (Utilisation de l'Apparence pour le Rendu et l'édition efficaces de scènes capturées)
Mathematical modeling of tumor-immune system interactions: equilibrium and escape phase. (Modélisation mathématique des interactions tumeurs-système immunitaire: phase d'équilibre et d'échappement)
Predicative Analysis for Information Extraction: application to the biology domain. (Analyse prédicative pour l'extraction d'information : application au domaine de la biologie)
I²PHEN : une nouvelle plateforme de télésurveillance médicale basée sur l'Internet des Objets. (I²PHEN : a new medical remote monitoring platform based on the Internet of Things)
Hyperplans arithmétiques : connexité, reconnaissance & transformations. (Arithmetical hyperplanes : connexity, recognition & transformations)
Utilisation du chaos pour améliorer l'estimation du temps d'arrivée dans le cas multi-utilisateur : application à un système de télémétrie de type UWB. (Using chaos to enhance multiuser time-of-arrival estimation: Application to UWB ranging systems)
A dynamical analysis of infinitely wide neural networks. (Analyse dynamique des réseaux de neurones de largeur infinie)
Modélisation déterministe d'états de mer à grande échelle en profondeur variable. ( Numerical and deterministic modeling of wave propagation at large scale over a variable bathymetry)
Binary Analysis for Linux and IoT Malware. (Analyse binaire des logiciels malveillants pour Linux et IoT)
Caractérisation, prévision et ordonnancement de workload dans un datacenter vert. (Characterization, prevision and scheduling of workload for green datacenter)
Alignment and fusion of heterogeneous multimodal geospatial maps. (Alignement et fusion de cartes géospatiales multimodales hétérogènes)
Parametric sensitivity for analysis of dc networks. (Sensibilité Paramétrique pour l'Analyse Dynamique des Réseaux à Courant Continu)
Détection et analyse des signaux faibles. Développement d'un framework d'investigation numérique pour un service caché Lanceurs d'alerte. (Detection and analysis of weak signals. Development of a digital investigation framework for a hidden whistleblower service)
Interaction and introspection with tangible augmented objects. (Intéraction et introspection avec des objets tangibles augmentés)
Formalisme pragmatiste pour le développement de schèmes cognitifs en robotique autonome. (Pragmatist formalism for the development of cognitive schemes in autonomous robotic)
Synthèse d'οbservateurs pοur des classes de systèmes nοn linéaires avec des sοrties échantillοnnées et retardées. (Observer designs for a class of nonlinear systems with delayed sampled outputs)
Exploration implicite et explicite de l'espace d''etats atteignables de circuits logiques Esterel
Formalisation et garantie de propriétés de sécurité système : application à la détection d'intrusions. (Formalization and guaranty of system security properties : application to the detection of intrusions)
Preuves par récurrence avec ensembles couvrants contextuels. Application à la vérification de logiciels de télécommunications
Une approche formelle pour la spécification et la vérification des systèmes temps-réel. (A formal approach for the specification and the verification of real-time systems)
Evaluation qualitative et quantitative de scénarios d'évolution de l'organisation et de son système d'information. (Qualitative and quantitative evaluation of organsation and information evolution)
Frequency-domain quantum information processing with multimode quantum states of light from integrated sources at telecom wavelengths. (Traitement quantique de l'information dans le domaine des fréquences d'états photoniques quantiques multimodes générés par des sources intégrées aux longueurs d'ondes télécom)
Nouvelles approches informatiques et mathématiques pour la résolution de problèmes biologiques. (New computational and mathematical approaches for solving biological problems)
Un micromonde de géométrie, Cabri-géomètre. (A microworld for geometry, Cabri-Geometre)
Modèles de production de parole et reconnaissance à partir d'automates
Hardware support for the security analysis of embedded software: applications on information flow control and malware analysis. (Support matériel pour l'analyse de sécurité du comportement des applications: application au contrôle de flux d'information et à l'analyse des logiciels malveillants)
Génération de MNT d'une zone montagneuse par radargrammétrie et approche multi-échelle. (DEM generation of montains area by using radargrammetric processing and multiwindows approach)
Analyse acoustique de la voix pour la détection des émotions du locuteur. (Detection and analysis of human emotions through voice)
On automata networks dynamics : an approach based on computational complexity theory. (Sur la dynamique des réseaux d'automates: une approche basée sur la théorie de la complexité informatique)
Information diffusion, information and knowledge extraction from social networks. (Diffusion d'information, extraction d'information et de connaissance sans les réseaux sociaux)
Temps et durée: de la programmation réactive synchrone à la composition musicale. (Time and duration: from synchronous reactive programming to music composition)
Modélisation thermique de la dégradation d'un matériau composite soumis au feu. (Thermal Modelling of Decomposing Composite Materials Submitted to Fire)
A closed loop framework of decision-making and learning in primate prefrontal circuits using Computational Modeling and Virtual Experimentation. (Un cadre en boucle fermée sur la prise de décision et l'apprentissage dans lescircuits préfrontaux des primates, par modélisation computationnelle et expérimentationvirtuelle)
Algorithmique discrète et réseaux d'automates. (Discrete algorithms and automata networks)
Contribution à l'élaboration d'ordonnanceurs de processus légers performants et portables pour architectures multiprocesseurs. (Contribution to the design of portable and efficient threads schedulers for multiprocessors architectures)
From microarray data acquisition to their interpretation: the importance of raw dataprocessing. (De l'Acquisition des Données de Puces à ADN vers leur Interprétation : Importance du Traitement des Données Primaires)
Métodos de Multiresolución y su Aplicación a un Modelo de Ingeniería. (Multiresolution methods and its application to an engineering model)
Détection d'anomalies dans les flux de données pour une application dans les réseaux de capteurs. (Outlier detection in data streams with application to wireless sensor networks)
Modélisation sémantique conceptuelle pour l'ingénierie de performances comportementales de produits complexes. (Conceptual semantic modeling for complex product behavioral performance engineering)
Exploiting Model Transformation Examples for Easy Model Transformation Handling (Learning and Recovery). (Vers une assistance à la manipulation de transformations de modèles par l'exploitation d'exemples de transformation)
Evolution Structurelle dans les Architectures Logicielles à base de Composants. (Structural Evolution in Component-based Software Evolution)
Open data and environment simulation : environmental and social simulation on distributed process systems based on irregular cell space. (Données ouvertes et simulation environnementale : simulation environnementale et sociale sur des systèmes de processus distribués basés sur un espace cellulaire irrégulier)
Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript. (Extending interpreters by diverting, or how to extend interpreters without modifying their source code)
Production planning for industrial symbiosis. (Planification de la production pour la symbiose industrielle)
Set Intervals in Constraint Logic Programming: Definition and implementation of a language. (Intervalles ensemblistes en programmation logique par contraintes : définition formelle et concrète d'un langage)
Effective aspects : A typed monadic model to control and reason about aspect interference. (Effective aspects : Un modèle monadique et typé pour contrôler l'interférence entre aspects)
Towards trustworthy, flexible, and privacy-preserving peer-to-peer business process management systems. (Vers une gestion de processus métiers pair à pair fiable, flexible, et respectueuse de la vie privée)
Méthodes et algorithmes de dématriçage et de filtrage du bruit pour la photographie numérique. (Demosaicing and denoising methods and algorithms for digital photography)
Personalisation in Cyber-Physical-Social Systems (CPSS). (Personnalisation dans les systèmes Cyber-Sociaux Physiques)
Corrélations dans les graphes d'information hétérogène : prédiction et modélisation de liens à partir de méta-chemins. (Correlations in heterogeneous information networks : prediction and modelling of links from metapaths)
Multi-view acquisition and rendering of animated scenes. (Acquisition multi-vues et rendu de scènes animées)
Traitement statistique d'images hyperspectrales pour la détection d'objets diffus : application aux données astronomiques du spectro-imageur MUSE. (Statistical hyperspectral image processing for diffuse object detection : application to the astronomical images from the spectro-imager MUSE)
Document image analysis of Balinese palm leaf manuscripts. (Analyse d'images de documents des manuscrits balinais sur feuilles de palmier)
Architecture logicielle et matérielle d'un système de détection des émotions utilisant les signaux physiologiques. Application à la mnémothérapie musicale. (Hardware and software architecture of an emotions detection system using physiological signals. Application to the musical mnemotherapy)
Energy self-sufficient embedded system for mobile communicating objects. (Système embarqué autonome en énergie pour objets mobiles communicants)
Contributions à la validation des systèmes à composants adaptatifs par génération de tests. (Contributions to the validation of adaptive component systems by test generation)
Algorithmes de factorisation de polynômes. (Algorithms for factoring polynomials)
Leaderless state-machine replication: from fail-stop to Byzantine failures. (Réplication de machines à états sans leader: des fautes franches aux fautes byzantines)
Méthodes de détection des similarités structurales : caractérisation des motifs conservés dans les familles de structures pour l'annotation des génomes. (Structural similarity detection methods: characterisation of conserved motifs in protein structure families for genome annotation)
Formal Methods for Functional Verification of Cache-Coherent System-on-Chip. (Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérent)
Représentation de paysages et tracé de rayon
Ancestral Reconstruction and Investigations of Genomics Recombination on Chloroplasts Genomes. (Reconstruction ancestrale et investigation de recombinaison génomique sur chloroplastes génomes)
Vers des agents cognitifs, affectifs et sociaux dans la simulation. (Towards cognitive, affective and social agents in the simulation)