yusuke1997/dblp-id-title huggingface dataset:
Extending type theory with syntactic models. (Etendre la théorie des types à l'aide de modèles syntaxiques)
Compression vidéo fondée sur l'apparence. (Appearance-based Video Compression)
Contrôle actif dual des écoulements turbulents pariétaux. Expériences et Simulations Numériques Directes. (Dual active control of turbulent wall-bounded flows)
Gray codes and efficient exhaustive generation for several classes of restricted words. (Codes de gray et génération exhaustive pour certaines classes de mots sous contrainte)
Étude de l'application des contraintes géométriques et spatiales à la localisation piétonne en intérieur. (Study of the application of geometric and spatial constraints to indoor pedestrian localisation)
Communication kinesthésique des émotions dans un contexte d'interaction homme-machine. (Kinesthetic Communication of Emotions in Human-Computer Interaction)
Complex dynamic scene analysis through multi-body motion segmentation: application to intelligent vehicles. (Analyse de scènes dynamiques complexes par segmentation de mouvement : application aux véhicules intelligents)
Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification. (Investigations en Mathématiques Assistées par Ordinateur : Expérimentation, Calcul et Certification)
Une approche de l'édition structurée des documents
Hybrid automatic repeat request protocols for user cooperation and relaying scheme for correlated sources. (Protocoles de retransmission pour les communications coopératives & schéma de relayage pour des sources corrélées)
Contribution à la cartographie 3D des parois internes de la vessie par cystoscopie à vision active. (Towards 3D cartography of internal bladder walls using active vision cystoscopy)
Spatio-temporal analysis of dynamic phenomenon with mobile sensors: Application to air pollution. (Analyse spatio-temporelle de phénomènes dynamiques à l'aide de capteurs mobiles : Application à la pollution l'air)
Information Flow Control for the Web Browser through a Mechanism of Split Addresses. (Contrôle du flux d'informations pour le navigateur Web via un mécanisme de séparation d'adressage)
La synchronisabilité pour les systèmes distribués. (Synchronizability for distributed systems)
Conception électrique et implantation de circuits intégrés
Algebraic approach for the study of algorithmic problems coming from cryptography and the theory of error correcting codes. (Approche algébrique pour l'étude et la résolution de problèmes algorithmiques issus de la cryptographie et de la théorie des codes )
Importance de l'uréogénèse dans le catabolisme azoté des teléosteens. Influence des facteurs nutritionnels
Étude de la Dynamique des Ondes Spirales à l'Échelle Cellulaire par Modèles Expérimental et Numérique. (Study of Spiral Waves Dynamics at Cellular Level by Experimental and Numerical Models)
Diffraction électromagnétique par des réseaux et des surfaces rugueuses aléatoires : mise en œuvre deméthodes hautement efficaces pour la résolution de systèmes aux valeurs propres et de problèmesaux conditions initiales. (Electromagnetic scattering by gratings and random rough surfaces : implementation of high performance algorithms for solving eigenvalue problems and problems with initial conditions)
The Group Cumulative Scheduling Problem. (Problèmes d'ordonnancement avec contrainte cumulative de groupes)
Les tubes de mouvement : nouvelle représentation pour les séquences d'images. (Motion tubes: a new representation for image sequences)
Contribution de la texture pour l'analyse d'images à très haute résolution spatiale : application à la détection de changement en milieu périurbain. (Contribution of the texture to process very high resollution images : application to change detection in peri-urban area)
Models of animated rivers for the interactive exploration of landscapes. (Modèles de rivières animées pour l'exploration interactive de paysages)
Méthode d'interface immergée pour la simulation directe de l'atomisation primaire. (Immersed Interface Method for Direct Numerical Simulation of primary atomization)
Modèle numérique de conduction surfacique dans les dispositifs bidimensionnels - Prise en compte de non-linéarités. (Numerical model of surface conduction in 2D HV devices - Taking into account of non-linearities)
Data Structures for Current Multi-core and Future Many-core Architectures. (Structures de données pour des architectures multi-cœur actuelles et de futures architectures many-cœur)
Apprentissage Few Shot et méthode d'élagage pour la détection d'émotions sur bases de données restreintes. (Few Shot Learning and Pruning Technics for Emotion Recognition on Small Datasets)
Pour une meilleure efficacité énergétique dans un système Smart Grid - Cloud. (For better energy efficiency in a Smart Grid - Cloud system)
Anytime tree search for combinatorial optimization. (Recherches arborescentes anytime pour l'optimisation combinatoire)
Robust microphone array signal processing against diffuse noise
Méthode multi-échelle pour la résolution des équations de la cinétique neutronique. (Multi-scale method for the resolution of the neutronic kinetics equations)
Matheurisc approaches for solving transport optimization problems in urban logistics. (Approches matheuristiques pour la résolution de problèmes d'optimisation des transports en logistique urbaine)
Graphes et hypergraphes : complexités algorithmique et algébrique. (Graphs and hypergraphs : algorithmic and algebraic complexities)
About the type of modal logics for the unification problem. (A propos du type de logiques modales pour le problème d'unification)
Distributed neural computation for the visual perception of motion. (Calcul neuronal distribué pour la perception visuelle du mouvement)
Conception et Evaluation d'un Systeme de suivi automatique des gestes Labiaux en parole. (Desgin and evaluation of a video tracking system of lip motion in speech production)
Delegation mechanisms for public key cryptographic primitives. (Mécanismes de délégation pour les primitives de cryptographie à clé publique)
Recueil et intégration d'heuristiques dans les algorithmes de définition de stratégies de pompage
Learning radiance fields: from global illumination to generative models. (Apprentissage de champs de radiance : de l'éclairage global aux modèles génératifs)
Régulation du prélèvement et de l'utilisation des nutriments par la glande mammaire en réponse à une diminution de la fréquence de traite chez la vache laitière
Going further with direct visual servoing. (Aller plus loin avec les asservissements visuels directs)
Execution time prediction for applications running on multi-core architectures. (Prédiction du temps d'exécution d'applications dans des architectures multi-coeur)
Etude de l'usage de la parole dans les interfaces multimodales. (Speech Usage In Multimodal Interfaces)
Adapting machine learning methods to U-statistics. (Adaptation des méthodes d'apprentissage aux U-statistiques)
Algorithmes d'approximation pour l'optimisation en ligne d'ordonnancements et de structures de communications. (Approximation algorithms for on-line optimization of scheduling and communication structures)
Techniques de comptage et cartographie passives de clients WiFi dans l'ère de la protection des données. (Passive counting and mapping techniques of WiFi clients in the era of data protection)
Sphères de comportement pour la modélisation et l'exécution de procédés flexibles. (Behavioural Spheres for Flexible Business Process Modelling and Execution)
Subutai : Distributed synchronization primitives for legacy and novel parallel applications. (Subutai : Primitives de synchronisation distribuées pour applications parallèles antérieures et émergentes)
Geometric Methods in Learning and Memory. (Méthodes géométriques pour la mémoire et l'apprentissage)
Computational descriptions of higher categories. (Descriptions calculatoires de catégories supérieures)
Développement d'un modèle de prédiction de la matière grasse du lait basé sur les flux de nutriments chez la vache laitière. (Design of a model to predict milk fat from nutrients flows in dairy cows)
Acquisition interactive de la connaissance par un système télématique dans le domaine de l'assainissement de l'eau. (Interactive knowledge acquisition, by a telematic system, in the field of waste water treatment)
Adaptive Consistency Protocols for Replicated Data in Modern Storage Systems with a High Degree of Elasticity. (Cohérence de données répliquées partagées adaptative pour architectures de stockage à fort degré d'élasticité)
Robust state estimation for switched systems: application to fault detection. (Estimation d'état robuste pour des systèmes à commutation: application à la détection de défauts)
Modal proof theory through a focused telescope. (Voir la théorie de la démonstration de la logique modale à travers un télescope focalisé)
Fusion de l'information dans les réseaux de capteurs : application à la surveillance de phénomènes physiques. (Information aggregation in sensor networks : application to monitoring of physical activities)
Descrição, classificação e processamento automático das construções com o verbo 'dar' em português brasileiro. (Description, classification and automatic processing of constructions with the verb 'dar' ('give') in Brazilian Portuguese / Description, classification et traitement automatique des constructions à verbe "dar" ("donner") en portugais du Brésil)
Contribution à l'étude mathématique et numérique des structures piézoélectriques en contact. (Contribution to the mathematical and numerical study of piezoelectric contact)
Self-normalized estimators and joint path construction for efficient multi-view rendering. (Estimateurs auto-normalisés et construction simultanée de chemins pour le rendu multi-caméra)
Contribution to complex visual information processing and autonomous knowledge extraction : application to autonomous robotics. (Contribution au traitement d'informations visuelles complexes et à l'extraction autonome des connaissances : application à la robotique autonome)
Réflexion, calculs et logiques. (Reflexion, computation and logic)
Brain-inspired computing leveraging the transient non-linear dynamics of magnetic nano-oscillators. (Calcul bio-inspiré utilisant la dynamique non-linéaire transitoire d'oscillateurs magnétiques nanométriques)
Apports des interactions tangibles pour la création, le choix et le suivi de parcours de visite personnalisés dans les musées. (Tangible Interactions for Creating, Choosing and Monitoring Personalized Visit in Museums)
Spatial models for cellular network planning. (Modèles spatiaux pour la planification cellulaire)
Motion strategies for a haptic interface with intermittent contacts to ensure safe human-robot interaction. (Stratégies de mouvement pour une interface haptique avec des contacts intermittents pour assurer une interaction homme-robot sûre)
Systèmes Mixtes Collaboratifs sur Supports Mobiles : Conception et Réalisation. (Mobile Collaborative Mixed Systems : Design and Development)
Mise au point d'un formalisme de haut niveau pour le traitement automatique des langues. (A high-level formalism for natural language processing)
Channel Allocation in Mobile Wireless Networks. (Allocation de canaux dans les réseaux sans fil mobiles)
Etude de la composante génétique de la Polyarthrite Rhumatoïde par séquençage d'exomes : contribution des variants rares. (Study of the genetic component of rheumatoid arthritis by exome sequencing: contribution of rare variants)
Le meilleur des cas pour l'ordonnancement de groupes: Un nouvel indicateur proactif-réactif pour l'ordonnancement sous incertitudes. (The best-case for groups of permutable operations: A new proactive-reactive parameter for scheduling under uncertainties)
Motifs formels d'architectures de systèmes pour la sûreté de fonctionnement. (Systems architectures formal safety patterns)
Réseaux de Petri temporels à inhibitions/permissions - Application à la modélisation et vérification de systèmes de tâches temps réel. (Forbid/Allow time Petri nets - Application to the modeling and checking of real time tasks systems)
Multilingual access to multi-store big data storage systems : application to mobility data and smart cities. (Accès polyglotte aux systèmes de stockage multi stores de données massives : application aux données de mobilité et des smart-cities)
More feasible programs from (non-constructive) proofs by the Light (Monotone) Dialectica interpretation. (Extraction de programmes plus efficaces à partir de preuves (non-constructives) par l'interprétation Dialectica Légère (Monotone))
Une approche mathématique pour la forme architecturale. (A mathematical approach to architectural form)
Contribution to Solving Three-Dimensional Packing Problems. (Contribution à la résolution des problèmes de placement en trois dimensions)
Algorithmes d'optimisation pour un service de transport partagé à la demande. (Optimization algorithms for a shared transport service)
Méthodes d'entraînement pour l'analyse de la stabilité d'un système complexe. (Training methods for analyzing the stability of a complex system)
Optimization of the availability of multi-states systems under uncertainty. (Optimisation de la disponibilité du système multi-états en présence d'incertitudes)
Signal and image denoising by splitting : application to ECG signature detection. (Débruitage de signaux et d'images par fractionnement : application à la détection de signatures ECG)
Progression models for Parkinson's Disease. (Modélisation de la progression de la maladie de Parkinson)
Codage vidéo hybride basé contenu par analyse/synthèse de données. (Content based hybrid video coding with data analysis/synthesis)
Edition collaborative massive sur réseaux Pair-à-Pair. (Collaborative editing over P2P networks)
Security and efficiency of blockchain technologies applied to internet-of-things application. (Sécurité et éfficacité des technologies blockchain appliquées à l'internet des objets)
La scénarisation de l'évaluation des activités pédagogiques utilisant les Environnements Informatiques d'Apprentissage Humain. (Assessment scenarization of learning activities using Interactive Learning Environments)
Interactions in information spread. (Interactions entre informations dans les processus de diffusion)
Machine learning algorithms for dynamic Internet of Things. (Algorithmes d'apprentissage machine appliqués au contexte dynamique de l'internet des objets)
Visual-based event mining in social media. (Découverte d'évènements par contenu visuel dans les médias sociaux)
Interactive Design of Virtual Worlds: Combining Procedural Modeling with Intuitive User Control. (Création interactive de mondes virtuels: Combiner génération procédurale et contrôle utilisateur intuitif)
Initiation and propagation of fractures in anisotropic media, taking into account Hydro-Mechanical couplings. (Initiation et propagation de la fracturation en milieu anisotrope avec prise en compte des couplages hydro-mécaniques)
Cross-Layering et routage dans un réseau ad hoc : politique de relais de trame sur un réseau de capteurs sans fil organisé selon une topologie en arbre
Microscopie par Localisation de Molécules Individuelles en Profondeur Utilisant la Technologie soSPIM et l'Optique Adaptative. (Single Molecule Localization Microscopy in Depth Using soSPIM and Adaptive Optics)
Using Block Low-Rank compression in mixed precision for sparse direct linear solvers. (Utilisation de compression Block Low-Rank en précision mixte pour améliorer les performances d'un solveur linéaire creux direct)
Verification based on unfoldings of Petri nets with read arcs. (Vérification à l'aide de dépliages de réseaux de Petri étendus avec des arcs de lecture)
Hybrid real-time operating system integrated with middleware for resource-constrained wireless sensor nodes. (Système d'exploitation temps-réel hybride intégré avec un middelware pour les noeuds capteurs sans fil contraints en ressources)
Analyse et enrichissement de flux compressés : application à la vidéo surveillance. (Compressed streams analysis and enrichment : application to video surveillance)
Modélisation et évaluation des performances de la chaine de transport intermodal de porte à porte : le cas du corridor de la Vallée de Seine. (Modeling and evaluating the performance of the intermodal freight transportation chain based on door-to-door service : case study of the corridor of the Seine Valley)
Environnement Interopérable Distribué pour les Simulations Numériques avec Composants CAPE-OPEN. (Distributed Interoperable Environment for Numerical Simulations using CAPE-OPEN Components)
Extraction d'information spatiale à partir de données textuelles non-standards. (Spatial information extraction from non-standard textual data)
A simulation-driven model-based approach for designing softwareintensive systems-of-systems architectures. (Une approche dirigée par les simulations à base de modèles pour concevoir les architectures de systèmes-des-systèmes à logiciel prépondérant)
Recalage et planification du traitement en radiothérapie et protonthérapie. (Mage matching and treatment planification in radiotherapy and protontherapy)
Reliable statistical inference : controlling the false discovery proportion in high-dimensional multivariate estimators. (L'inférence statistique fiable : contrôle de la proportion de fausses découvertes pour des estimateurs en grande dimension)
Projet POLYPHEME : l'expression et la décomposition de transactions dans un système de bases de données reparties
Expressivité des automates pondérés circulaires et boustrophédons. (Expressivity of weighted rotating and two-way automata)
Optical frequency comb generation using InP based quantum-dash/ quantum-well single section mode-locked lasers. (Génération de peignes de fréquences optiques à l'aide de lasers à verrouillage de modes mono-section, à base de bâtonnets et puits quantiques élaborés sur InP)
Hexahedral curved block-structured mesh generation for atmospheric re-entry. (Génération de maillages hexaédriques structurés par blocs courbes pour la rentrée atmosphérique)
Algorithms for super-resolution of images and videos based on learning methods. (Algorithmes de super-résolution d'images et de vidéos basés sur des méthodes d'apprentissage)
Contribution à la modélisation de réseaux de spécifications sémantiques et tissage des liens entre les données « produit » tout au long de son cycle de vie. (Contribution to the modeling of semantic specification networks and the discovery of semantic links between "product" data throughout its life cycle)
High genus maps : from the KP hierarchy to probabilistic limits. (Cartes de grand genre : de la hiérarchie KP aux limites probabilistes)
Complexity of polynomial systems representations: triangulation, modular methods, dynamic evaluation. (Complexité des représentations des systèmes de polynômes : triangulation, méthodes modulaires, évaluation dynamique)
Etude, mise au point et validation de modèles de turbulence compressible. (Development, validation and assessment of turbulence models for compressible flows)
Optimisation d'infrastructures de cloud computing sur des green datacenters. (Infrastructure Optimization of cloud computing on green data centers)
Implémentation et bénéfices des systèmes d'interaction haute-fidélité: d'un contrôle plus performant à un apprentissage d'objets 3D plus rapide. (Implementation and benefits of high fidelity interactive systems: from a more performant control to faster 3D objects learning)
Ultrasound image segmentation using local statistics with an adaptative scale selection. (Segmentation d'images ultrasonores basée sur des statistiques locales avec une sélection adaptative d'échelles)
Déformations d'algèbres de Hopf combinatoires et inversion de Lagrange non commutative. (Deformations of combinatorial Hopf algebras and noncommutative Lagrange inversion)
Outils pour la parallélisation automatique. (Tools for automatic parallelization)
Contributions aux méthodes de détection visuelle de fermeture de boucle et de segmentation topologique de l'environnement. (Contributions to visual loop closure detection and environment topological segmentation methods)
Fusion multi-niveaux par boosting pour le tagging automatique. (Multi-level fusion by boosting for automatic tagging)
Application de l'Intelligence Economique dans un Système d'Information Stratégique universitaire : les apports de la modélisation des acteurs
Apprentissage de connaissances structurelles pour la classification automatique d'images satellitaires dans un environnement amazonien. (Structural knowledge learning for automatic classification of satellites images in Amazonian environment)
Simulation du ruissellement d'eau de pluie sur des surfaces agricoles. (Rain water overland flow on agricultural fields simulation)
High-level approach for the automatic generation of optimized hardware accelerators for deep neural networks. (Approche haut niveau pour la génération automatique d'accélérateurs matériels optimisés pour les réseaux de neurones profonds)
On packing, colouring and identification problems. (Problèmes de placement, de coloration et d'identification)
Molecular mechanisms of phase II drug metabolizing enzymes SULT1 and their interactions with small ligands modeled through computational approaches. (Mécanismes moléculaires des enzymes SULT1 de la phase II du métabolisme et leurs interactions avec de petits ligands modélisés par des approches computationnelles)
First seconds matter : Mangaing first impressions for a more engaging virtual agent. (Les premières secondes comptent : gérer les premières impressions pour un agent virtuel plus engageant)
Fusion de différents modes de capture pour la reconnaissance du visage appliquée aux e_transactions. (Fusion of different capture modes for face recognition applied to e_transactions)
Étude du mode de désignation dans un dialogue homme-machine finalise a forte composante langagière : analyse structurelle et interprétation. (The designation mode in man-machine task oriented dialogue with strong linguistic component : structural analysis and interpretation)
Développement d'une approche basée sur les modèles dynamiques compartimentaux pour évaluer le bénéfice et l'impact des nouveaux médicaments en population générale : application au cas de l'hépatite C
Adaptation du design des visualisations de type supervisions pour optimiser la transmission des notifications classées par niveau d'intérêt. (Supervision type visualisation design adaptation in order to optimse transfer of notes classified by level of interest)
Relaxation de contraintes globales : Mise en oeuvre et Application. (Softening Global Constraints : Implementation & Application)
Sensor fusion with deep neural networks for 3D object detection for autonomous vehicles. (Fusion de capteurs par réseaux de neurones profonds pour la détection d'objets 3D dans l'environnement des véhicules autonomes)
Game-theory approaches to study and influence interactions among self-interested agents in wireless networks. (Utilisations de la théorie des jeux pour étudier et influencer les interactions entre agents dans les réseaux sans fil)
Simulation des conditions de trafic intracellulaire d'un réseau sans fil en milieu industriel par un modèle de propagation composite. (Simulation of the intracellular trafic conditions of a wireless network in an industrial environment with a split model)
Post mortem inference of the human brain microstructure using ultra-high field magnetic resonance imaging with strong gradients. (Etude de la microstructure du cerveau humain par imagerie post mortem à très haut champ magnétique et forts gradients)
Mesures de comparabilité pour la construction assistée de corpus comparables bilingues thématiques. (Comparability measures for the assisted construction of bilingual thematic comparable corpora)
Etude de la programmation logico-fonctionnelle concurrente
Curve Based Approach for Shape Reconstruction of Continuum Manipulators. (Modélisation par des Courbes pour la Reconstruction des Formes de Manipulateurs Continuums)
Smart vehicule trajectory prediction in various autonomous driving scenarios. (Prédiction intelligente des trajectoires de véhicules, dans différents scenarii de conduite autonome)