Informatique - Logique en informatique

Logique en informatiqueGérer la concurrence en mémoire partagée dans la programmation

Apprends des stratégies clés pour gérer les ressources partagées en programmation concurrente.

Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke

2025-06-12T19:59:12+00:00 ― 7 min lire

Mathématiques discrètesLa complexité des réseaux d'automates révélée

Cet article parle des défis dans l'analyse des réseaux d'automates et de leurs implications.

Aliénor Goubault--Larrecq, Kévin Perrot

2025-06-12T09:43:00+00:00 ― 8 min lire

Intelligence artificielleIdentifier des Cores Minimaux Insatisfaisables en Logique Temporelle

Une nouvelle méthode pour trouver des cœurs minimalement insatisfaisables en logique temporelle linéaire.

Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza

2025-06-12T02:52:12+00:00 ― 6 min lire

Logique en informatiqueExplorer le rôle des conteneurs en programmation

Les conteneurs structurent les données pour une meilleure gestion et organisation en programmation.

Stefania Damato, Thorsten Altenkirch, Axel Ljungström

2025-06-11T22:50:17+00:00 ― 9 min lire

Logique en informatiqueComptage efficace des modèles minimaux dans les formules booléennes

Une nouvelle méthode simplifie le comptage des modèles minimaux en logique booléenne.

Mohimenul Kabir

2025-06-11T04:52:54+00:00 ― 7 min lire

Logique en informatiqueIntroduction au calcul des ressources lambda

Une nouvelle approche du calcul des lambda, intégrant l'utilisation des ressources et l'approximation.

Davide Barbarossa

2025-06-10T21:38:24+00:00 ― 6 min lire

Logique en informatiqueExamen de la propriété de stabilité dans le calcul par valeur

Un aperçu de la propriété de stabilité et de son importance dans le calcul par valeur.

Davide Barbarossa

2025-06-10T21:06:48+00:00 ― 6 min lire

Logique en informatiqueLe Rôle du Hasard en Informatique

Un aperçu de comment le hasard façonne les techniques de calcul modernes.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

2025-06-09T22:28:00+00:00 ― 7 min lire

Théorie des catégoriesComprendre les fonctions et leurs changements

Un aperçu des fonctions, des dérivées et de leur interconnexion dans des situations de la vie quotidienne.

Matteo Capucci, Geoffrey S. H. Cruttwell, Neil Ghani

2025-06-09T16:13:12+00:00 ― 6 min lire

Topologie algébriqueUne plongée profonde dans les espaces de couverture

Explore l'importance des espaces de couverture en topologie algébrique et leurs applications.

Jelle Wemmenhove, Cosmin Manea, Jim Portegies

2025-06-08T19:41:01+00:00 ― 7 min lire

Génie logicielAvancées dans l'automatisation des preuves avec les LLMs

Explorer de nouvelles méthodes pour améliorer la vérification des preuves en ingénierie logicielle.

Minghai Lu, Benjamin Delaware, Tianyi Zhang

2025-06-08T12:45:36+00:00 ― 10 min lire

Logique en informatiqueConcurrence et probabilité dans la programmation moderne

Un cadre pour analyser les programmes concurrents avec des résultats probabilistes.

Renato Neves

2025-06-06T13:53:12+00:00 ― 9 min lire

Théorie des catégoriesÉgalité propositionnelle en théorie des types : un regard plus approfondi

Examiner le rôle de l'égalité propositionnelle dans la théorie des types et ses implications.

Andrea Laretto, Fosco Loregian, Niccolò Veltri

2025-06-06T04:19:36+00:00 ― 5 min lire

Intelligence artificielleAméliorer le raisonnement de l'IA avec la preuve de pensée

Un nouveau cadre vise à améliorer la fiabilité et la clarté dans le raisonnement de l'IA.

Debargha Ganguly, Srinivasan Iyengar, Vipin Chaudhary

2025-06-06T02:10:06+00:00 ― 9 min lire

Logique en informatiqueL'intersection de la logique et de la géométrie dans les preuves

Examiner la relation entre les preuves mathématiques et les espaces géométriques.

Davide Barbarossa

2025-06-05T18:16:37+00:00 ― 7 min lire

Langages de programmationUne nouvelle méthode pour prouver la terminaison des programmes

Améliorer les outils pour vérifier si les boucles dans les programmes vont finir par s'exécuter.

Shaowei Zhu, Zachary Kincaid

2025-06-05T04:26:36+00:00 ― 7 min lire

Logique en informatiqueAnalyse des chaînes de Markov à états infinis

Un cadre pour mieux comprendre les chaînes de Markov complexes en utilisant des techniques d'abstraction et d'échantillonnage.

Benoît Barbot, Patricia Bouyer, Serge Haddad

2025-06-04T04:36:42+00:00 ― 8 min lire

Logique en informatiqueAvancer la sécurité grâce à la sémantique d’équipe dans le développement logiciel

La sémantique d'équipe améliore la vérification des propriétés complexes dans les systèmes logiciels.

Andreas Krebs, Arne Meier, Jonni Virtema

2025-06-04T04:28:48+00:00 ― 10 min lire

Logique en informatiqueRécursivité protégée dans les langages de programmation

Explorer comment la récursion gardée améliore les structures de données infinies en programmation.

Louis Lemonnier

2025-06-03T18:12:47+00:00 ― 11 min lire

Théorie des groupesConnecter les serpents et les groupes : un aperçu de la recherche

Explore la relation entre les groupes et les problèmes de carrelage de serpent en maths.

Laurent Bartholdi, Ville Salo

2025-06-03T17:46:34+00:00 ― 6 min lire

Logique en informatiqueConnecter la logique et la programmation par l'évaluation Call-by-Value

Ce document examine le lien entre la logique intuitionniste minimale et l'évaluation par valeur dans la programmation.

Beniamino Accattoli

2025-06-03T11:21:48+00:00 ― 13 min lire

Intelligence artificielleModélisation des cadres d'argumentation : Une nouvelle approche

Une nouvelle façon de voir comment l'ordre des arguments façonne les discussions.

Yann Munro, Camilo Sarmiento, Isabelle Bloch

2025-06-03T09:47:00+00:00 ― 8 min lire

Langages de programmationVérification de la gestion des exceptions dans le bytecode Java

Une méthode pour analyser les comportements exceptionnels dans des programmes Java en utilisant le bytecode.

Marco Paganoni, Carlo A. Furia

2025-06-02T21:40:12+00:00 ― 8 min lire

Logique en informatiqueBisimilarité de branchement et délais dans les systèmes réactifs

Explore comment les pauses impactent les interactions système dans la bisimilarité par branches.

Gaspard Reghem, Rob van Glabbeek

2025-06-02T18:38:30+00:00 ― 6 min lire

Logique en informatiqueRepenser la cybersécurité : une nouvelle perspective

Ce document parle d'une nouvelle approche de la cybersécurité en utilisant la logique temporelle d'obstruction probabiliste.

Jean Leneutre, Vadim Malvone, James Ortiz

2025-06-02T14:09:54+00:00 ― 7 min lire

Logique en informatiqueConstruire de meilleurs systèmes réactifs

Apprends à créer des systèmes réactifs efficaces qui s'adaptent à leur environnement.

Linda Feeken, Martin Fränzle

2025-06-02T10:20:48+00:00 ― 7 min lire

Logique en informatiqueL'importance de la fin d'un programme

Découvre pourquoi la termination des programmes est super importante en programmation.

James Li, Noam Zilberstein, Alexandra Silva

2025-06-02T05:44:18+00:00 ― 11 min lire

Logique en informatiqueComprendre la logique et le temps dans la technologie

Un coup d'œil sur comment la logique temporelle façonne la technologie dans nos vies quotidiennes.

Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag

2025-06-02T02:42:36+00:00 ― 6 min lire

Langages de programmationUne nouvelle approche de la métaprogrammation polymorphe

Présentation d'un cadre pour une génération de code sûre et efficace.

Junyoung Jang, Brigitte Pientka

2025-06-01T21:50:18+00:00 ― 7 min lire

Logique en informatiqueComprendre la paramétricité dans les langages de programmation

Apprends comment la parametricité influence la programmation et les défis des GADTs.

Pierre Cagne, Patricia Johann

2025-06-01T18:01:12+00:00 ― 6 min lire

Logique en informatiqueMéthodes fiables pour la vérification statistique des modèles

Apprends à utiliser des méthodes statistiques solides pour prendre de meilleures décisions dans des systèmes complexes.

Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer

2025-06-01T17:21:42+00:00 ― 7 min lire

Intelligence artificielleAméliorer la détection de fraude avec l'IA explicable

Combiner la logique floue et la régression symbolique pour une détection de fraude plus claire.

Wout Gerdes, Erman Acar

2025-06-01T16:02:42+00:00 ― 9 min lire

Logique en informatiqueAmélioration des suggestions de tactiques dans les prouveurs de théorèmes interactifs

Les chercheurs utilisent l'ILP pour améliorer les prédictions tactiques dans les preuves de théorèmes interactifs.

Liao Zhang, David M. Cerna, Cezary Kaliszyk

2025-06-01T07:21:18+00:00 ― 10 min lire

Génie logicielLes grands modèles de langage peuvent-ils aider à la vérification des logiciels ?

Enquête sur le rôle des LLM dans la génération de spécifications de logiciels pour la vérification.

Marilyn Rego, Wen Fan, Xin Hu

2025-05-31T13:58:30+00:00 ― 7 min lire

Logique en informatiqueLe Jeu des États : Un aperçu de l'Aparté

Explorer comment les États interagissent à travers des jeux en informatique.

Jurriaan Rot, Sebastian Junges, Harsh Beohar

2025-05-30T06:54:00+00:00 ― 6 min lire

Logique en informatiqueUne introduction à la classification des données

Apprends comment les machines classifient les données avec des exemples simples et de la logique de comptage.

Steffen van Bergerem, Nicole Schweikardt

2025-05-29T12:11:42+00:00 ― 7 min lire

Logique en informatiqueIntroduction du Calcul Machine Fonctionnel en Programmation

Une nouvelle approche du codage qui améliore la flexibilité et la gestion des erreurs.

Willem Heijltjes

2025-05-28T04:26:24+00:00 ― 7 min lire

Langages de programmationComprendre les transformateurs de prédicats en programmation

Un guide sur les préconditions les plus faibles et les postconditions les plus fortes en codage.

Lena Verscht, Benjamin Lucien Kaminski

2025-05-26T11:59:06+00:00 ― 6 min lire

Logique en informatiqueAutomatisation des stratégies de réécriture de termes avec l'apprentissage automatique

Un aperçu de l'utilisation de l'apprentissage automatique pour l'optimisation des systèmes de réécriture de termes.

Liao Zhang, Fabian Mitterwallner, Jan Jakubuv

2025-05-26T11:46:03+00:00 ― 7 min lire

Structures de données et algorithmesLe rôle de la redondance dans la résolution de problèmes

Apprends comment la redondance peut simplifier des problèmes complexes.

Joshua Brakensiek, Venkatesan Guruswami

2025-05-26T00:00:51+00:00 ― 8 min lire