yusuke1997/dblp-id-title huggingface dataset:
Cooperative approaches for some classes of nonconvex optimization problems : parallel / distributed algorithms and applications. (Approches coopératives pour certaines classes de problèmes d'optimisation non convexe : Algorithmes parallèles / distribués et applications)
Using MapReduce to scale event correlation discovery for process mining. (Utilisation de MapReduce pour le passage à l'échelle de la corrélation des événements métiers dans le contexte de fouilles de processus)
Application de la théorie de la perturbation des opérateurs linéaires à l'obtention de bornes d'erreurs sur les éléments propres et à leur calcul
A resource-aware embedded commucation system for highly dynamic networks
Techniques de Maîtrise des Phénomènes de Couplage dans les Antennes Réseaux Imprimées à Balayage Electronique: Application à la Réduction des Directions Aveugles. (The Control of Coupling Phenomena in Printed Phased Array Antennas and Its: Application to Scan Blindness Mitigation)
Communication in Wavelength Multiplexed Optical Networks. (Communications dans les réseaux optiques par multiplexage en longueur d'onde)
Raisonnement avec des croyances partiellement ordonnées. (Reasoning with partially ordered belief bases)
Representation Learning for Large Scale Classification. (Apprentissage de représentation pour la classification large échelle)
Foundations for analyzing security APIs in the symbolic and computational model. (Fondations d'analyse de APIs de sécurité dans le modèle symbolique et calculatoire)
Study of Social Networks : modeling and Analysis. (Etude des Réseaux Sociaux : modélisation et analyse)
Automatic learning of next generation human-computer interactions. (Apprentissage automatique des interactions homme-machine de la prochaine génération)
Data assimilation and uncertainty quantification in cardiovascular biomechanics. (Assimilation de données et quantification des incertitudes en biomécanique cardiovasculaire)
Contributions à la modélisation automatique d'objets polyédriques 3D: extraction des primitives 3D, facettes et segments. (Contributions to the automatic modeling of 3D polyhedral objects: extraction of 3D primitives, facets and segments)
Intégration d'une contrainte logique dans les problèmes de contrôle optimal et résolution par la programmation mixte. (Mixed Integer Programming for a Special Logic constrained Optimal control Problem)
How to deal with Discourse Markers: a prosodic, corpus-based, computational and experimental proposal. (Comment aborder les marqueurs discursifs: une approche prosodique, basée sur corpus, computationnelle et expérimentale / Como lidar com os Marcadores Discursivos : uma abordagem prosódica, baseada em corpus, computacional e experimental)
DRAC: Un système de contrôle d'exécution pour multiprocesseur à mémoire partagée. (DRAC: Adaptative Control System for Shared Memory Multiprocessor)
Construction automatique de bases de données pour le domaine médical: Intégration de texte et maintien de la cohérence. (Automated construction of databases for the medical domain: Integrating text and maintaining consistency)
Geometry and Metric Structures of Configuration Spaces for Robotic Motion Planning. (Géométrie et structures métriques des espaces de configuration pour la planification du mouvement robotique)
Modélisation et simulation des propriétés radiatives des sources lumineuses. (Modeling and simulation of radiatives properties of light sources)
Contribution à l'analyse de causalité par apprentissage automatique pour l'aide à la décision, dans un contexte de supervision des systèmes pour l'industrie 4.0. (Contribution to causality analysis by machine learning for decision support, in a context of system supervision for industry 4.0)
E-diagnostic de processus physiques à base des méthodes de haute résolution Application : machines éoliennes. (E-diagnosis of physical processes based on high resolution methods Application : Wind turbine machines)
Speeding up Integer Multiplication and Factorization. (Améliorations de la multiplication et de la factorisation d'entier)
On actions that matter: credit assignment and interpretability in reinforcement learning. (De l'importance des actions: assignation de crédit et interprétabilité pour l'apprentissage par renforcement)
Energy-efficient cooperative techniques for wireless body area sensor networks. (Techniques de coopération éconergétiques pour le réseaux de capteurs corporels sans fil)
Static and Dynamic Methods of Polyhedral Compilation for an Efficient Execution in Multicore Environments. (Méthodes Statiques et Dynamiques de Compilation Polyédrique pour l'Exécution en Environnement Multi-Cœurs)
Coupling of quantum chemistry models and high-performance algorithms for the global exploration of the energy landscape of atomic and molecular systems. (Couplage de modèles de chimie quantique et d'algorithmes haute performance pour l'exploration globale du paysage énergétique de systèmes atomiques et moléculaires)
Discontinuités téchnologiques et business models : analyse des mécanismes de transformation de l'industrie du médicament. (Technological discontinuities and business models : analysis of the transformation mechanisms in the drug industry)
Overlapping community detection in dynamic networks. (Détection de communautés recouvrantes dans des réseaux de terrain dynamiques)
Formally computer-verified protections against timing-based side-channel attacks. (Protections vérifiées formellement par ordinateur contre les attaques par canaux auxiliaires basées sur le temps)
Maintenance modelling, simulation and performance assessment for railway asset management. (Modélisation, simulation et évaluation de performances de la maintenance des infrastructures ferroviaires)
1ère thèse: Matrices du second degré et normes générales en analyse numérique linéaire : 2ème thèse: Le théorème de Stone - Weirstrass
Vers une algèbre homotopique des types dépendants. (Towards a homotopical algebra of dependent types)
Integrating high-level knowledge in a neural network learning system for image classification. (Intégration de connaissances de haut-niveau dans un système d'apprentissage par réseau de neurones pour la classification d'images)
Étude de la classification des vidéos de foule par apprentissage profond. (Study of the classification of crowd videos using deep learning)
Modèle d'organisation multi-agent pour l'aide au travail coopératif dans les processus d'entreprise : application aux systèmes administratifs complexes. (Model of multi-agent organization to assist cooperative work in company processes: application to complex administrative systems)
Preventing the release of illegitimate applications on mobile markets. (Lutte contre la publication d'applications illégitimes sur les marchés mobiles)
Indexation de vidéos et de maillages 3D dans le contexte MPEG-7
Complex lot Sizing problem with parallel machines and setup carryover. (Problèmes complexes de dimensionnement de lots de production avec machines parallèles et report de configuration)
Design under constraints of Dependability and Energy for Wireless Sensor Network. (Conception sous contraintes de sûreté de fonctionnement et de consommation d'énergie, pour les réseaux de capteurs sans fil)
Fondations, méthode et applications de l'apprentissage bayésien. (Bayesian learning : foundations, method and applications)
Etude d'une classe de normes dans les espaces vectoriels à dimension finie générées par les normes des espaces fonctionnels de Banach
La bioremédiation in situ des parcs conchylicoles par les éponges marines est-elle envisageable ? (Is bioremediation of shellfish farms by marine sponges possible ?)
Characterization of radioactivity signals by embedded machine learning. (Caractérisation en flux de signaux radiologiques par apprentissage automatique embarqué)
Recherche d'Information Monolingue et Translinguistique: de la Désambiguïsation vers l'Expansion Sémantique de Requêtes. (Mono- and Cross-Language Information Retrieval: From Semantic Query Disambiguation to Query Expansion)
Large Scale Parallel Inference of Protein and Protein Domain families. (Inférence des familles de protéines et de domaines protéiques à grande échelle)
Exploitation de marqueurs évolutifs pour l'étude des relations génotype-phénotype : application aux ciliopathies. (Exploitation of evolutionary markers to explore genotype-phenotype relationships : applications to ciliopathies)
Radiosité à base d'ondelettes sur des surfaces paramétriques
Parallel Hybrid Optimization Methods For Permutation Based Problems
On the Semantics of Disjunctive Logic Programs. (Sémantique des programmes logiques disjonctifs)
Développement de biocapteurs pour la détermination de substances biologiquement actives. (Development of biosensors for the determination of biologically active substances)
Collaboration in Multi-user Immersive Virtual Environment. (Collaboration en Environnement Virtuel Immersif Multi-utilisateur)
Etude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. (Modular specifications: finite colimits constructions, diagrams, isomorphisms)
Estimation dans le modèle d'empilement avec application aux mesures de la fluorescence résolue en temps. (Estimation in the pile-up model with application to fluorescence lifetime measurements)
Génération automatique de tests de conformité pour les protocoles de télécommunication
Federation of heterogeneous models with machine learning-assisted model views. (Fédération de modèles hétérogènes avec des vues sur les modèles assistées par l'apprentissage automatique)
Réalité augmentée pour l'aide à la navigation. SIGMA : Système d'information Géographique Maritime Augmentée. (Augmented Reality for navigation. SIGMA : Augmented Geographic Information System for shipping)
Génération de polices d'imprimerie pour photocomposeuse digitale
Le suivi de l'apprenant dans le cadre du serious gaming. (Learner monitoring in serious games)
A combinatorial approach to Rauzy-type dynamics. (Une approche combinatoire aux dynamiques de type Rauzy)
Segmentation d'images par contour actif: implantation optique avec un corrélateur incohérent ombroscopique
Partitions aléatoires et théorie asymptotique des groupes symétriques, des algèbres d'Hecke et des groupes de Chevalley finis. (Random partitions and asymptotic theory of symmetric groups, Hecke algebras and finite Chevalley groups)
Exploitation du web sémantique pour la veille technologique. (Exploitation of semantic web for technological watch)
Modélisation Incrémentale des Processeurs Embarqués pour l'Estimation des Caractéristiques et le Diagnostic. (Incremental modeling of an embedded CPU-GPU systems for feature estimation and monitoring)
Détermination de certaines caractéristiques des grammaires et des langages "context-free"
SARIPOD: Système multi-Agent de Recherche Intelligente POssibiliste de Documents Web. (SARIPOD: An Intelligent Possibilistic Web Information Retrieval using Multiagent System)
Analyse des erreurs d'arrondi sur les nombres à virgule flottante par programmation par contraintes. (Floating-point numbers round-off error analysis by constraint programming)
Contribution à la synthèse et l'optimisation multi-objectif par essaims particulaires de lois de commande robuste RST de systèmes dynamiques. (Contribution to the synthesis and multi-objective particle swarm optimization for robust RST control laws of dynamic systems)
Méthodes itératives de reconstruction tomographique pour la réduction des artefacts métalliques et de la dose en imagerie dentaire. (Iterative reconstruction methods for the reduction of metal artifact and dose in dental CT)
Branch-and-Bound with Peer-to-Peer for Large-Scale Grids. (Branchement et Elagage sur Grilles Pair-à-Pair à Grande-Echelle)
Sémantique lexicale, compositionnalité et coercions. Fondements théoriques des types sémantiques. (Lexical Semantics, compositionality and coercions. Theoretical foundations of semantic types)
Etude de l'évolution temporelle de phénomènes terrestres au moyen de l'imagerie radar
Modélisation et simulation des réseaux sans fil hétérogènes et non-stationnaires. Application aux topologies de petites cellules. (Modeling and simulation of heterogeneous and non-stationary wireless networks. Application to small cells topologies)
Orchestration mechanisms of Network Slices in a SDN/NFV context. (Mécanismes d'orchestration des Slices Réseaux dans un contexte SDN/NFV)
Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs 32 bits. (Assit to execution trace analysis in the microcontrollers 32 bits context)
Modelisation du transport sous contrainte mecanique dans les transistors sub-65 nm pour la Microelectronique CMOS. (Modelling of carrier transport under mechanical strain for sub-65 nm CMOS transistors)
Towards a Content-oriented Security Plane for Named Data Networking : Application to Content Poisoning Attack. (Sécurité orientée contenu pour les réseaux NDN - application aux attaques par empoisonnement de type CPA)
Coding for cooperative communications : Topics in distributed source coding and relay channels. (Codage pour les communications coopératives : Codage de source distribué et canaux à relais)
Vers une méthodologie de développement d'outils de réalité virtuelle pour faciliter la convergence métiers en conception de produits centrée sur l'homme. (Towards a methodology for developing virtual reality tools to facilitate multidisciplinary convergence in human centered product design)
Protection des données à caractère personnel pour les services énergétiques. (Personal data protection in energy services)
Quadratic second-order backward stochastic differential equation and numeric analysis for Sannikov's optimal contracting problem. (Equations différentielles stochastiques rétrogrades de second ordre et l'analyse numérique du problème de Sannikov)
Custom floating-point arithmetic for integer processors : algorithms, implementation, and selection. (Arithmétique à virgule flottante spécifique pour processeurs entiers : algorithmes, implémentation et sélection)
Conception d'un Système Expert pour l'étude de la Sécurité Incendie de Bâtiments dans un Contexte Pluridisciplinaire
Implementation of a cooperative communication within a fleet of connected and autonomous vehicles. (Une stratégie de communication coopérative au sein d'une flotte de véhicules autonomes et connectés)
Routin in wireless sensor networks. (Routage dans les réseaux de capteurs sans fil)
Cumulative methods for image based driver assistance systems : applications to egomotion estimation, motion analysis and object detection. (Méthodes cumulatives d'analyse d'images pour les systèmes d'aide à la conduit : application à l'estimation du movement et à la reconstruction de scène)
Contrôle du partage de l'autorité dans un système d'agents hétérogènes. (Authority sharing control among heterogeneous agents)
Langages de requêtes pour XML à base de patterns : conception, optimisation et implantation
Allocation de ressources par une approche hybride apprentissage automatique et optimisation pour l'hébergement et l'infogérance de services web. (Resource allocation using a hybrid machine learning and optimization approach for hosting and managed web services)
Analyse conjointe de plusieurs matrices de données : comparaison de différentes méthodes. (Joint analysis of several data matrices : comparison of different methods)
Analyse d'images satellitaires et développement d'outils informatiques pour modéliser le transfert de CO₂ à l'interface air-mer dans les régions subantarctique et antarctique (secteur Australien). (Remote sensing image Analysis and IT tools development for modeling the transfer of CO2 in the air-sea interface in the sub-Antarctic and Antarctic regions (Australian sector))
Quelques outils numériques pour la résolution de systèmes algébrodifférentiels de grande dimension : applications au projet CASCADE
Amélioration du diagnostic du cancer de la peau par classification des images de dermoscopie à l'aide de techniques d'intelligence artificielle. (Improving skin cancer diagnosis by classifying dermoscopy images using artificial intelligence techniques)
Fusion multimodale pour la cartographie sous-marine. (Multimodal fusion for 3D underwater mapping)
Activités collaboratives et génération de comportements d'agents : moteur décisionnel s'appuyant sur un modèle de confiance. (Collective activities and agent behavior : trust-based decision-making system)
Recherche par le contenu d'objets 3D. (3D Shape-content based retrieval)
Compact models of multi-scale processes. (Modèles compacts de processus multi-échelles)
Markovian Processes for Quantitative Information Leakage
Visualisation pour l'interprétation et l'explicabilité des prédictions issues de modèles d'apprentissage profond en TAL. (Visualization for interpretation and explicability of deep learning models predictions in NLP)
Refining machine learning evaluation : statistical insights into model performance and fairness. (Affinage de l'évaluation en apprentissage automatique : perspectives statistiques sur la performance des modèles et leur équité)
Description statistique des données ordinales : analyse multidimensionnelle
Light Field Editing and Rendering. (Edition et Rendu de Champs de Lumière)
Automated analysis of equivalence properties for cryptographic protocols. (Analyse automatique de propriétés d'équivalence pour les protocoles cryptographiques)
Improving spatial reuse in future dense high efficiency Wireless Local Area Networks. (Amélioration de la réutilisation spatiale pour les futurs réseaux locaux sans fil à haute densité)
Conception de systèmes multi-antennes multi-bandes pour terminaux mobiles LTE. (Design of multi-bands multiple antennas systems for LTE mobile terminals)
Development of hp-adaptive techniques based on discontinuous Galerkin methods with application to aeronautical configurations. (Développement de techniques d'adaptation hp basées sur les méthodes de Galerkine discontinues avec application à des configurations aéronautiques)
Composants et Typage. (Components and Types)
Camera Models and algorithms for 3D video content creation. (Modèles de caméras et algorithmes pour la création de contenu video 3D)
ParTraP: A Language for the Specificationand Runtime Verification of ParametricProperties. (ParTraP : Un langage pour la spécification etvérification à l'exécution de propriétésparamétriques)
Vers une infrastructure participative d'hébergement de services à destination des communautés virtuelles : Orchestration dynamique de micro-services selon les conditions d'utilisation. (Towards a participatory infrastructure for hosting services : QoS-aware dynamic orchestration of microservices)
Elucidation du métabolisme des microorganismes par la modélisation et l'interprétation des données d'essentialité de gènes. Application au métabolisme de la bactérie Acinetobacter baylyi ADP1. (Model-based investigation of microbial metabolism to interpret gene essentiality results, illustrated on Acinetobacter baylyi ADP1 metabolism)
Modélisation et Analyse des comportements d'une société d'agents mobiles à l'aide des réseaux de Petri. (Modeling and Analysis of multi agent system behavior using Petri nets)
Contraintes et représentation de connaissances par objets. Application au modèle TROPES. (Constraints and object-based knowledge representation Application to the Tropes Model)
Supporting collaboration in knowtworking : a design case study in home care. (Assister la collaboration dans une forme de travail particulière, le knotworking : le cas du soin à domicile)
Transmitter cooperation with distributed feedback in wireless networks. (Transmission coopérative dans les réseaux sans-fil avec feedback distribué)
Specification and deployment of integrated Security Policy for Outsourced Data. (Expression et déploiement de politiques de sécurité intégrés pour données externalisées)
Contribution à la cryptographie interactive. (Contribution to interactive cryptography)
Contribution à la mise-en-œuvre d'un moteur d'exécution de modèles UML pour la simulation d'applications temporisées et concurrentes
Une approche pour la construction d'évaluateurs adaptables de requêtes. (An approach for building adaptable query processors)
Modeling Glioma Growth and Personalizing Growth Models in Medical Images. (Modélisation de la croissance des gliomes et personnalisation des modéles de croissance à l'aide d'images médicales)
On algebraic variants of Learning With Errors. (Sur des variantes algébriques du problème Learning With Errors)
Perception de l'environnement urbain à l'aide d'une flotte de capteurs sur des vélos. Application à la pollution de l'air. (Perception of the urban environment using a fleet of sensors on bicycles. Application to air pollution)
Security of Internet of Things for systems of systems. (Sécurité de l'Internet des objets pour les systèmes de systèmes)
A study of machine learning and deep learning methods and their application to medical imaging. (Une étude des méthodes d'apprentissage automatique et d'apprentissage profond et de leur application à l'imagerie médicale)
Reconciling cloud storage functionalities with security : proofs of storage with data reliability and secure deduplication. (Réconcilier les fonctionnalités de stockage dans le cloud et la sécurité : preuves de stockage avec la fiabilité des données et la déduplication sécurisée)
FEMxDEM double scale approach with second gradient regularization applied to granular materials modeling. (Approche double échelle de type FEMxDEM avec régularization second gradient pour la modélisation des géomatériaux)
Domain Adaptation of Named Entity Recognition for Plant Health Monitoring. (Adaptation de la reconnaissance d'entités nommées au domaine de la santé des plantes)
Passage à l'échelle d'un support d'exécution à base de tâches pour l'algèbre linéaire dense. (Scalability of a task-based runtime system for dense linear algebra applications)
Towards detection of nudges in Human-Human and Human-Machine interactions. (Vers la détection des nudges dans les interactions humain-humain et humain-machine)
Supporting expert creative practice. (Supporter la pratique créative experte)
Apport de la modélisation individu-centrée spatialement explicite à la compréhension de L'expression d'une maladie transmissible : la peste bubonique à Madagascar. (Contribution of Individual-Based Spatially Explicit Modeling to Understanding the Expression of a Communicable Disease: Bubonic Plague in Madagascar)
Etude fonctionnelle d'un processeur de bases de données hiérarchiques
Autonomous indoor navigation of a UAV : single image based. (Navigation autonome d'un drone en intérieur basée sur les images)
Distributed algorithms for programmable matter : target shape description and self-assembly planning. (Algorithmes distribués pour la matière programmable : description de la forme cible et planification de l'auto-assemblage)
Asynchronous event-based 3D vision. (Evénement asynchrone à base de vision 3D)
Partage de données biomédicales : modèles, sémantique et qualité. (Sharing biomedical information : models, semantics and quality)
Apprentissage non supervisé de flux de données massives: application aux Big Data d'assurance. (Unsupervided learning of massive data streams: application to Big Data in insurance)
De la manipulation dans les systèmes multi-agents : une étude sur les jeux hédoniques et les systèmes de réputation. (Manipulation on multi-agents systems : a study on hedonic games and reputation systems)
Local matching learning of large scale biomedical ontologies. (Alignement local automatique de larges ontologies biomédicales)
Human-in-the-loop optimization of retinal prostheses encoders. (Optimisation du codage du signal visuel dans les prothèses rétiniennes: une approche par apprentissage automatique)
Structure flexible d'ordonnancements à performances contrôlées pour le pilotage d'atelier en présence de perturbations
Data driven optimisation models for the operations planning in industrial supply chains. (Modèles d'optimisation basés sur les données pour la planification des opérations dans les Supply Chain industrielles)
Modeling, evaluation and provisioning of elastic service-based business processes in the cloud. (Modélisation, évaluation et mise en oeuvre de l'élasticité des applications à base de services dans le cloud)