Join us

Episciences,
open access overlay journals

A Diamond Open Access scientific publishing platform covering all disciplines

Our mission

To offer both an innovative tool, integrated into the European ecosystem for the distribution of content, and an editorial support

Learn more
6 663

Publications

35

Diamond open access journals

12 930

Users

Latest publications

See all journals
Mathematics

AFM

[Annals of Formalized Mathematics]

AFM

Annals of Formalized Mathematics

Founded in 2024, the MathOA-supported journal Annals of Formalized Mathematics publishes original articles about formalized mathematics and mathematical applications of proof assistants. The journal accepts papers in English that are typically accompanied by a code artifact.

  • Director of publication: Jos Baeten
  • Managing Editors: Robert Y. Lewis ; Filippo A. E. Nuccio Mortarino Majno di Capriglio
  • Medium: electronic
  • Frequency: continuous
  • Date created: 2024
  • Date of publication on Episciences: 2024
  • Subjects: formalized mathematics
  • Language of publication: English
  • Review process: single blind peer review
  • CC BY 4.0 licence
  • Publisher: MathOA
    • Address: Centrum Wiskunde & Informatica, P.O. Box 94079, 1090 GB Amsterdam
    • Country: The Netherlands
  • Contact: afm AT episciences.org
See website
Informatics and Applied Mathematics

Compositionality

Compositionality

Founded in 2017, Compositionality welcomes research articles in English in the field of the mathematics of composition across all disciplines. The journal is published by the Compositionality Charitable Incorporated Organisation.

  • Director of publication: John Baez
  • Editors-in-chief: Aleks Kissinger ; Joachim Kock
  • Medium: electronic
  • Frequency: annual
  • Date created: 2017
  • Date of publication on Episciences: 2024
  • eISSN: 2631-4444
  • Subjects: mathematics, computation, logic, physics, chemistry, engineering, linguistics, cognition
  • Language of publication: English
  • Review process: single blind peer review
  • CC BY 4.0 licence
  • Publisher: Compositionality Charitable Incorporated Organisation
    • Address: 108 Kennington Road, Kennington, Oxford, OX1 5PE
    • Country: United Kingdom
  • Contact: compositionality AT episciences.org
See website

Latest 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
September 06, 2024
Read 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áš
August 29, 2024
Read article
Social Sciences and Humanities

Transformations

[A DARIAH Journal]

Transformations

A DARIAH Journal

Transformations:A DARIAH Journal is a multilingual journal created in 2024 by the European research infrastructure DARIAH ERIC. It’s an ongoing publication with thematic issues in Digital Humanities, humanities, Social Sciences, and Arts. The journal is particularly interested in the use of digital tools, methods and resources in a reproducible approach. It welcomes scientific contributions on collections of data, workflows and software analysis.

  • Director of publication: Toma Tasovac
  • Editor-in-chief: Toma Tasovac
  • Managing editors: Anne Baillot, Françoise Gouzi
  • Medium: electronic
  • Frequency: ongoing
  • Date created: 2024
  • Date of publication on Episciences: 2024
  • eISSN: pending
  • Subjects: Digital Humanities, Social Sciences and Humanities, Arts
  • Languages of publication: English, French, German, Spanish
  • Review process: open peer review
  • CC BY 4.0 licence
  • Publisher: DARIAH ERIC
    • Address: 54 boulevard Raspail, 75006 Paris
    • Country: France
  • Contact: transformations AT episciences.org
See website

Journals hosted on the platform adhere to the FAIR principles

Join Episciences