7582 articles
Cet article démontre que l'ajout de la règle d'échange réduit considérablement le nombre de variétés de treillis résiduels idempotents et semi-linéaires possédant la propriété d'amalgamation, passant d'une infinité continue pour les logiques non commutatives à exactement soixante pour les logiques commutatives.
Cet article établit une fondation pour un calcul des expressions de langages contextuels sans lieurs de variables en exploitant une représentation par automates et des formes normales au sein d'un produit tensoriel d'algèbres de Kleene, tout en analysant les propriétés des algèbres polycycliques et .
Cet article présente un algorithme en temps polynomial pour partitionner un polygone simple en un nombre minimal de polygones en forme d'étoile, résolvant ainsi un problème théorique ouvert depuis plus de quarante ans.
Cet article généralise les inégalités relatives à la fonction sommatoire de la somme des chiffres en base donnée et démontre que plusieurs résultats connus découlent d'un théorème publié en 2023 par Mohanty et ses collègues, initialement consacré à la robustesse mutationnelle maximale dans les cartes génotype-phénotype.
Les auteurs démontrent que le problème d'isomorphisme pour les tournois de largeur jumeau bornée est décidable en temps polynomial, en utilisant des techniques de théorie des groupes, et établissent que cette propriété ne s'applique pas aux graphes non orientés ni aux algorithmes de Weisfeiler-Leman de dimension sous-linéaire.
Ce papier propose une approche de réécriture symbolique pour composer des propriétés LTL sur des composants logiciels asynchrones interagissant via des ports de données, en traitant à la fois les traces infinies et finies, et en intégrant cette méthode dans l'outil OCRA pour valider sa pertinence par rapport aux approches existantes.
Cet article établit une preuve simple reliant deux types de récurrences de Fibonacci -aires au dénombrement de mots -régulaires évitant certains motifs, complète ce résultat par un nouveau théorème pour une autre classe de motifs, et émet une conjecture sur les nombres de Fibonacci au carré dans le contexte des motifs vinculaires.
Cet article caractérise complètement les langages ω-réguliers positionnels via les automates de parité, établissant ainsi la décidabilité de cette propriété en temps polynomial, prouvant des résultats de levier et confirmant la clôture par union, ce qui résout une conjecture de Kopczyński dans le cadre ω-régulier.
Cet article généralise la sémantique des langages à appel par valeur en montrant que la représentation des espaces fonctionnels avec itération gardée nécessite des monades paramétrées, offrant ainsi une description de la garditude comme une propriété catégorique intrinsèque des programmes.
Les auteurs présentent un algorithme permettant d'énumérer les réponses aux requêtes MSO sur des arbres non rangés compressés par un programme linéaire, avec un temps de prétraitement linéaire par rapport à la taille de la compression et un délai de sortie linéaire, tout en supportant des mises à jour de libellés en temps logarithmique.
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.