yusuke1997/dblp-id-title huggingface dataset:
Detection and characterization of appearance change by imaging and artificial vision for the conservation documentation of cultural heritage metal objects. (Détection et caractérisation des changements d'apparence par imagerie et vision artificielle pour la documentation de la conservation des objets métalliques patrimoniaux)
Analyse et synthèse de l'implémentation de lois de contrôle-commande en précision finie- Étude dans le cadre des applications automobiles sur calculateur embarquée -. (Analysis and Synthesis of the Finite Word Length Implementation of linear controllers or filters.- Application to embedded automotive control -)
3D whole-brain quantitative histopathology : methodology and applications in mouse models of Alzheimer's disease. (Histopathologie 3d quantitative à l'échelle du cerveau entier de rongeur : méthodologie et applications chez des modèles murins de la maladie d'Alzheimer)
Architecture et réalité augmentée. Une manière d'écrire l'espace : la pensée visuelle instrumentée. (Architecture and augmented reality. A way of writing space: instrumented visual thinking)
Contributions à la modélisation procédurale de structures cellulaires stochastoques 2D et à leur génération par l'exemple. (Contributions to procedural modeling and by-example generation of 2D cellular stochastic structures)
Optimisation de programmes par reconnaissance de templates. (Program Optimization by Template Recognition and Replacement)
Methodologies and cross-layer protocols in electromagnetic nanonetworks and ultra-dense wireless ad hoc networks. (Méthodologies et protocoles cross-layer dans les nanoréseaux électromagnétiques et les réseaux ad hoc sans fil ultra-denses)
Représentations robustes de documents bruités dans des espaces homogènes. (Robust representation of noisy documents in homogeneous spaces)
Méthodologie de conception de systèmes de simulations en entreprise étendue, basée sur l'ingénierie système dirigée par les modèles. (Simulation system design methodology in Extended Enterprise, based on model-driven system engineering)
Contribution à l'étude du rôle des rafts lipidiques et des protéine-phosphatases 2A dans la régulation du signal contrôlé par le récepteur de la GnRH dans les cellules gonadotropes
Assessing and Improving Rules to Support Software Evolution. (Évaluation et amélioration de règles pour supporter l'évolution logicielle)
Robust and Privacy-Preserving Federated Learning. (Vers un Apprentissage fédéré robuste et préservant la confidentialité)
From types to logical assertions : automatic or assisted proofs of property about functional programs. (Des types aux assertions logiques : preuve automatique ou assistée de propriétés sur les programmes fonctionnels)
Utilisation d'une caméra Temps-de-vol pour la gestion des mouvements en radiothérapie externe. (Use of a Time-of-light Camera for Monitoring in External Radiotherapy)
Recherche d'information dans les documents numériques : vers une variation des modalités d'exécution procédurale. (Information retrieval in digital documents : a variation patterns of procedural execution)
Modéles formels pour l'IA explicable: des explications pour les arbres de décision. (Formal Models for Explainable AI: Explanations for Decision Trees)
Effets neuroendocrines des perturbateurs endocriniens chez le poisson zèbre (Danio rerio) : Etude du système à GnRH
Positionnement robuste et précis de réseaux d'images. (Robust and accurate calibration of camera networks)
Méthodes et outils pour la programmation des systèmes cyber-physiques. (Methods and tools for cyber-physical systems programming)
Génération dynamique de code pour l'optimisation énergétique. (Online Auto-Tuning for Performance and Energy through Micro-Architecture Dependent Code Generation)
Simulation Native des Systèmes Multiprocesseurs sur Puce à l'aide de la Virtualisation Assistée par le Matériel. (Native Simulation of Multiprocessor System-on-Chip using Hardware-Assisted Virtualization)
Vérification formelle des systèmes numériques par démonstration de théorèmes: application aux composants cryptographiques. (Formal verification of digital systems using theorem proving: application for cryptographic designs)
Modélisation orientée décision des processus de transfert par ruissellement et subsurface des herbicides dans les bassins versants agricoles
Contribution à la régulation coopérative des espaces conflictuels entre véhicules autonomes. (Contribution to the cooperative management of conflictual spaces between autonomous vehicles)
Multi-object detection and tracking in video sequences. (Détection et suivi multi-objets dans des séquences vidéo)
Model Transformation Reuse: A Graph-based Model Typing Approach. (Réutilisation de transformation de modèle : une approche de typage de modèle basée sur les graphes)
Heuristiques pour un Problème de m-Tournées Sélectives
Conception d'une architecture Pair-à-Pair orientée opérateur de services. (A service provider oriented P2P architecture)
Conception d'un cadre générique basé sur les modèles de Learning Analytics pour la gestion autonomique des processus d'apprentissage pour l'Education 4.0. (Designing a generic framework based on Learning Analytics models for autonomic management for Education 4.0 learning processes)
Structured Sparse Learning on Graphs in High-Dimensional Data with Applications to NeuroImaging. (Apprentissage de graphes structuré et parcimonieux dans des données de haute dimension avec applications à l'imagerie cérébrale)
Reconnaissance du locuteur en milieux difficiles. (Speaker recognition in noisy environments)
Teaching analytics: support for the evaluation and assistance in the design of teaching through artificial intelligence. (Teaching analytics : support à l'évaluation et l'assistance à la conception pédagogique par l'intelligence artificielle)
Système réparti d'aide à la prise de décision distribuée et collective. (Distributed Decision Support System For Collective And Distributed Decision-Making)
Autonomic Thread Parallelism and Mapping Control for Software Transactional Memory. (Contrôle Autonomique du Parallélisme et du Placement de Threads pour les Mémoires Transactionnelles Logicielles)
Designing Recommender Systems for the Labor Market. (Concevoir et évaluer les algorithmes de recommandation pour le marché du travail)
Knowledge base curation using constraints. (Maintenance des bases de connaissances à l'aide de contraintes)
Modélisation et simulation de l'interdépendance entre l'objet, l'observateur et le modèle de l'objet dans la Triade de Minsky. Application à la surveillance épidémiologique en santé animale. (Modelling and simulation of interdependence between the object, the observer and the model of the object in the triad of Minsky. Application to animal health surveillance)
TDIness and Multicuts. (Total dual intégralité et multicoupes)
Context-Aware Information Gathering and Processing Towards Supporting Autonomous Systems in Industry 4.0 Scenarios. (Collecte et traitement des informations en fonction du contexte en vue de soutenir les systèmes autonomes dans les scénarios de l'industrie 4.0)
EdP géométriques pour le traitement et la classification de données sur graphes. (Geometric PdEs for data processing and classification on graphs)
Nouveaux outils de communication pour le diagnostic partagé et la surveillance du patient - application au domaine de l'auscultation. (New communication tools for shared diagnosis and patient monitoring - application to auscultation domain)
Approche d'intégrité bout en bout pour les communications dans les systèmes embarqués critiques : application aux systèmes de commande de vol d'hélicoptères. (integrity approach end-to-end communications in critical embedded systems: application to helicopter flight control systems )
Integrating high-level requirements in optimization problems: theory and applications. (Intégration d'exigences de haut niveau dans les problèmes d'optimisation : théorie et applications)
Endless minds most beautiful: building open-ended linguistic autotelic agents with deep reinforcement learning and language models. (Agents autotéliques linguistiques ouverts avec apprentissage par renforcement profond et modèles de langage)
Degradation in presence of different types of maintenance : modelling, inference and decision making. (Dégradation en présence de différents types de maintenance : modélisation, inférence et prise de décision)
Optimisation des méthodes statistiques d'analyse de la variabilité des caractères à l'aide d'informations génomiques
Optimisation du routage, tolérance aux pannes et gestion de l'énergie et de l'interférence pour la transmission des flux multimédia temps réel dans les réseaux de capteur sans fil. (Optimization and fault tolerance for real-time media stream transmission in wireless sensor networks)
Étude des performances des machines à recuit quantique pour la résolution de problèmes combinatoires. (Study of the performance of quantum annealing machines for solving combinatorial problems)
On the Expressive Power of Invariant Logics over Sparse Classes of Structures. (Sur le pouvoir d'expression des logiques définies par invariance)
Modélisation analytique et contrôle d'admission dans les réseaux 802.11e pour une maîtrise de la Qualité de Service. (Analytical modeling and admission control in 802.11e EDCA for Quality of Service control in 802.11e wireless networks)
Symbolic methods for studying linear systems of differential and difference equation. (Algorithmes symboliques pour l'étude et la résolution de systèmes d'équations fonctionnelles linéaires)
Transports nouvelle génération dans les réseaux à très haut débit. (New génération transport in high-speed networks)
Compilation optimisante et formellement prouvée pour un processeur VLIW
Feasibility of Interactions and Network Inference of Online Social Networks. (Faisabilité des interactions et inférence des réseaux sociaux en ligne)
Calcul de valeurs propres de grandes matrices hermitiennes par des techniques de partitionnement
Réception multi-capteur pour un terminal radio-mobile dans un système d'accès multiple à répartion par codes. Application au mode TDD de l'UMTS. (Multi-sensor reception for radio-mobile terminal in a Code Division Multiple Access system. Application to the TDD mode of UMTS)
Towards Explainable and Interpretable Deep Neural Networks. (Vers des réseaux neuronaux profonds de classification d'images explicables et interprétables)
Reconstruction ab initio de voies métaboliques - Formalisation et approches combinatoires
Etude et implémentation sur SoC-FPGA d'une méthode probabiliste pour le contrôle de mission de véhicule autonome. (Study and implementation on SoC-FPGA of a probabilistic method for mission planning in autonomous vehicle)
Contribution to interoperable products design and manufacturing information: application to plastic injection products manufacturing. (Contrinution à l'interopérabilité des informations de conception et de fabrication de produits : application à la fabrication par injection de produits plastiques)
Segmentation des images IRM multi-échos tridimensionnelles pour la détection des tumeurs cérébrales par la théorie de l'évidence. (Three dimensional multi-echoes MR segmentation for the detection of brain tumours by evidence theory)
Outils géométriques pour la modélisation et la reconnaissance d'objets polyédriques. (Geometric tools for modeling and recognizing polyhedral objects)
Contributions to a Theory of Pure Exploration in Sequential Statistics. (Contributions à une théorie de l'exploration pure en statistique séquentielle)
3D Hybrid Urban Scene Semantic Mapping From Multi-modal Data. (Cartographie Sémantique Hybride de Scènes Urbaines à partir de données Image et LiDAR)
Geometry of surfaces :from the estimation of local differential quantitiesto the robust extraction of global differentialfeatures. (Géométrie des surfaces :de l'estimation des quantités différentielles localesà l'extraction robuste d'éléments caractéristiquesglobaux)
Cellular-based machine-to-machine : congestion control and power management. (Communication machine à machine : contrôle de congestion et gestion de l'énergie)
Gestion de l'évolution dans les bases de connaissances : une approche par les règles. (Evolution management in knowledge bases : an approach using rules)
Programmation Web Typée. (Typed Web Programming)
Segmentation d'images par l'algorithme des flot maximum continu. (On continuous maximum flow image segmentation algorithm)
SIGA3D : modélisation, échange et visualisation d'objets 3D du bâtiment et d'objets urbains géoréférencés ; application aux IFC pour la gestion technique de patrimoine immobilier et urbain. (SIGA3D : modeling, exchange and visualization of 3D building objects and urban georeferenced objects. Application to IFC for building and urban facility management)
Détection et analyse d'une thématique rare dans de grands ensembles de requêtes: l'activité pédophile dans le P2P. (Detection and analysis of a rare topic in large sets of search engine queries: paedophile activity in P2P networks)
Reconnaître les personnes à leur voix : définition d'un cadre scientifique pour garantir la fiabilité des résultats d'une comparaison de voix dans le cadre criminalistique. (Recognizing people by their voice : defining a scientific framework to ensure the reliability of forensic voice comparison results)
Modèles analytiques et évaluation de performances dans les grands réseaux mobiles ad hoc. (Analytic Models and Performance Evaluation in Massive Mobile Ad Hoc Networks)
Aide à la construction et l'évaluation des preuves mathématiques déductives par les systèmes d'argumentation. (Argumentation frameworks for constructing and evaluating deductive mathematical proofs)
Modeling and optimization of Edge infrastructures and their electrical systems. (Modélisation et optimisation des infrastructures informatiques Edge et de leur système électrique)
Ultra narrow band based IoT networks. (Réseaux IoT à bande ultra étroite)
Intermittent Lévy Walks and their applications to biological searches. (Marches de Lévy intermittentes, et leurs applications aux recherches biologiques)
Design and Implementation of Lattice-Based Cryptography. (Conception and implémentation de cryptographie à base de réseaux)
Distributed clock generator for globally and locally synchronous chips with a large size. (Générateur distribué d'horloge pour puces globalement et localement synchrones de grande taille)
Trust evaluation for stream data services based on data quality and service performance. (Évaluation de la fiabilité des services de flux données en se basant sur la qualité de données et la performance du service)
Induction interactive d'extracteurs n-aires pour les documents semi-structurés
Adaptive spline approximation: data-driven parameterization and CAD model (re-)construction. (Adaptive spline approximation: data-driven parameterization and CAD model (re-)construction)
Caractérisation des spécificités motrices d'utilisateurs en situation de handicap : Application à la conception de systèmes personnalisables pour la pratique musicale. (Characterization of physical specificities of users with motor impairment)
Cartographie sémantique collaborative pour la mise à jour du jumeau numérique d'un environnement intérieur. (Collaborative semantic mapping for updating the digital twin of an indoor environment)
Graph Representation Learning with Random Walk Diffusions. (Apprentissage de représentations sur graphes par diffusions de marche aléatoire)
Runtime Optimization of Binary Through Vectorization Transformations. (Optimisation de binaire à l'exécution par la vectorisation)
Operational research approach for optimising the operations of a nuclear research laboratory. (Approche par recherche opérationnelle de l'optimisation du fonctionnement d'un laboratoire en milieu nucléaire)
Extraction De Motifs Séquentiels Dans Des Données Multidimensionelles. (Mining Sequential Patterns In Multidimensional Data)
Réseaux de preuve et génération pour les grammaires de types logiques. (Proof Nets and Generation for Type-Logical Grammars)
Amélioration des performances en gravité altérée. (Improving operational performance in altered gravity)
Conception de machines probabilistes dédiées aux inférences bayésiennes. (Design of stochastic machines dedicated to Bayesian inferences)
Auto-stabilisation Efficace. (Efficient Self-stabilization)
Subsea optical links characterization assisted by machine learning. (Caractérisation des liaisons optiques sous-marines assistée par machine learning)
Vers une prise en compte de plusieurs aspects des besoins d'information dans les modèles de la recherche documentaire : Propagation de métadonnées sur le World Wide Web. (Towards a taking into account of several aspects of information needs in the models of the information retrieval : propagation of metadata on the World Wide Web)
Développement d'une nouvelle algorithmie de localisation adaptée à l'ensemble des mobiles suivis par le système ARGOS
A secure design of WoT services for smart cities. (Conception sécurisée de services IoT pour les villes connectées)
Coordination implicite d'interactions sensorimotrices comme fondement de la cognition. (Implicit coordination of sensorimotor interactions as a cornerstone of cognition)
Automated Extraction and Curation of Materials Information from Scientific Literature. (Automated Extraction and Curation of Materials Information from Scientific Literature)
Risk-based maintenance decision-making approaches for drilling and measurement tools. (Approches décisionnelles de la maintenance basées sur le risque pour les outils de forage et de mesure)
Sous-Typage par Saturation de Contraintes, Théorie et Implémentation. (Subtyping by Constraint Saturation, Theory and Implementation)
Modeling of soft robots made of anisotropic mesostructured materials. (Modélisation de robots souples fait à partir de matériaux mesostructurés)
Frequency-Selective Precoding and Channel Estimation for MmWave Hybrid MIMO Systems. (Précodage et estimation des canaux sélectifs en fréquence pour les systèmes millimétriques MIMO hybrides)
Enhancing Stream Processing and Complex Event Processing Systems. (Amélioration des systèmes de traitement de flux de données)
Conception Collective de scénarios pédagogiques dans un contexte de réingénierie : une approche par la métamodélisation située
Hardware implementation of cell-inspired computational models. (Implémentation matérielle des modèles de calculs cellulaires)
QoS Provisioning for Adaptive Video Streaming over P2P Networks. (Transport Adaptatif et Contrôle de la Qualité des Services Vidéo sur les Réseaux Pair-à-Pair)
Modèle connexionniste neuromimétique pour la perception visuelle embarquée du mouvement. (Neuromimetic connectionist model for the embedded visual perception of motion)
Test fonctionnel de propriétés hybrides. (Functional testing of hybrid properties)
Génération de données pour l'analyse et la détection d'anomalies dans les systèmes cybernétiques navals. (Data generation for anomaly detection in naval cybernetics systems)
Conception de métaheuristiques pour l'optimisation dynamique : application à l'analyse de séquences d'images IRM. (Design of metaheuristics for dynamic optimization : application to the analysis of MRI image sequences)
Étude du comportement non-verbal d'un soignant en interaction avec un Patient-Virtuel. (Non-verbal behavioral analysis of a Caregiver interacting with a Virtual-Patient)
Adaptabilité des flux multimédia appliquée au télé-diagnostic médical. (Adaptability of multimedia streams applied to medical telediagnosis)
Medium Access Control Layer for Dedicated IoT Networks. (Méthodes d'Accès au Canal pour les Réseaux Dédiés à l'Internet des Objets)
Efficient and secure cryptographic solutions for medical data. (Solutions cryptographiques efficaces et sécurisées pour les données médicales)
Vers un modèle de comportements de véhicules lourds en utilisant une méthode incrémentale basée sur la vérification et l'hystérésis : le modèle ArchiPL. (Toward a model of heavy vehicle's behavior using an incremental method based on verification and hysteresys : the ArchiPL model)
A Multi-agent Based Multi-Layer Distributed Hybrid Planning Model for Demand Responsive Transport System Study. (Un modèle multi-agent distribué et hybride pour la planification du transport à la demande temps réel)
Modélisation probabiliste du style d'apprentissage et application à l'adaptation de contenus pédagogiques indexés par une ontologie. (Probabilistic modelinf of learning style and application to the adaptation of learning content indexed by an ontology)
Contribution à l'étude des techniques de communication graphique avec un ordinateur - Elements de base des logiciels graphiques interactifs
Optimisation et évaluation des performances des communications mobiles dans un environnement réseaux multi-accès. (Optimization and performances evaluation of mobiles communications in heterogeneous wireless networks)
P2P SIP over mobile ad hoc networks. (SIP P2P pour les réseaux mobiles ad hoc)
Promotion des dispositifs multimédias au Burkina Faso : pratiques, discours et stratégies d'acteurs. (Promotion of multimedia devices in Burkina Faso : practices, speeches ans actors strategy)
Contributions au développement des communications de type tag à tag RFID passives pour l'internet des objets. (Contributions to the development of passive RFID tag-to-tag communications for the Internet of Things)
Maintenance logicielle : analyse d'impact, problématique et mise en oeuvre
Apport de l'interférométrie radar (DinSAR et PSI) pour l'étude des effets de la sécheresse géotechniques : applications à l'Est de la région Île-de-France. (Contribution of radar remote sensing (DINSAR and PSI) to the study of the drought effect on the topographic surface. Application to The East of the Île-de-France region. : application to the East of the Île-de-France region)
Une méthode de conception de microprocesseurs CMOS: application au 8048 (Intel). (Design method of CMOS microprocessors: application to the 8048 (INTEL))
Détection automatique de déviations chirurgicales et identification de comportements chirurgicaux par modélisation et analyse des processus chirurgicaux. (Automatic detection of sugical deviations and identification of surgical behavior thanks to modelisation and analysis of surgical process)
Vision based navigation for extra terrestrial lava tubes exploration. (Navigation visuelle pour l'exploration de cavités volcaniques extraterrestres)
De l'importance de valoriser l'expertise humaine dans l'annotation: application à la modélisation de textes en intentions à l'aide d'un clustering interactif. (The significance of valuing human expertise in annotation: application to the modelling of intentional texts using Interactive Clustering)
Prédiction par calcul des observables de fission à partir d'expériences dédiées. (Predictive calculations of fission observables from dedicated experiments)
Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE. (Clock Based SoC Design, Towards a Design Space Exploration in MARTE)
Incorporation de Connaissances a priori pour la Recherche d'Information Textuelle Neuronale. (Incorporation of prior Knowledge for Neural Information Retrieval on Text)
Urban environment perception and navigation using robotic vision : conception and implementation applied to automous vehicle. (Perception de l'environnement urbain et navigation s'appuyant sur la vision robotique : la conception et la mise en oeuvre appliquée au véhicule autonome)
Chaine 3D interactive. (3D chain interactive)
Mathematical tools and signal processing algorithms for the study of gravitational waves polarization. (Outils mathématiques et de traitement du signal pour l'étude polarimétrique des ondes gravitationnelles)
Reliable collaboration platform based on distributed registers. (Plateforme fiable de collaboration basée des registres distribués)
Représenter pour suivre : Exploitation de représentations parcimonieuses pour le suivi multi-objets. (Representing to follow: Exploitation of parsimonious representations for multi-object tracking)
De l'unité d'assemblage à la capside : application in silico au norovirus et au virus de l'hépatite B. (From assembly unit to capsid : in silico application to norovirus and hepatitis B virus)