6069 articles
Cet article démontre que les dynamiques de graphes causaux, qui modélisent la transformation synchrone et déterministe de graphes de ports, peuvent être comprises comme des extensions de Kan, révélant ainsi la validité de la formalisation des transformations globales pour ce modèle et mettant en lumière l'universalité des dynamiques causales monotones.
Cet article propose une théorie et des algorithmes pour classer les transformations de graphes en vue de leur réparation en utilisant des conditions d'application faibles dites « indicatrices d'altération » et « indicatrices de réparation », permettant ainsi d'évaluer et d'optimiser le gain potentiel de réparation avant l'exécution.
Cet article présente une règle de trapèze transformée par une transformation de Möbius qui, en appliquant un changement de variable de la droite réelle au cercle unité, permet d'atteindre un taux de convergence optimal pour l'intégration de fonctions dans un espace de Sobolev pondéré, sans nécessiter d'échantillonnage probabiliste ni de dérivées de la fonction poids.
Cet article présente un algorithme déterministe en temps polynomial pour approximer le nombre de colorations propres d'un graphe de degré maximum avec au moins couleurs, en exploitant l'absence de zéros du partition fonction du modèle de Potts antiferromagnétique pour briser la barrière .
Ce papier propose une solution d'apprentissage multi-agent hiérarchique et indépendant couplée à une approche inter-couches pour optimiser les paramètres IEEE 802.11 et réduire significativement la latence des mises à jour de cartes haute définition dans les réseaux véhiculaires denses.
Le papier présente TIMotion, un cadre efficace et performant pour la génération de mouvements humains à deux, qui améliore la modélisation temporelle et interactive grâce à l'injection causale, l'analyse évolutive des rôles et l'amplification des motifs locaux.
Le papier présente VisPoison, un cadre d'attaque par backdoor qui exploite l'empoisonnement des données pour compromettre les modèles de visualisation de données textuelles, permettant aux attaquants de provoquer des fuites de données, des visualisations trompeuses ou des dénis de service avec un taux de réussite supérieur à 90 %.
Le papier présente OWL-TAMP, une approche qui intègre des modèles vision-langage pour générer des contraintes discrètes et continues afin d'améliorer la planification tâche-mouvement dans des environnements ouverts et de résoudre des tâches de manipulation complexes à long terme spécifiées en langage naturel.
Cette étude révèle que, malgré des stratégies d'atténuation, les réponses inexactes et la surcharge cognitive des assistants IA conduisent souvent les ingénieurs logiciels à abandonner leur utilisation, soulignant la nécessité d'une meilleure intégration de ces outils dans les flux de travail.
Cet article propose un cadre d'apprentissage de prompts actif et économe en budget qui améliore l'adaptation des modèles vision-langage aux nouvelles tâches en utilisant un regroupement guidé par les classes et une requête sélective basée sur des seuils adaptatifs, surpassant ainsi les méthodes existantes sur plusieurs jeux de données.
Cette étude propose une taxonomie de neuf « odeurs » de journalisation (log smells) dérivées d'une revue de littérature, en les reliant aux outils existants pour identifier les lacunes actuelles et orienter les futures recherches vers l'amélioration de la qualité du code de journalisation.
Cette étude comparative menée sur 72 participants en réalité mixte conclut que, bien que la complexité des tâches influence la demande de collaboration, la représentation graphique en 3D ne suffit pas à générer de meilleurs résultats collaboratifs que les groupes nominaux.
Cet article démontre que la suite des longueurs de runs et les positions de départ et d'arrivée des runs dans les suites de pliage de papier sont 2-synchronisées, ce qui permet de les calculer via un automate fini et d'obtenir de nouveaux résultats sur leur exposant critique et leur complexité factorielle.
L'article présente ARSGaussian, une méthode innovante de synthèse de vues nouvelles pour la télédétection aérienne qui intègre des nuages de points LiDAR et des pertes de régularisation géométrique pour éliminer les artefacts visuels et améliorer la précision géométrique, accompagnée de la publication du nouveau jeu de données open-source AIR-LONGYAN.
Cette étude analyse par text-mining 160 directives et déclarations politiques couvrant quatorze secteurs industriels pour évaluer la gouvernance des IA génératives et des grands modèles de langage, en mettant en lumière les défis éthiques et réglementaires tout en proposant des recommandations pour une intégration responsable.
Cette étude propose le modèle ELIPformer, qui intègre des connaissances préalables langage-image via un mécanisme d'attention bidirectionnelle, afin d'améliorer les performances de décodage des signaux EEG dans les interfaces cerveau-ordinateur RSVP sans nécessiter de recalibration lors du passage à de nouvelles tâches.
Cet article propose MTREE-Net, un réseau de fusion EEG et mouvements oculaires avec un module complémentaire et une stratégie de rééquilibrage dynamique, ainsi qu'un jeu de données ouvert, pour améliorer significativement la précision du décodage des cibles multi-classes dans les interfaces cerveau-ordinateur basées sur la présentation visuelle rapide (RSVP).
Ce papier présente Kite, un nouveau protocole permettant aux membres des DAO de déléguer, révoquer et redéléguer leur pouvoir de vote de manière entièrement privée, sans révéler l'identité des délégués, tout en garantissant la sécurité via le cadre UC et en démontrant sa faisabilité pratique sur Ethereum.
Ce papier présente les iMarkers, des marqueurs de fiduciation invisibles pour l'œil humain mais détectables par les robots, conçus pour résoudre le problème esthétique des marqueurs traditionnels tout en offrant une grande flexibilité de production et une détection robuste dans divers scénarios robotiques.
Cet article propose et analyse une méthode d'éléments finis pour le couplage des équations de Stokes et de Poisson-Boltznon, démontrant l'existence et l'unicité de la solution, la stabilité du problème discret et la convergence de la méthode, tout en validant ces résultats par des simulations numériques sur des écoulements électro-osmotiques.