5633 articles
Ce papier présente MCQUIC, une extension du protocole QUIC qui permet une diffusion multicast sécurisée et vérifiable pour les événements en direct à grande échelle, tout en offrant une bascule automatique vers l'unicast pour garantir la fiabilité et la transparence vis-à-vis des applications.
Cette étude compare l'évolution des financements de la recherche santé collaborative entre l'Union européenne et les États-Unis depuis 2008, révélant que si les programmes européens se sont nettement orientés vers la recherche translationnelle et les systèmes de santé, les publications scientifiques restent dominées par la recherche biomédicale fondamentale, mettant en lumière un décalage entre les attentes stratégiques des financeurs et les trajectoires réelles de la recherche.
Cet article généralise les résultats de tractabilité sur l'accès direct aux réponses des requêtes conjonctives en les étendant aux requêtes signées (contenant des atomes négatifs) grâce à une technique basée sur des circuits relationnels, permettant ainsi d'unifier et d'étendre les classes connues de requêtes traitables.
Cet article introduit la unification du second ordre sans variables du premier ordre (SOGU), démontre que sa variante associative (ASOGU) est indécidable par réduction du dixième problème de Hilbert, et établit ainsi une nouvelle borne inférieure pour l'indécidabilité de la unification du second ordre.
Les auteurs démontrent que la théorie équationnelle du calcul positif des relations avec fermeture transitive (PCoR*) est EXPSPACE-complète en concevant des dérivées sur les graphes qui permettent de décider cette théorie via une construction d'automates finis sur les décompositions de chemins.
Cet article présente ChatSearch, un nouveau jeu de données et un modèle de génération nommé ChatSearcher, conçus pour améliorer la recherche d'images par conversation interactive en permettant au système de raisonner sur des contextes multimodaux et d'utiliser des connaissances du monde réel.
Ce papier démontre que les schémas actuels de filigranes par porte dérobée pour la vérification de la propriété des jeux de données sont vulnérables à la contrefaçon, car un attaquant peut générer des filigranes forgés statistiquement indiscernables des originaux pour réfuter des accusations de violation du droit d'auteur.
Le papier présente Sketch2Cinemagraph, un cadre de génération conditionnelle guidé par des croquis qui permet de synthétiser des cinégraphes de paysages stylisés avec un contrôle précis des flux spatiaux et temporels.
Le papier présente vS-Graphs, un cadre VSLAM en temps réel qui améliore la précision de la localisation et la richesse sémantique des cartes en intégrant une compréhension hiérarchique de la scène dans des graphes 3D optimisables, surpassant les méthodes de l'état de l'art de 15,22 % en moyenne.
Cet article présente PromCopilot, un cadre basé sur les grands modèles de langage et les graphes de connaissances qui simplifie l'interrogation de Prometheus en traduisant le langage naturel en requêtes PromQL, et introduit le premier jeu de données de référence pour cette tâche.
Cet article propose une stratégie d'échantillonnage de paires positives exploitant le contexte spatial des tissus pour améliorer l'apprentissage auto-supervisé en pathologie numérique, surpassant les méthodes d'augmentation synthétique traditionnelles sur plusieurs jeux de données.
Cet article propose FlexHook, un nouveau cadre de suivi d'objets référé en deux étapes qui surpasse les méthodes actuelles de l'état de l'art en résolvant les limitations des constructions de caractéristiques heuristiques et de la modélisation fragile des correspondances grâce à une stratégie d'injection de repères conditionnés par le langage et à un décodeur de correspondance par paires.
Ce papier propose ConDU, une nouvelle approche de découplage et d'unification par fusion de modèles qui permet aux modèles vision-langage d'apprendre continuellement sans oublier les tâches précédentes tout en améliorant leurs capacités zéro-shot.
Ce papier présente la conception et l'analyse expérimentale d'un robot quadrupède de taille moyenne à entraînement par chaîne et jambes en sandwich, conçu comme une plateforme de recherche accessible, fiable et peu coûteuse (environ 8000 $) dont les plans sont open-source.
Cet article établit les conditions nécessaires et suffisantes pour assurer une communication fiable dans des réseaux dynamiques soumis à des pannes byzantines, tout en étendant son analyse aux pertes de messages, aux délais de calcul locaux et aux messages authentifiés.
Cet article propose une méthode de décomposition graphique appelée arbre acyclique-connecté (A-C), calculable en temps linéaire, qui permet d'améliorer la complexité temporelle des algorithmes de plus court chemin à source unique en exploitant la structure modulaire des graphes via un paramètre de largeur d'imbrication.
Cet article présente TCBS-Attack, une nouvelle méthode d'attaque par boîte noire qui utilise une recherche de frontière de contraintes au niveau des tokens pour contourner efficacement les défenses en chaîne complète des modèles de génération d'images texte-à-image, surpassant ainsi les méthodes existantes.
Le papier présente SEGA, une méthode innovante permettant de créer des avatars de tête 3D photoréalistes et animables en temps réel à partir d'une seule image, en combinant des priors généralisés et un nouveau framework de splatting gaussien hiérarchique dans l'espace UV pour garantir une cohérence 3D et une fidélité d'identité supérieures.
Cet article présente la première évaluation systématique d'attaques sur les filigranes de graphes qui exploitent la structure communautaire, démontrant que ces attaques ciblées surpassent les perturbations aléatoires en réduisant l'efficacité de l'attribution tout en maintenant une distorsion structurelle comparable.
Cet article propose une méthode d'apprentissage non supervisé de descripteurs agnostiques aux points d'intérêt pour l'enregistrement d'images rétiniennes, démontrant des performances précises et compétitives par rapport aux méthodes supervisées tout en s'affranchissant du besoin de données étiquetées.