Juntar-se

Episciences,
revistas de livre acesso

Plataforma de edição e de publicação científicas de livre acesso diamant que abrange todas as disciplinas

A nossa missão

Propor, em simultâneo, uma ferramenta inovadora, integrada no ecossistema europeu para a difusão dos conteúdos, e um acompanhamento editorial

Mais informações
6 663

artigos

35

revistas de livre acesso diamant

12 930

utilizadores e utilizadoras

Últimas publicações

Ver todas as revistas
Matemática

AFM

[Annals of Formalized Mathematics]

AFM

Annals of Formalized Mathematics

Fundada em 2024, a revista Annals of Formalized Mathematics, apoiada pela MathOA, publica artigos originais sobre matemática formalizada e aplicações matemáticas de assistentes de prova. A revista aceita artigos em inglês que são normalmente acompanhados por um artefacto de código.

  • Diretor de publicação: Jos Baeten
  • Editores-gerais: Robert Y. Lewis ; Filippo A. E. Nuccio Mortarino Majno di Capriglio
  • Tipo de suporte: digital
  • Periodicidade: gradual
  • Ano de criação: 2024
  • Data de disponibilização online na Episciences: 2024
  • Disciplinas: matemática formalizada
  • Idiomas da publicação: inglês
  • Processo de avaliação: estudo cego
  • Licença CC BY 4.0
  • Editor: MathOA
    • Endereço postal: Centrum Wiskunde & Informatica, P.O. Box 94079, 1090 GB Amsterdam
    • País: Países Baixos
  • Contacto: afm AT episciences.org
Ver o sítio web
Informática e matemática aplicada

Compositionality

Compositionality

Fundada em 2017, a Compositionality acolhe artigos de investigação em inglês no domínio da matemática da composição em todas as disciplinas. A revista é publicada pela Compositionality Charitable Incorporated Organisation.

  • Diretor de publicação: John Baez
  • Editores-chefes: Aleks Kissinger ; Joachim Kock
  • Tipo de suporte: digital
  • Periodicidade: anual
  • Ano de criação: 2017
  • Data de disponibilização online na Episciences: 2024
  • eISSN: 2631-4444
  • Disciplinas: matemática, computação, lógica, física, química, engenharia, linguística, cognição
  • Idiomas da publicação: inglês
  • Processo de avaliação: estudo cego
  • Licença CC BY 4.0
  • Editor: Compositionality Charitable Incorporated Organisation
    • Endereço postal: 108 Kennington Road, Kennington, Oxford, OX1 5PE
    • País: Reino Unido
  • Contacto: compositionality AT episciences.org
Ver o sítio web

Últimos artigos

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
Ler o artigo

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
Ler o artigo
Ciências humanas e sociais

Transformations

[A DARIAH Journal]

Transformations

A DARIAH Journal

Transformations: A DARIAH Journal é uma revista multilingue criada em 2024 pela infraestrutura de investigação europeia DARIAH ERIC. Publica regularmente números temáticos nos domínios das humanidades digitais, das ciências humanas e sociais e das artes. A revista está particularmente interessada na utilização de ferramentas, métodos e recursos digitais numa abordagem reprodutível. Aceita contribuições científicas sobre corpora de dados, fluxos de trabalho e análise de software.

  • Diretor de publicação: Toma Tasovac
  • Redator-chefe: Toma Tasovac
  • Redactores-gerais: Anne Baillot, Françoise Gouzi
  • Tipo de suporte: digital
  • Periodicidade: gradual
  • Ano de criação: 2024
  • Data de disponibilização online na Episciences: 2024
  • Disciplinas: humanidades digitais, ciências sociais e humanas, artes
  • Idiomas da publicação: alemão, inglês, francês
  • Processo de avaliação: avaliação aberta
  • Licença CC BY 4.0
  • Editor: DARIAH ERIC
    • Endereço postal: 54 boulevard Raspail, 75006 Paris
    • País: França
  • Contacto: transformations AT episciences.org
Ver o sítio web

As revistas alojadas na plataforma cumprem os princípios FAIR

Juntar-se Episciences