yusuke1997/dblp-id-title huggingface dataset:
Modelisation de taches pour la resolution de problemes en cooperation systeme-utilisateur. (Task modeling for problem solving in system-user-cooperation)
Une méthode de détermination d'un réseau de transport optimal
Enhancement of Process Mining with machine learning for identification of patterns in human behaviour. (Amélioration du Process Mining avec l'apprentissage automatique pour l'identification de modèles de comportement humain)
Robust feature correspondence and pattern detection for façade analysis. (Mise en correspondance robuste et détection de modèles visuels appliquées à l'analyse de façades)
Artificial intelligence methods for liver surgery planning from medical images: towards an automatic decision support tool for the curative treatment of hepatocellular carcinoma. (Méthodes d'intelligence artificielle pour la planification de la chirurgie hépatique à partir d'images médicales: vers un outil d'aide à la décision automatique pour le traitement curatif du carcinome hépatocellulaire)
Caractérisation et détection des micro-potentiels anormaux associés aux arythmies ventriculaires létales, par analyse des signaux électrocardiographiques haute-résolution enregistrés à la surface du torse. (Characterization and detection of abnormalpotentials from severe ventricular arythmias,by analyzing high-resolution body surfacesignals)
Bridging the gap between high-level and low-level spatial algorithms. (Combler le fossé entre l'algorithmique spatiale haut-niveau et bas-niveau)
Study of the dynamics of catabolite repression : from mathematical models to experimental data. (Etude de la dynamique des mécanismes de la répression catabolique : des modèles mathématiques aux données expérimentales)
Intelligence en essaim pour la distribution de simulations dans un écosystème computationnel. (Swarm intelligence for simulations distribution in a computational ecosystem)
Toward a Characterization of Perceptual Biases in Mixed Reality : A Study of Factors Inducing Distance Misperception. (Vers une caractérisation des biais perceptifs en réalité mixte : une étude de facteurs altérant la perception des distances)
Approche d'assemblage systématique d'éléments d'interface pour la génération d'architecture multiprocesseur = An approach for the systematic gathering of interface items toward the generation of multiprocessor architectures. (An approach for the systematic gathering of interface items toward the generation of multiprocessor architectures)
Génération de Transformations de Modèles : une approche basée sur les treillis de Galois. (Model Transformation Generation : a Galois Lattices approach)
Méthodes de Traitement Numérique du Signal pour la Réduction d'Auto-Interférences dans un Terminal Mobile. (On the study of digital signal processing algorithms for self-interference cancellation in RF transceivers)
Interval observer and Positive observer. (Observateur par intervalles et observateur positif)
Construction et manipulation de présentations spatio-temporelles multimédias à partir de serveurs d'objets répartis : applications aux données sur le Web
Modélisation et simulation des systèmes de production : une approche orientée-objets. (Object-riented modeling and simulation for manufacturing systems)
Application de l'Analyse en Composantes Principales pour étudier l'adaptation biologique en génomique des populations. (Application of Principal Component Analysis to study biological adaptation in population genomics)
Justification Factory: de l'élicitation d'exigences de justification jusqu'à leur production en continu. (Justification Factory: from justification requirements elicitation to their continuous production)
Contrôle dynamique des communications dans un environnement v2v et v2i. (Dynamic control of communications in v2v and v2i environment)
Evolution of microservice-based applications: Modelling and dafe dynamic updating. (Évolution des applications à base de microservices: Modélisation et mise à jour dynamique correcte)
On Forcing and Classical Realizability. (Forcing et réalisabilité classique)
Simulation du Mouvement Pulmonaire pour un Traitement Oncologique
Definitions and Detection Procedures of Timing Anomalies for the Formal Verification of Predictability in Real-Time Systems. (Définitions et procédures de détection des anomalies temporelles pour la vérification formelle de la prédictibilité des systèmes temps-réel)
Un système interactif pour l'analyse des musiques électroacoustiques. (An interactive system for the analysis of electro-acoustic music)
Contributions à la modélisation mathématique et à l'algorithmique parallèle pour l'optimisation d'un propagateur d'ondes élastiques en milieu anisotrope. (Contributions to the mathematical modeling and to the parallel algorithmic for the optimization of an elastic wave propagator in anisotropic media)
Toward auto-configuration in software networks. (Vers l'auto-configuration dans les réseaux softwarisés)
Automates d'arbres à jetons. (Pebble tree automata)
Exploration et structuration intrinsèquement motivées d'espaces d'apprentissage sensorimoteur : contributions théoriques, plateforme et expérimentations. (Intrinsically motivated exploration and structuration of sensorimotor learning spaces : theoretical contributions, practical framework and experimentations)
Energy modeling and optimization of protograph-based LDPC codes. (Modélisation énergétique et optimisation des codes LDPC à base des protographes)
Simulations couplées fluide-structure et étude expérimentale d'un hydrofoil composite sous écoulement hydrodynamique. (Coupled Fluid-Structure Simulations and Experimental Study of a Composite Hydrofoil Under Hydrodynamic Flow)
Energy-efficient cooperative relay protocols for wireless sensor networks. (Optimisation énergétique des transmissions coopératives pour les réseaux de capteurs sans fil)
A generic approach to network experiment automation. (Une approche générique pour l'automatisation des expériences sur les réseaux informatiques)
Plongement de graphes dans l'hypercube
Développements méthodologiques pour l'IRM de diffusion cardiaque. (Methodological developments for cardiac diffusion MRI)
Conception et analyse d'algorithmes numériques parallèles. (Design and analysis of parallel numerical algorithms: implementation on a CM2)
Sémantique des réseaux de connaissances : gestion de l'hétérogénéité fondée sur le principe de médiation. (Semantics of Networked Knowledge: Managing Heterogeneity by Mediation)
Valorisation d'options américaines et Value At Risk de portefeuille sur cluster de GPUs/CPUs hétérogène. (American option pricing and computation of the portfolio Value at risk on heterogeneous GPU-CPU cluster)
Proof automation and type synthesis for set theory in the context of TLA+. (Automatisation de preuves et synthèse de types pour la théorie des ensembles dans le contexte de TLA+)
Using HLS to raise the design abstraction level for faster exploration of different CPU Micro-architectures. (Utiliser la HLS pour élever le niveau d'abstraction dans la conception des processeurs afin d'explorer plus rapidement différentes microarchitectures)
Inférence bayésienne pour la détection des activités de la vie quotidienne pour faciliter le maintien à domicile des personnes âgées. (Bayesian inference for activities of daily living detection for elderly home care applications)
Autour de quelques équations fonctionnelles analytiques. (About analytic functional equations)
Une nouvelle approche au General Game Playing dirigée par les contraintes. (Une nouvelle approche au General Game Playing dirigée par les contraintes)
Methods and tools for rapid and efficient parallel implementation of computer vision algorithms on embedded multiprocessors. (Méthodes et outils pour l'implémentation rapide et efficace d'algorithmes de vision par ordinateur sur des multiprocesseurs embarqués)
Moving towards software-defined security in the era of NFV and SDN. (Vers une programmabilité de la sécurité dans les environnements réseaux logiciels et virtualisés (NFV et SDN))
Leveraging the dynamics of non-verbal behaviors: modeling social attitude and engagement in human-agent interaction. (Exploitation de la dynamique des comportements non-verbaux pour la modélisation de l'attitude sociale et de l'engagement dans l'interaction homme-agent)
Sous-automates à nombre fini d'états. Application à la compression de dictionnaires électroniques. (Sub-automata of Finite-State Automata. Application to the Compression of Electronic Dictionaries)
Detection and characterization of salient moments for automatic summaries. (Détection et caractérisation des moments saillants pour les résumés automatiques)
Local and social recommendation in decentralized architectures. (Recommandation locale et sociale dans les architectures décentralisées)
Study of the properties and modeling of complex social graphs. (Étude des propriétés et modélisation de graphes sociaux complexes)
Comprendre et concevoir l'interaction tactile avec identification des doigts. (Understanding and designing touch interaction using finger identification)
Descripteurs locaux pour l'imagerie radar et applications. (Local features for SAR images and applications)
Joint speech separation, diarization, and recognition for automatic meeting transcription. (Séparation, diarisation et reconnaissance de la parole conjointes pour la transcription automatique de réunions)
Deep probabilistic generative model for the inverse problem of electrocardiography. (Modèle génératif probabiliste pour le problème inverse de l'électrocardiographie)
Support des middleware pour la prise en compte de la consommation énergétique dans l'Internet des objets. (Middleware support for energy awareness in the Internet of Things (IoT))
Modèles descriptifs de relations spatiales pour l'aide au diagnostic d'images biomédicales. (Descriptive models based on spatial relations for biomedical image diagnosis)
Terrestrial Laser Scanner Noise Analysis, Modelling and Detection. (Analyse, modélisation et détection de bruits pour scanners laser terrestres)
Recherche en ligne pour les Processus Décisionnels de Markov: application à la maintenance d'une constellation de satellites. (On-line search for Markov Decision Processes / On-line search for Markov Decision Processes: application to the maintenance of a constellation of satellites)
A framework for semi-automated design and implementation of blockchain applications. (Un framework pour la conception et l'implémentation semi-automatique d'applications blockchain)
Real-time anomaly detection with in-flight data: streaming anomaly detection with heterogeneous communicating agents. (Détection des anomalies sur les données en vol en temps réel avec des agents communicants hétérogènes)
Visualization of Spatial and Temporal Road Traffic Data. (Visualisation des Données Spatiales et Temporelles du Trafic Routier)
Device-to-Device Communications in LTE-Advanced Network. (La communication D2D dans le réseau LTE-Advanced)
Modélisation et analyse du signal électrocardiographique pour l'étude du système cardio-respiratoire. Application au syndrome d'apnées du sommeil. (Modeling and analysis of the electrocardiographic signal in the study of the cardio-respiratory system. Application to sleep apnea syndrom)
Modélisation et reconnaissance d'activités quotidiennes au sein d'une maison intelligente : application à la surveillance des personnes âgées. (Modeling and recognition of daily activities in a smart home : application to monitor elderly people)
Edition collaborative des documents semi-structurés. (Collaborative edition on semi-structured documents)
Network analysis of genomic and clinical data. (Reconstruction de réseaux à partir de données génomiques et cliniques)
Static Analysis and Dynamic Adaptation of Parallelism. (Analyse statique et adaptation dynamique du parallélisme)
Modélisation des architectures logicielles dynamiques: Application à la gestion de la qualité de service des applications à base de services Web. (Modelling dynamic software architectures / Modelling dynamic software architectures: Application to the quality of service management of Web services)
Verification formelle et optimisation de l'allocation de registres
Multimodal Neurofeedback based on EEG/fMRI Imaging Techniques and Visuo-Haptic Feedback for Stroke Rehabilitation. (Neurofeedback Multimodal basée sur de l'imagerie EEG/IRMf et des feeedback Visuo-Haptique pour de la rééducation cérébrale)
Unsupervised domain adaptive multiple person tracking and visual identification for human-robot interaction. (Adaptation de domaine non supervisée pour modèle de suivi multi-partie et identification visuelle appliquée à l'interaction homme-robot)
A control architecture for complex systems, based on multi-agent simulation. (Une architecture de contrôle de systèmes complexes basée sur la simulation multi-agent)
Téléchargement de Contenus dans les réseaux véhiculaires. (Content download in the Vehicular Networks)
Data protection for connected vehicles: a cryptographic approach relying on attribute-based encryption. (Protection des données des véhicules connectés : une approche cryptographique reposant sur le chiffrement basé attributs)
Contribution à la modélisation et l'inférence de réseau de régulation de gènes
Machine Learning Approaches to Text Representation using Unlabeled Data. (Approches d'apprentissage automatiques pour le représentation de textes à travers l'utilisation de données non-étiquetées)
CARS -A Multi-agent Framework to Support the Decision Making in Uncertain Spatio-temporal Real-world Applications. (CARS-Un système multi-agent pour la prise de décision dans des applications spatiotemporelles incertaines)
Apport de l'échantillonnage aléatoire à temps quantifié pour le traitement en bande de base dans un contexte radio logicielle restreinte. (Contribution of the time-quantized random sampling technique applied to the base-band stage of software defined radio receivers)
Reconnaissance de codes correcteurs. (Blind identification of error correcting codes)
Addressing selfishness in the design of cooperative systems. (Prise en compte et prévention des comportements égoïstes dans la conception de systèmes répartis collaboratifs)
Un système intégré d'acquisition 3D multispectral : acquisition, codage et compression des données. (A 3D multispectral integrated acquisition system : acquisition, data coding and compression)
Une approche probabiliste pour le classement d'objets incomplètement connus dans un arbre de décision. (A Probabilistic Approach to Classify Incomplete Objects in a Decision Tree)
A reference architecture for archival systems with application to product models
Une méthode globale pour la vérification d'exigences temps réel : application à l'Avionique Modulaire Intégrée. (A comprehensive method for real-time requirements verification : application to Integrated Modular Avnionics)
Autonomous Catheter and Guidewire Navigation for Robotic Percutaneous Coronary Intervention. (Navigation Autonome de Guides et Cathéters pour uneopération en Cardiologie Interventionnelle Robotisée)
Optimisation de la capacité des réseaux radio maillés. (Optimisation of the capacity of wireless mesh networks)
Dimension métrique et coloration dans les graphes peu denses. (Combinatorial and Algorithmics apects of Metric dimension)
Reconstruction de données manquantes dans des séries temporelles de mesures de déplacement par télédétection. (Missing data reconstruction in remotely sensed displacement measurement time series)
Influence indépendante et explicabilité de l'exploration et de l'exploitation dans les métaheuristiques. (Independent Influence and Explicability of Exploration and Exploitation in Metaheuristics)
Stochastic modeling and data analysis for information dissemination in online social platforms. (Modélisation stochastique et analyse des données pour la diffusion d'information dans les plateformes sociales en ligne)
Génération d'atlas de textures de radiosité pour le rendu réaliste en temps réel. (Generation of radiosity texture atlas for realistic real-time rendering)
Méthodes optimales de calcul de produits de matrices
Vers une représentation du contexte thématique en Recherche d'Information. (Generative models of topical context for Information Retrieval)
MaDcAr-Agent : un modèle d'agents auto-adaptables à base de composants
Strategic path diversity management across internet layers. (Gestion stratégique de la diversité de chemins à travers les couches Internet)
Generating diverse synthetic data for ASR training data augmentation. (Synthèse de la parole diversifiée pour l'augmentation des données d'apprentissage de la RAP)
Conception logique et topologique en technologie MOS
Network tomography from an operator perspective. (Métrologie du réseau Internet vue d'un opérateur)
On geometric models of epistemic logic. (Modèles géométriques de la logique épistémique)
Credit card fraud detection using machine learning with integration of contextual knowledge. (Détection de fraude par carte de crédit à l'aide de l'apprentissage automatique avec intégration des connaissances contextuelles)
Robust tools for weighted Chebyshev approximation and applications to digital filter design. (Outils robustes pour l'approximation de Chebyshev pondérée et applications à la synthèse de filtres numériques)
Conception et réalisation du système de gestion de séries chronologiques du logiciel MODULECO. (Design and development of a management system for the chronological series of the MODULECO software)
Extraction de réseaux linéiques à partir d'images satellitaires et aériennes par processus ponctuels marqués. (Line network extraction from satellite and aerial images by marked point processes)
Human locomotion analysis, classification and modeling of normal and pathological vertical ground reaction force signals in elderly. (Analyse, classification et modélisation de la locomotion humaine : application a des signaux GRF sur une population âgée)
Contribution à l'étude de l'effet de l'ocytocine sur la production laitière chez la vache et la chèvre. Approche zootechnique et étude au niveau cellulaire
Étude de la contrôlabilité des circuits intégrés par faisceaux d'électrons. (Study of the integrated circuits controllability using an electronbeam)
Trois essais sur les relations entre les invariants structuraux des graphes et le spectre du Laplacien sans signe. (On relations between structural invariants of graphs and the signless Laplacian spectrum)
Apprentissage automatique de caractéristiques audio: application à la génération de listes de lecture thématiques. (Machine learning algorithms applied to audio features analysis: application in the automatic generation of thematic musical playlists)
Modélisation de parcours du Web et calcul de communautés par émergence
Effet de bruit utile dans les processus non linéaires : Contribution sur de nouveaux mécanismes en traitement du signal et en imagerie. (Useful noise effect in nonlinear processes : Contribution on new mechanisms in signal processing and in imaging)
Semantic multimedia remote viewer for collaborative mobile thin clients. (Dispositif de rendu distant multimédia et sémantique pour terminaux légers collaboratifs)
Implicit modeling for additive manufacturing. (Modélisation par surface implicite pour la fabrication additive)
Secure multicast routing infrastructure : the network operator point of view. (Infrastructure sécurisée de routage multipoint : le point de vue de l'opérateur réseau)
Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion. (Functional dependencies modelling for aircraft level risk analysis)
Apprentissage profond interactif et semi-supervisé pour la segmentation volumique en tomographie électronique. (Semi-supervised interactive deep learning for volume segmentation in electron tomography)
Combinatorics of singularities of some special curves and hypersurfaces. (Combinatoire des singularités de certainescourbes et hypersurfaces)
A generic approach towards the collaborative construction of digital scholarly editions. (Une approche générique pour la construction collaborative d'éditions critiques électroniques)
Partage de l'étayage entre un enseignant et un EIAH lors d'une séance en Biologie. (Scaffolding Share between a teacher and a TEL-system during biology learning situation)
Optimisation de plans d'actions multi-objectifs dans le secteur social et médico-social. (Multiobjective action plan optimization in social and medico-social sector)
Sur une approche de l'analyse en composantes indépendantes à la compression des images multi composantes. (An independent component analysis approach to multi component images compression)
Construction et stratégie d'exploitation des réseaux de confusion en lien avec le contexte applicatif de la compréhension de la parole. (Confusion networks : construction algorithms and Spoken Language Understanding decision strategies in real applications)
Hybrid code analysis to detect confidentiality violations in android system. (Analyse hybride du code pour détecter les violations de la confidentialité dans le système android)
Statistical modelling of electric vehicle charging behaviours. (Modélisation statistique des comportements de charge des véhicules électriques)
Modélisation robuste du délai Internet et schémas de mesure intelligents pour l'automatisation des réseaux overlay. (Robust modelling of internet delay and smart monitoring schemes for the automation of overlay networks)
Orchestration et vérification de fonctions de sécurité pour des environnements intelligents. (Orchestration and verification of security functions for smart devices)
Weakly supervised learning for visual recognition. (Apprentissage faiblement supervisé pour la reconnaissance visuelle)
Quelques propriétés combinatoires et algorithmiques de formes quadratiques, polynômes et ensembles ordonnés. (Some combinatory and algorithmic properties of quadratic forms, polynomials and ordered sets)
Using event sequence alignment to automatically segment web users for prediction and recommendation. (Alignement de séquences d'évènements pour la segmentation automatique d'internautes, la prédiction et la recommandation)
Modelisation de L'activite Electrique du coeur et de SA regulation par le Systeme Nerveux autonome. (Modelling of the Electrical Activity of the heart and its control by the Autonomic nervous System)
Modélisation 3D d'objets par un capteur visuel déplacé par un opérateur. (3D Modeling of objects from a visual sensor moved by an operator)
Development and investigation of novel models in computational medicine. (Développement et investigation de nouveaux modèles en médecine computationnelle)
Algorithmic Optimization of Non-Binary Decoders. (Optimisation algorithmique des décodeurs non-binaires)
Caractérisation numérique et expérimentale du champ magnétique B.F. généré par des systèmes électrotechniques en vue de la modélisation des courants induits dans le corps humain. (Numerical and experimental characterization of the low frequency magnetic field generated by power systems with the aim of modeling the induced currents into the human body)
Modeling, visualizing and quantifying chromatin loop extrusion dynamics in living human cells. (Modélisation, visualisation et quantification de la dynamique d'extrusion de boucle de chromatine en cellules humaines vivantes)
Scheduling of certifiable mixed-criticality systems. (Ordonnancement des systèmes certifiés avec différents niveaux de criticité)
Discovering and exploiting the task hierarchy to learn sequences of motor policies for a strategic and interactive robot. (Découverte et exploitation de la hiérarchie des tâches pour apprendre des séquences de politiques motrices par un robot stratégique et interactif)
De l'impact d'une décision locale et autonome sur les systèmes de transport intelligent à différentes échelles. (The impact of local and autonomous decision on intelligent transport systems at different scales)
Mécanismes de base et réalisation de fonctions pour l'utilisation interactive d'un réseau d'ordinateurs
Sequential Learning with Similarities. (Apprentissage séquentiel avec similitudes)
Techniques d'assistance à la saisie de texte sur périphériques mobiles dans le cas de la déficience visuelle. (Assistive techniques for next entry on mobile devices for the visually impaired)