yusuke1997/dblp-id-title huggingface dataset:
Frequency synchronization for carrier allocation in uplink OFDMA systems
Algorithmes d'allocation statique pour la planification d'applications haute performance. (Static Allocation Algorithms for Scheduling High-Performance Applications)
An algebraic theory of real-time formal languages. (Théorie algébrique des langages formels temps réel)
It is necessary and possible to build (multilingual) NL-based restricted e-commerce systems with mixed sublanguage and content-oriented methods. (Il faut et on peut construire des systèmes de commerce électronique à interface en langue naturelle restreints (et multilingues) en utilisant des méthodes orientées vers les sous-langages et le contenu)
Modélisation de l'évolution dirigée de la tyrosyl-ARNt synthétase in silico. Introduction d'acides aminés non naturels dans les protéines. (Protein evolution, refinement of a protein design method and application to a t-RNA aminoacyl synthetase)
Observations et analyses quantitatives multi-niveaux d'applications à objets réparties. (Multi-layer observations and quantitative analysis of distributed object applications)
Factorisation incomplète et résolution de systèmes triangulaires pour des machines exploitant un parallélisme à grain fin. (Incomplete factorization and solution of triangular systems for fine-grained parallelism computers)
A Quest for Exactness: Program Transformation for Reliable Real Numbers. (Transformation de Programmes pour des Nombres Réels Fiables)
Codes de Reed-Muller et cryptanalyse du registre filtré
Suivi de forme et reconstruction de champ dans un environnement logiciel contraint - une approche minimaliste et externaliste. (Following shape and visual field analysis in a software environment - a minimalist and externalist approach)
Multivariate analysis with tensors and graphs - application to neuroscience. (Tenseurs et graphes pour l'analyse multivariée - application aux neurosciences)
Segmentation et évolution pour la planification : le système Divide-And-Evolve
Migration de processus dans les systemes massivement paralleles. (Process migration in massively parallel systems)
Exceptions dans les langages à objets
L'agilité comme outil pour la gestion de projets d'ingénierie des systèmes. (Agility as a tool for managing systems engineering projects)
Polarization dependent loss in next-generation optical networks : challenges and solutions. (Des solutions à de nouveaux défis dans les réseaux optiques modernes avec perte dépendant de la polarisation)
"How much is 'about'?" modélisation computationnelle de l'interprétation cognitive des expressions numériques approximatives. ("How much is about ?" computational modeling of the cognitive interpretation of approximate numerical expressions)
Enhancing outdoor radio frequency mapping with Ray Tracing techniques. (Amélioration de la précision des cartes de couverture réseau par des techniques de lancer de rayons)
L'identité professionnelle des localiers à l'heure des mutations économiques et de la dématérialisation de la presse locale. (The local journalists professional identity in front of economical changes and digitalization of local press)
Contribution à la parallélisation et au passage à l'échelle du code FLUSEPA. (Contributions to the parallelization and the scalability of the FLUSEPA code)
Co-scheduling for large-scale applications : memory and resilience. (Ordonnancement concurrent d'applications à grande échelle : mémoire et résilience)
PET imaging for the characterization of tauopathies: Alzheimer's disease and chronic traumatic encephalopathy. (Imagerie TEP pour la caractérisation des tauopathies: maladie d'Alzheimer et encéphalopathie traumatique chronique)
Résolution variable et information privilégiée pour la reconnaissance d'images. (Varying resolution and privileged information for image recognition)
Evaluation de la maturité des technologies médicales pilotées par logiciel : vers un modèle non contraignant pour la phase de recherche. (Assessing the Maturity of Software-Driven Medical Technologies : Towards a Non-Binding Model for the Research Phase)
Long term people trackers for video monitoring systems. (Suivi long terme de personnes pour les systèmes de vidéo monitoring)
Detecting and Surviving Intrusions: Exploring New Host-Based Intrusion Detection, Recovery, and Response Approaches. (Détecter et survivre aux intrusions : exploration de nouvelles approches de détection, de restauration, et de réponse aux intrusions)
Fonctionnement hydraulique des structures réservoirs pour l'assainissement pluvial : étude des dispositifs de diffusion d'eau et modélisation du couple drain-milieu poreux
Apprentissage de la qualité de service dans les réseaux multiservices: applications au routage optimal sous contraintes. (Learning of the quality of service in multiservice networks: applications to optimal routing with constraints)
Organisation et pilotage de la prise en charge des patients dans le cadre du réseau des urgences. (Organization and control delivery care within the framework of Emergency logistics network)
Embodied Interaction for Data Manipulation Tasks on Wall-sized Displays. (Interaction incorporée pour des tâches de manipulation de données sur un mur d'écrans)
Contrôle des communications dans les machines parallèles à mémoire distribuée : contribution au routage automatique des messages. (Communications control in distributed-memory parallel machines : a contribution to messages routing)
Sur les types de données dans les langages logico-fonctionnels : Réécriture et surréduction des graphes admissibles. (On Data Types in Functional Logic Programming Languages: Admissible Graph Rewriting and Narrowing)
Study and design of new encryption primitives based on rank metric error correcting codes. (Étude et conception de nouvelles primitives de chiffrement fondées sur les codes correcteurs d'erreurs en métrique rang)
Ordonnancement de tâches parallèles dans les environnements fortement perturbés. (Scheduling parallel tasks in very disturted environments)
Multi-scale Point Cloud Analysis. (Analyse multi-échelle de nuage de points)
Apport d'une conception centrée utilisateur adaptée selon les besoins des personnes en situation de handicap. (User centered design's input for adaptation disable people's need)
Identification de marqueurs précoces de la gestation dans les cellules immunitaires circulantes chez les ruminants. (Identification of early pregancy markers in immune circulating cells in ruminants)
Développement de la signalisation calcique dans les neurones à GnRH. (Développement de la signalisation calcique dans les neurones à GnRH)
Univariate and multivariate quantiles, probabilistic and statistical approaches; radar applications. (Quantiles univariés et multivariés, approches probabilistes et statistiques ; applications radar)
Novel view synthesis from sparse inputs. (Synthèse de nouvelles vues à partir d'entrées limitées)
The Discrete Logarithm Problem in Finite Fields with Extensions. (Le problème du logarithme discret dans les corps finis avec extensions)
Approximation linéaire par morceaux de fonctions de deux variables avec erreur bornée pour la résolution de problèmes d'optimisation non linéaire mixte en nombres entiers. (Piecewise linear approximation of two-variable functions with a bounded error for mixed-integer nonlinear programming)
Rotations in 2D and 3D discrete spaces. (Rotations dans les espaces discrets 2D et 3D)
Algorithmes robustes en optimisation non convexe : codes et simulations numériques en grande dimension. (Efficient algorithms for large scale non-convex optimization)
On the Power and Universality of Biologically-inspired Models of Computation. (Étude de la puissance d'expression et de l'universalité des modèles de calcul inspirés par la biologie)
L'indépendant faiblement connexe : études algorithmiques et polyédrales. (Weakly connected independent sets : algorithmic and polyhedral studies)
Détection automatique des opacités en tomosynthèse numérique du sein. (Automatic detection of masses in digital breast tomosynthesis datasets)
Assistance à la construction et à la comparaison de techniques de diagnostic des connaissances. (Assistance to build and compare knowledge diagnostic techniques)
Apprentissage automatique de données massives bathymétriques pour l'optimisation de systèmes de levé hydrographique. (Machine learning on massive bathymetric data for the optimization of hydrographic survey systems)
Méthodes avancées pour une ingénierie WLAN multi-standards. (Advanced methods for multi-standard WLAN engineering)
Smart atlas for endomicroscopy diagnosis support: a clinical application of content-based image retrieval. (Atlas intelligent pour guider le diagnostic en endomicroscopie : une application clinique de la reconnaissance d'images par le contenu)
Behavioural distances for probabilistic higher-order programs. (Distances comportementales pour des programmes probabilistes d'ordre supérieur)
High-order fictitious domain method for the elliptic and Navier-Stokes equations. Application to the fluid-structure coupling. (Méthodes de domaines fictifs d'ordre élevé pour les équations elliptiques et de Navier-Stokes. Application au couplage fluide-structure)
Statistical modeling and processing of high frequency ultrasound images: Application to dermatologic oncology. (Modélisation et traitement statistiques d'images d'ultrasons de haute fréquence. Application à l'oncologie dermatologique)
Signal injection and sensorless control of electrical motors. (Injection de signal et contrôle "sans capteurs" des moteurs électriques)
Modélisation de données pharmacologiques précliniques et cliniques d'efficacité des médicaments anti-angiogéniques en cancérologie. (Modeling of preclinical and clinical pharmacological data for the efficacy of antiangiogenic compounds in oncology)
Artificial Intelligence for Ecosystem Monitoring using Remote Sensing and Digital Agriculture Data. (Intelligence artificielle appliquée aux séries temporelles d'images satellites pour la surveillance des écosystèmes)
Generative Adversarial Networks for Synthesis and Control of Drum Sounds. (Réseaux adversaires génératifs pour la synthèse et le contrôle des sons de batterie)
Inductive, Functional and Non-Linear Types in Ludics. (Types inductifs, fonctionnels et non-linéaires en ludique)
Extraction and Analysis of Knowledge for Automatic Software Repair. (Extraction et l'analyse de connaissance pour la réparation automatique de bugs)
Statistical Modeling for Detection of Digital Image Forgery. (Modélisation statistique pour la détection de la falsification des images numériques)
Vehicle Sharing Systems Pricing Optimization. (Vehicle Sharing Systems Pricing Optimization (Optimisation des systèmes de véhicules en libre service par la tarification))
Study of non-orthogonal multiple access schemes for the massive deployment of IoT in future cellular networks. (Etude des mécanismes d'accès multiples non orthogonaux pour le déploiement massif de l'IoT dans les futurs réseaux cellulaires)
Cryptanalyse des algorithmes de type Even-Mansour. (Cryptanalysis of Even-Mansour type algorithms)
Combining content analysis with usage analysis to better understand visual contents. (Compréhension de contenus visuels par analyse conjointe du contenu et des usages)
Compression adaptative de surfaces par ondelettes géométriques. (Adaptive surface compression with geometric wavelets)
Contribution à la synthèse de lois de commande pour les systèmes de type Takagi-Sugeno et/ou hybrides interconnectés. (Contribution on the control laws synthesis's of Takagi-Sugeno and/or hybrid interconnected systems)
Active Learning Methods for Interactive Exploration on Large Databases. (Méthodes d'apprentissage actif pour l'exploration interactive sur les grandes bases de données)
Editeur de texte interactif : réalisation et évaluation
Apprentissage automatique non supervisé pour la détection de trafics illégitimes. (Unsupervised machine learning for illegitimate traffic detection)
Hiérarchisation et facettisation de la représentation par segments d'un graphe planaire. (Hierarchies and triangulations in planar straight-line graphs in the context of two-level precision arithmetic)
Deep Multimodal Learning for Vision and Language Processing. (Apprentissage Multimodal Profond pour le Traitement de la Vision et du Langage)
Contributions à l'analyse de canaux auxiliaires sans connaissance des clairs et chiffrés, et à la recherche de S-boxes compactes. (Contribution to blind side channel analysis, and search of compact S-boxes)
A monitoring and threat detection system using stream processing as a virtual function for Big Data. (Un système de surveillance et détection de menaces utilisant le traitement de flux comme une fonction virtuelle pour le Big Data)
Microgrid agent-based modelling and optimization under uncertainty. (Modélisation et optimisation de micro réseaux sous incertitude avec une approche orientée agent)
Privacy and utility assessment within statistical data bases. (Mesure de la vie privée et de l'utilité des données dans les bases de données statistiques)
MOCAS : un modèle de composants basé états pour l'auto-adaptation. (MOCAS: a state-based component model for self-adaptation)
Adaptive machine learning algorithms for data streams subject to concept drifts. (Algorithmes de machine learning adaptatifs pour flux de données sujets à des changements de concept)
Représentations hiérarchiques de la visibilité pour le contrôle de l'erreur en simulation de l'éclairage. (Hierarchical representations of visibility for error control in lighting simulation)
Raisonner sur la manipulation dans les systèmes multi-agents : une approche fondée sur les logiques modales. (Reasoning about manipulation in multi-agent systems : an approach based on modal logics)
Etude de la morphologie et de la distribution des neurones dans le cerveau de macaque par microscopie optique. (Study of the morphology and distribution of neurons in the macaque brain using optical microscopy)
Approches radiométriques et géométriques pour l'extraction de bâtiments en imagerie satellitaire optique et RSO haute résolution. (Radiometric and Geometric Approches for Building Extraction in High Resolurtion Optical and SAR Spaceborne Images)
Extension du modèle IFS pour une géométrie fractale constructive
Des algorithmes rapides pour la validation croisée sur des problèmes d'approximation non linéaires. (Some fast algorithms for cross-validation on non-linear approximation problems)
Tools for Fluid Simulation Control in Computer Graphics. (Outils pour le contôle de simulation de fluide en informatique graphique)
Investigation of novel filtered multi-carrier waveforms in the context of massive MIMO systems. (Étude de nouvelles formes d'ondes multiporteuses filtrées dans le contexte des systèmes MIMO massifs)
Représentation sémantique des biomarqueurs d'imagerie dans le domaine médical. (Semantic representation of imaging biomarkers in the medical field)
ALEBAS: une méthodologie de développement et d'analyse de sûreté de fonctionnement des systèmes embarqués. (ALEBAS: a development and safety analysis methodology of embedded systems)
Techniques de surcharge en utilisateurs d'un canal à accès multiple. (Overloading Techniques on a Multiple Access Channel)
Analysis of Multipath Channel Reduction Models for the Testing of Realistic GNSS Receivers. (Analyse de modèles de réduction du canal de multitrajets pour des tests réalistes de récepteurs GNSS)
Anycast de nos jours. (Anycast nowadays)
WIFI Integration with LTE in the Roadmap of 5G Networks. (Intégration WiFi et LTE dans le domaine du système 5G)
Complex systems and health systems, computational challenges. (Systèmes complexes et systèmes de santé, défis calculatoires)
Classification Hiérarchique Implicative et Cohésitive selon la mesure MGK - Application en didactique de l'informatique. (Hierarchical Classification Implicative and Cohesive according to the interstingness measure MGK - Application in computer didactics)
Caractérisation des instances difficiles de problèmes d'optimisation NP-difficiles. (Characterization of difficult instances for NP-hard problems)
End-to-end mechanisms to improve latency in communication networks. (Mécanismes de bout en bout pour améliorer la latence dans les réseaux de communication)
3D visualization and interactive image manipulation for surgical planning in robot-assisted surgery. (Visualisation 3D et traitement d'images interactif pour l'assistance au placement des bras d'un robot chirurgical)
Structural optimal transport for domain Adaptation with theoretical guarantees. (Transport optimal structurel pour l'adaptation au domaine avec garanties théoriques)
Squelettes algorithmiques asynchrones : application aux langages orientés domaine. (Asynchronous algorithmic skeletons : application to domain specific languages)
Analyse matricielle Google des réseaux Wikipedia. (Google matrix analysis of Wikipedia networks)
Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog. (A Coq Formalization of Relational and Deductive Databases -and a Mechanizations of Datalog)
Bases creuses en algèbre linéaire exacte et simplification algorithmique de modèles biologiques. (Sparse bases in exact linear algebra and algorithmic simplification of biological models)
High-throughput real-time onion networks to protect everyone's privacy. (Réseaux en oignon haut débit et temps réel pour protéger la vie privée de toutes et tous)
Modeling and methodologies for the test of IMS services. (Modélisation et méthodologie pour le test de services IMS)
Conception d'un système temps-réel de surveillance de l'exposition aux polluants de l'air intérieur : Application au formaldéhyde. (Design of a real-time system for indoor air pollutant exposure monitoring : Application to formadehyde)
Proposing a representation model of computational simulations' execution context for reproducibility purposes. (Proposition d'un modèle pour la représentation de contexte d'exécution de simulations informatiques à des fins de reproductibilité)
Contribution à l'extraction et à la représentation des connaissances de l'environnement maritime: proposition d'une architecture dédiée aux applications de navigation
Study, optimization and silicon implementation of a smart high-voltage conditioning circuit for electrostatic vibration energy harvesting system. (etude, optimisation et implémentation en silicium du circuit de conditionnement intelligent haute-tension pour le système de récupération électrostatique d'énergie vibratoire)
Modélisation intentionnelle et annotation sémantique pour la réutilisation de services métiers PASiS: Publishing And Searching of Intentional Services. (intentional modeling and semantic annotation for business services reuse)
MÉLIDIS : Reconnaissance de formes par modélisation mixte intrinsèque/discriminante à base de systèmes d'inférence floue hiérarchisés. (MÉLIDIS: Pattern recognition by intrinsic/discriminant dual modeling based on a hierarchical organization of fuzzy inference systems)
Résolution des interférences pour la composition dynamique de services en informatique ambiante. (Interference resolution for dynamic service composition in ubiquitous computing)
Automatic code generation and optimization of multi-dimensional stencil computations on distributed-memory architectures. (Génération automatique de code et optimisation de calculs stencils sur des architectures à mémoire distribuée)
Intérêts des extraits végétaux riches en polyphénols dans la prévention de la lipoperoxydation chez le rat et le mouton reçevant des régimes supplémentés en AGPI n-3. (Beneficial effets of plant extracts rich in polyphenols in the prevention of lipoperoxidation in rat and sheep given n-3 PUFA enriched diets)
Local surface analysis with the Wavejets function basis : definition of new integral invariants and application to geometric details amplification. (Analyse locale de surface avec la base des Wavejets : définition de nouveaux invariants intégraux et application à l'amplification de détails géométriques)
Egocentric Hand Activity Recognition : The principal components of an egocentric hand activity recognition framework, exploitable for augmented reality user assistance. (Reconnaissance d'activité de la main d'un point de vue egocentrique : Les principaux composants d'un système de reconnaissance d'activité de la main, exploitable pour l'assistance aux utilisateurs en réalité augmentée)
Fairness in recommender systems: insights from social choice. (Equité des systèmes de recommandation: les perspectives du choix social)
Towards Effective, Efficient and Explainable Neural Information Retrieval. (Vers une recherche d'information neuronale efficace, efficiente et interprétable)
Anomaly detection schemes for SAR images. (Schémas de Détection d'anomalies pour imagerie SAR)
Une forme d'expression du diagnostic : contribution à l'étude ergonomique de la gestion automatique du dossier médical
Modèle d'exécution conscient de l'énergie pour les systèmes intermittents. (Energy-aware execution model for intermittent systems)
L'échec du livre électronique de Cytale au prisme des processus de traduction
Formation et dynamique des compartiments d'hétérochromatine pendant l'embryogenèse précoce. Etude des réarrangements chromatiniens dans les embryons de souris après fécondation naturelle et transfert de noyau
Modélisation du saut de fréquences des systèmes FTDMA pour l'évaluation de la Qualité de Service en GSM/GPRS/EDGE et le choix d'ingénieries de fréquences. (FTDMA frequency hopping model to evaluate the service quality in GSM/GPRS/EDGE and the frequency engineering)
Visual Observation of Human Emotions. (L'observation visuelle des émotions humaines)
Security for the Cloud. (Sécurité pour le Cloud)
Apprentissage actif par modèles locaux. (Active learning using local models)
Rééquilibrage de charge dans les solveurs hiérarchiques pour machines massivement parallèles. (Load balancing in hierarchical solvers on manycore architectures)
Navigation autonome en milieu urbain en présence d'obstacles mobiles : une approche géométrique. (Autonomous navigation in urban environments in the presence of moving obstacles : a geometric approach)
Designing Interactions, Interacting with Design: Towards Instrumentality and Materiality in Procedural Computer Graphics and Beyond. (Design d'interactions, interactions avec le design: vers une instrumentalité et une matérialité dans l'infographie procédurale et au delà)
Gestion dynamique et évolutive de règles de sécurité pour l'Internet des Objets. (Dynamic and scalable management of security rules for the Internet of Things)
Asymptotically Optimal Scheduling Schemes for Large Networks. (Schémas d'ordonnancement asymptotiquement optimaux pour les grands réseaux)
Printed image multiplexing by laser processing and its application to security and identity documents. (Multiplexage d'images par marquage laser pour applications dans le domaine des documents de sécurité et d'identité)
Contribution à la construction de mosaïques d'images sous-marines géo-référencées par l'introduction de méthodes de localisation. (Contribution to the underwater image geo-referenced mosaic construction by introducing localization methods)
Contributions to Lane Marking Based Localization for Intelligent Vehicles. (Contribution à la localisation de véhicules intelligents à partir de marquage routier)
Two statistical methods for graph model selection: Distance to the microcanonical ensemble and prequential inference on edge sequences. (Deux méthodes statistiques pour la sélection de modèles de graphes: La distance à l'ensemble microcanonique et l'inférence préquentielle sur les séquences d'arêtes)
A multifold approach to address the security issues of stateful forwarding mechanisms in Information-Centric Networks. (Une approche multidimensionnelle pour aborder les problèmes de sécurité des mécanismes d'acheminement à états dans les réseaux orientés contenus)
Contribution à la résolution parallèle et séquentielle des problèmes combinatoires : découpe et placement. (Contribution to the parallel and sequential resolution of combinatorial problems : cutting and packing)
Développement, analyse et implémentation d'un modèle financier continu en temps. (Development, analysis and implementation of a continuous-in-time financial model)