Informatique - Logique en informatique

Un aperçu des structures unaires et de leurs définitions concises dans la représentation des données.

Explore comment la vérification à l'exécution aide à vérifier la performance des systèmes à travers des traces d'événements.

Explore les nuances de la logique intuitionniste et ses implications en maths et en informatique.

Une méthode améliorant la vérification des programmes probabilistes d'ordre supérieur en utilisant de nouveaux systèmes de types.

Un aperçu de la façon dont les règles interagissent dans des cadres logiques.

Un aperçu des CFG, leurs composants et des relations comme la bisimilarité.

Apprends des concepts simples en raisonnement quantitatif et comment ils s'appliquent dans la vraie vie.

Un nouveau cadre garantit que les optimisations du compilateur préservent la justesse des programmes.

Un aperçu de comment fonctionnent les processus pondérés et leurs implications mathématiques.

Examiner les défis et les idées dans l'arithmétique de Presburger et ses extensions.

Explorer les relations complexes dans les équations linéaires au sein des groupes abéliens par cycliques.

Un système génère des trajectoires de mouvement humain synthétiques pour améliorer les mesures de sécurité tout en protégeant la vie privée.

Un aperçu des processus linéaires et de leur importance dans la programmation et les systèmes de communication.

Examiner les liens entre le raisonnement et les processus biologiques pour des idées innovantes.

Un nouveau cadre pour la communication entre agents axé sur la confidentialité et la cohérence.

Explorer la sémantique coalgébrique pour la logique modale intuitionniste en utilisant des posets image-finis.

Un aperçu des catégories supérieures et de leur rôle dans les relations complexes.

Un aperçu des MDP et leur rôle dans la prise de décision sous incertitude.

Cet article explore la communication par boîte aux lettres et son rôle dans les machines à états finis.

Explore comment les vérificateurs de terminaison aident les programmes à accomplir leurs tâches sans boucles infinies.

Explore comment les processus de décision de Markov aident à gérer les résultats incertains en tenant compte des risques.

Faire avancer le transfert de preuves entre différents systèmes mathématiques de manière efficace.

Une méthode relie la logique classique et la logique intuitionniste à travers des transformations d'ordre supérieur.

Un guide pour gérer les contextes de liaison et leur importance dans le raisonnement logique.

Un aperçu des processus de définition et des preuves avec Beluga.

Découvrez comment les nouveaux systèmes de preuve améliorent l'efficacité et les capacités de la résolution SAT.

Apprends comment les formules contextuelles s'adaptent aux situations qui changent dans le raisonnement logique.

Apprends comment la bisimulation peut rendre la vérification de systèmes complexes plus facile.

Cet article discute de la déductibilité dans le calcul de Lambek et de ses complexités.

Ce papier regroupe des approches d'itération non déterministe en programmation avec la théorie des catégories.

Les E-graphes simplifient l'optimisation des programmes en gérant plusieurs représentations équivalentes.

De nouvelles méthodes améliorent le comptage des modèles minimaux dans les tâches de raisonnement.

Explorer des méthodes pour créer des contrôleurs fiables dans divers environnements.

Présentation d'une méthode qui améliore la détection de bugs dans le développement de logiciels en C.

Combiner des classes d'état stochastiques et la simulation permet une meilleure analyse des systèmes complexes.

ACoNE propose un modèle efficace pour générer des embeddings de requête explicables.

Explorer les connexions entre les programmes logiques et les réseaux de Booléens pour améliorer les perspectives sur les modèles stables.

La logique offre une base solide pour un apprentissage efficace en sciences et ingénierie.

Ce papier présente une nouvelle méthode pour une analyse de portée efficace dans des systèmes de contrôle complexes.

Un aperçu des modèles infinis potentiels en théorie des types et de leur signification.