Nous rejoindre

Episciences,
revues en libre accès

Plateforme d’édition et de publication scientifiques en accès ouvert diamant couvrant toutes les disciplines

Notre mission

Proposer à la fois un outil innovant, intégré dans l’écosystème européen pour la diffusion des contenus, et un accompagnement éditorial

En savoir plus
6 663

articles et comptes-rendus

35

revues en accès ouvert diamant

12 929

utilisateurs et utilisatrices

Dernières publications

Voir toutes les revues
Mathématiques

AFM

[Annals of Formalized Mathematics]

AFM

Annals of Formalized Mathematics

Créée en 2024, la revue Annals of Formalized Mathematics, portée par MathOA, publie au fil de l’eau des articles originaux de mathématiques formalisées et d’applications mathématiques des assistants de preuve. La revue accepte des contributions en anglais accompagnées d’artefacts de code.

  • Directeur de la publication : Jos Baeten
  • Secrétaires d’édition : Robert Y. Lewis ; Filippo A. E. Nuccio Mortarino Majno di Capriglio
  • Type de support : électronique
  • Périodicité : au fil de l’eau
  • Année de création : 2024
  • Date de mise en ligne sur Episciences : 2024
  • Disciplines : formalisation mathématique
  • Langue de publication : anglais
  • Procédure d’évaluation : simple aveugle
  • Licence CC BY 4.0
  • Éditeur : MathOA
    • Adresse postale : Centrum Wiskunde & Informatica, P.O. Box 94079, 1090 GB Amsterdam
    • Pays : Pays-Bas
  • Contact : afm AT episciences.org
Voir le site
Informatique et mathématiques appliquées

Compositionality

Compositionality

Créée en 2017, Compositionality accueille des articles de recherche en anglais dans le domaine des mathématiques de la composition, toutes disciplines confondues. La revue est éditée par le Compositionality Charitable Incorporated Organisation.

  • Directeur de la publication : John Baez
  • Rédacteurs en chef : Aleks Kissinger ; Joachim Kock
  • Type de support : électronique
  • Périodicité : au fil de l’eau
  • Année de création : 2017
  • Date de mise en ligne sur Episciences : 2024
  • eISSN : 2631-4444
  • Disciplines : mathématiques, calcul, logique, physique, chimie, ingénierie, linguistique, cognition
  • Langue de publication : anglais
  • Procédure d’évaluation : simple aveugle
  • Licence CC BY 4.0
  • Éditeur : Compositionality Charitable Incorporated Organisation
    • Adresse postale : 108 Kennington Road, Kennington, Oxford, OX1 5PE
    • Pays : Royaume-Uni
  • Contact : compositionality AT episciences.org
Voir le site

Derniers articles

Homotopy Theoretic and Categorical Models of Neural Information Networks

In this paper we develop a novel mathematical formalism for the modeling of neural information networks endowed with additional structure in the form of assignments of resources, either computational or metabolic or informational. The starting point for this construction is the notion of summing functors and of Segal's Gamma-spaces in homotopy theory. The main results in this paper include functorial assignments of concurrent/distributed computing architectures and associated binary codes to networks and their subsystems, a categorical form of the Hopfield network dynamics, which recovers the usual Hopfield equations when applied to a suitable category of weighted codes, a functorial assignment to networks of corresponding information structures and information cohomology, and a cohomological version of integrated information.
Manin, Yuri
06 septembre 2024
Lire l'article

A Framework for Universality in Physics, Computer Science, and Beyond

Turing machines and spin models share a notion of universality according to which some simulate all others. Is there a theory of universality that captures this notion? We set up a categorical framework for universality which includes as instances universal Turing machines, universal spin models, NP completeness, top of a preorder, denseness of a subset, and more. By identifying necessary conditions for universality, we show that universal spin models cannot be finite. We also characterize when universality can be distinguished from a trivial one and use it to show that universal Turing machines are non-trivial in this sense. Our framework allows not only to compare universalities within each instance, but also instances themselves. We leverage a Fixed Point Theorem inspired by a result of Lawvere to establish that universality and negation give rise to unreachability (such as uncomputability). As such, this work sets the basis for a unified approach to universality and invites the study of further examples within the framework.
Gonda, Tomáš
29 août 2024
Lire l'article
Sciences humaines et sociales

Transformations

[A DARIAH Journal]

Transformations

A DARIAH Journal

Transformations: A DARIAH Journal est une revue multilingue créée en 2024 par l’infrastructure de recherche européenne DARIAH ERIC. Elle publie des numéros thématiques au fil de l’eau dans le domaine des humanités numériques, des sciences humaines et sociales, et des arts. La revue porte un intérêt particulier à l’utilisation d’outils, de méthodes et de ressources numériques dans une approche reproductible. Elle accueille des contributions scientifiques portant sur des corpus de données, des workflows ainsi que des analyses de logiciels.

  • Directeur de la publication : Toma Tasovac
  • Rédacteur en chef : Toma Tasovac
  • Secrétaires de rédaction : Anne Baillot, Françoise Gouzi
  • Type de support : électronique
  • Périodicité : au fil de l’eau
  • Année de création : 2024
  • Date de mise en ligne sur Episciences : 2024
  • eISSN : en cours
  • Disciplines : humanités numériques, sciences humaines et sociales, arts
  • Langues de publication : allemand, anglais, espagnol, français
  • Procédure d’évaluation : évaluation ouverte
  • Licence CC BY 4.0
  • Éditeur : DARIAH ERIC
    • Adresse postale : 54 boulevard Raspail, 75006 Paris
    • Pays : France
  • Contact : transformations AT episciences.org
Voir le site

Les revues hébergées sur la plateforme adhèrent aux principes FAIR

Rejoindre Episciences