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 233

Publications

30

Diamond open access journals

12 605

Users

Latest publications

See all journals
Mathematics

CM

[Communications in Mathematics]

CM

Communications in Mathematics

Communications in Mathematics—created in 2009—is the continuation of the journal Acta Mathematica et Informatica Universitatis Ostraviensis, founded in 1993, which became Acta Mathematica Universitatis Ostraviensis in 2003. Communications in Mathematics publishes research and review articles in English in all areas of pure and applied mathematics, mathematical physics and computer science.

  • Director of publication: Jan Lata
  • Editor-in-chief: Ivan Kaygorodov
  • Medium: electronic
  • Frequency: annual
  • Date created: 2009
  • Date of publication on Episciences: 2021
  • eISSN: 2336-1298
  • Subjects: mathematics
  • Languages of publication: English
  • Review process: single blind peer review
  • CC BY-SA 4.0 licence
  • Publisher: University of Ostrava
    • Address: Dvořákova 7, 701 03 Ostrava
    • Country: Czech Republic
  • Contact: cm AT episciences.org
See website

Latest articles

On biharmonic functions on vector bundles

This paper is devoted to the investigation of harmonic and biharmonic functions on vector bundles equipped with spherically symmetric metrics. We will study the biharmonicity of vertical lifts of functions as well as $r$-radial functions on vector bundle manifolds and, as a consequence, we will construct an infinite two-parameter family of proper biharmonic functions.
Abbassi, Mohamed Tahar Kadaoui
November 25, 2023
Read article

Non-associative algebraic structures: classification and structure

These are detailed notes for a lecture on "Non-associative Algebraic Structures: Classification and Structure" which I presented as a part of my Agrega\c{c}\~ao em Matem\'atica e Applica\c{c}\~oes (University of Beira Interior, Covilh\~a, Portugal, 13-14/03/2023).
Kaygorodov, Ivan
November 03, 2023
Read article
Social Sciences and Humanities

CST

[Les Cahiers Scientifiques du Transport]

CST

Les Cahiers Scientifiques du Transport

Created in 1979, the Cahiers Scientifiques du Transport/Scientific Papers in Transportation publishes biannual varia or thematic issues of articles on the field of transport, mobility and logistics. Supported by the French Association of Transport and Logistics Institutes (AFITL), the journal highlights the disciplinary diversity of the contributions.

  • Director of publication: Antoine Frémont
  • Editor-in-chief: Laurent Carnis
  • Medium: electronic
  • Frequency: biannual
  • Date created: 1979
  • Date of publication on Episciences: 2022
  • eISSN: 1150-8809
  • Subjects: development, engineering, management sciences, political science, urbanism
  • Language of publication: French
  • Review process: single blind peer review
  • CC BY 4.0 licence
  • Publisher: Association française des instituts de transport et de logistique (AFITL)
    • Address: Conservatoire national des Arts et Métiers, Direction de la recherche, 4DRE01, 292 rue Saint-Martin, 75141 Paris Cedex 03
    • Country: France
  • Contact: cst AT episciences.org
See website

Latest articles

Développement d’indicateurs de mesure de la variabilité d’utilisation du transport en commun à partir de données de cartes à puce

L’achalandage du transport en commun varie dans le temps, au sein du comportement d’un même usager, mais aussi d’un usager à l’autre. Ces variations rendent difficile l’ajustement des services et des modèles de prévision de la demande, conduisant potentiellement à des coûts d’opération supplémentaires et à une affectation non optimale des véhicules sur le réseau. Toutefois, la disponibilité croissante de données longitudinales et individualisées permet désormais de mieux comprendre la variabilité des comportements de déplacement. Cet article bénéficie ainsi de données de cartes à puce provenant du système OPUS de Montréal, Canada. Plus de 429 millions de validations, réalisées par près de 2 millions de cartes, sont exploitées pour étudier la variabilité d’utilisation du transport en commun à un niveau totalement désagrégé sur une période d’un an.Quatre indicateurs sont proposés afin de mesurer plusieurs types de variations : la dispersion des déplacements parmi les usagers, la variabilité de la fréquence d’utilisation, la variance temporelle du nombre de déplacements par mois et la diversité spatiale des lieux d’embarquement. Ces indicateurs sont appliqués pour comparer la régularité de dix groupes de cartes distincts définis en fonction de leur composition tarifaire. Face aux limites des tests statistiques traditionnels, sensibles à la taille de l’échantillon, la notion de taille d’effet est introduite pour mieux quantifier l’importance des différences observées entre les groupes. Les résultats révèlent qu’il existe une relation entre l’utilisation du transport en commun et le type de titre utilisé. Les utilisateurs d’abonnements annuels ou mensuels sont en moyenne très réguliers et fréquents, alors que les utilisateurs de carnets de tickets sont des usagers plus occasionnels. De plus, la variabilité d’usage tend à augmenter avec le nombre de titres différents utilisés durant l’année.
Deschaintres, Elodie
October 26, 2023
Read article

Transport maritime de marchandises : la construction d’un système juridique complexe dépassant le mythe de l’uniformité

Dans la mesure où le transport maritime de marchandises implique divers types d'opérateurs commerciaux internationaux, l'uniformité de la règlementation applicable semble être le meilleur moyen de satisfaire aux exigences de sécurité de ces différents acteurs. Il est donc nécessaire de se demander si cet idéal d’uniformisation du droit du transport maritime de marchandises tenté par les États est atteignable voire même souhaitable ou s’il ne faut pas constater en la matière que les opérateurs du transport international maritime de marchandises, loin d’être pénalisés par le conflit de normes applicables, n’y trouvent pas la souplesse nécessaire pour adapter le cadre juridique à leur propre contrat de transport ?
Branellec, Gurvan
September 08, 2023
Read article
Informatics and Applied Mathematics
Proceedings

ENTICS

[Electronic Notes in Theoretical Informatics and Computer Science]

ENTICS

Electronic Notes in Theoretical Informatics and Computer Science

ENTICS—Electronic Notes in Theoretical Informatics and Computer Science—publishes proceedings of conferences and workshops in English that include significant theoretical advances in computer science and theoretical informatics.

  • Director of publication: Bruno Sportisse
  • Editor-in-chief: Michael Mislove
  • Medium: electronic
  • Frequency: continuous
  • Date created: 2022
  • Date of publication on Episciences: 2023
  • eISSN: 2969-2431
  • Subjects: computer science, theoretical informatics
  • Language of publication: English
  • Review process: single blind peer review
  • CC BY 4.0 licence
  • Publisher: Inria
    • Address: Domaine de Voluceau Rocquencourt – B.P. 105 78153 Le Chesnay Cedex
    • Country: France
  • Contact: entics AT episciences.org
See website

Latest articles

Profinite lambda-terms and parametricity

Combining ideas coming from Stone duality and Reynolds parametricity, we formulate in a clean and principled way a notion of profinite lambda-term which, we show, generalizes at every type the traditional notion of profinite word coming from automata theory. We start by defining the Stone space of profinite lambda-terms as a projective limit of finite sets of usual lambda-terms, considered modulo a notion of equivalence based on the finite standard model. One main contribution of the paper is to establish that, somewhat surprisingly, the resulting notion of profinite lambda-term coming from Stone duality lives in perfect harmony with the principles of Reynolds parametricity. In addition, we show that the notion of profinite lambda-term is compositional by constructing a cartesian closed category of profinite lambda-terms, and we establish that the embedding from lambda-terms modulo beta-eta-conversion to profinite lambda-terms is faithful using Statman's finite completeness theorem. Finally, we prove that the traditional Church encoding of finite words into lambda-terms can be extended to profinite words, and leads to a homeomorphism between the space of profinite words and the space of profinite lambda-terms of the corresponding Church type.
van Gool, Sam
November 23, 2023
Read article

Dependent Type Refinements for Futures

Type refinements combine the compositionality of typechecking with the expressivity of program logics, offering a synergistic approach to program verification. In this paper we apply dependent type refinements to SAX, a futures-based process calculus that arises from the Curry-Howard interpretation of the intuitionistic semi-axiomatic sequent calculus and includes unrestricted recursion both at the level of types and processes. With our type refinement system, we can reason about the partial correctness of SAX programs, complementing prior work on sized type refinements that supports reasoning about termination. Our design regime synthesizes the infinitary proof theory of SAX with that of bidirectional typing and Hoare logic, deriving some standard reasoning principles for data and (co)recursion while enabling information hiding for codata. We prove syntactic type soundness, which entails a notion of partial correctness that respects codata encapsulation. We illustrate our language through a few simple examples.
Somayyajula, Siva
November 23, 2023
Read article