Informatique - Logique en informatique

Ce travail vérifie la fiabilité d'une structure de données concurrente pour les processeurs.

Un cadre pour prendre des décisions éclairées dans des environnements incertains.

Découvre comment la réécriture de graphes transforme les données pour une meilleure analyse des systèmes complexes.

Utiliser des requêtes pour révéler les biais de genre dans les modèles linguistiques.

Enquêtant sur les complexités de l'équivalence dans le lambda-calcul typé, surtout dans le lambda-calcul sûr.

Découvrez l'algorithme de Weisfeiler-Leman et son impact sur l'isomorphisme des graphes.

Un aperçu des algèbres relationnelles et de la méthode de k-consistance pour la satisfaction des réseaux.

Des chercheurs unissent les graphes et la logique pour améliorer la clarté dans le raisonnement logique.

Des recherches montrent des méthodes efficaces pour résoudre les défis Horn-SAT en utilisant le calcul parallèle.

Un nouveau cadre vise à améliorer la rédaction de politiques pour les systèmes automatisés.

LERP améliore l'apprentissage des règles logiques en intégrant des infos contextuelles des graphes de connaissances.

Combiner des méthodes basées sur la croyance et des méthodes de recherche de politique pour de meilleures décisions.

Deux mathématiciens utilisent la logique pour résoudre un classique puzzle d'entiers.

Une étude sur le déploiement efficace d'applications dans le Cloud en utilisant diverses méthodes d'optimisation.

Examiner les complexités de la décidabilité dans la logique des différences avec des entiers et des nombres réels.

Cet article examine comment les transformateurs apprennent des fonctions récursives dans les tâches de programmation.

Cet article présente une méthode pour clarifier les comparaisons d'invariants relationnels en analyse statique.

Analyser l'incertitude à travers des modèles probabilistes dans différents domaines.

Examiner comment la technologie influence les preuves mathématiques et la compréhension de la communauté.

Un aperçu des langages de contraintes et de leurs propriétés dans la résolution des CSP.

Apprends-en plus sur les expéditeurs et leur impact sur la communication efficace dans les systèmes.

Une nouvelle approche de partitionnement améliore l'efficacité dans la résolution des défis MaxSAT.

Une plongée profonde dans les jeux à états infinis et leurs applications dans les systèmes réactifs.

Explore les avantages de l'instrumentation automatique des programmes pour la vérification de la correction des logiciels.

Un aperçu des catégories prémoines et de leur rôle en optique et en computation.

Découvrez comment les collages de diagrammes de chaînes clarifient les interactions complexes en maths.

MeTTa vise à unifier la programmation pour les humains et les AGIs.

Examiner les liens entre l’homologie persistante et les espaces dirigés pour les programmes concurrents.

Combiner des techniques de fusion globales et locales pour améliorer la gestion de la qualité des données.

Explore les défis et solutions pour les programmes concurrents dans des modèles de mémoire faible.

Une étude sur le modèle de sécurité sensible à la responsabilité pour les véhicules autonomes.

Apprends comment le refactoring améliore la structure du code et garde le comportement du programme.

Un algorithme systématique examine les comportements des processus, y compris les actions silencieuses pour une meilleure analyse.

Explorer le réécriture de termes en computation parallèle pour un traitement de données efficace.

Ce papier examine la relation entre les transductions, la logique et les automates dans la théorie du langage.

Présentation des algèbres de valorisation concurrente pour une meilleure organisation des données et modélisation des systèmes.

Une nouvelle méthode améliore l'analyse des propriétés multi-traces dans les systèmes informatiques.

Un nouveau cadre améliore la manière dont les requêtes complexes sont répondues en utilisant le raisonnement par éventualité.

Un cadre clair pour comprendre la coopération des agents et les interactions stratégiques.

Examiner comment les délais impactent les stratégies dans les jeux compétitifs.