Episciences,
revistas de acceso abierto
Plataforma de edición y publicación científicas de acceso abierto diamante que cubre todas las disciplinas
Nuestra misión
Ofrecer tanto una herramienta innovadora, integrada en el ecosistema europeo para la difusión de contenidos, como soporte editorial
Para más información
6 233
artículos e informes
30
revistas de acceso abierto diamante
12 607
usuarios y usuarias
Últimas publicaciones
Ver todas las revistasMatemáticas
CM
[Communications in Mathematics]
CM
Communications in Mathematics
Existente desde 2009, Communications in Mathematics es la continuación de la revista Acta Mathematica et Informatica Universitatis Ostraviensis, fundada en 1993, que se convirtió en Acta Mathematica Universitatis Ostraviensis en 2003. Communications in Mathematics publica en inglés artículos de investigación y estudio en todas las áreas de las matemáticas puras y aplicadas, física matemática e informática.
- Director de publicación: Jan Lata
- Redactor en jefe: Ivan Kaygorodov
- Tipo de soporte: electrónico
- Periodicidad: anual
- Año de creación: 2009
- Fecha de publicación en Episciences: 2021
- eISSN: 2336-1298
- Disciplinas: matemáticas
- Idiomas de publicación: inglés
- Procedimiento de evaluación: evaluación simple ciega
- CC BY-SA 4.0 licence
- Editor: University of Ostrava
- Dirección postal: Dvořákova 7, 701 03 Ostrava
- País: República Checa
- Contacto: cm AT episciences.org
Últimos artículos
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
25 novembre 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
03 novembre 2023
Read article
Ciencias humanas y sociales
CST
[Les Cahiers Scientifiques du Transport]
CST
Les Cahiers Scientifiques du Transport
Creada en 1979, Cahiers Scientifiques du Transport publica semestralmente, en miscelánea o números temáticos, artículos relacionados con el campo del transporte, la movilidad y la logística. Apoyada por la Asociación Francesa de Institutos de Transporte y Logística (AFITL), la revista destaca la diversidad disciplinaria de las contribuciones.
- Director de publicación: Antoine Frémont
- Redactor en jefe: Laurent Carnis
- Tipo de soporte: electrónico
- Periodicidad: semestral
- Año de creación: 1979
- Fecha de publicación en Episciences: 2022
- eISSN: 1150-8809
- Disciplinas: ordenación territorial, ingeniería, ciencias de la gestión, ciencia política, urbanismo
- Idiomas de publicación: francés
- Procedimiento de evaluación: evaluación simple ciega
- CC BY 4.0 licence
- Editor: Association française des instituts de transport et de logistique (AFITL)
- Dirección postal: Conservatoire national des Arts et Métiers, Direction de la recherche, 4DRE01, 292 rue Saint-Martin, 75141 Paris Cedex 03
- País: Francia
- Contacto: cst AT episciences.org
Últimos artículos
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
26 octobre 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
08 septembre 2023
Read article
Actas de conferencias
Informática y matemáticas aplicadas
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, creada en 2022, publica en inglés actas de conferencias y talleres de informática teórica.
- Director de publicación: Bruno Sportisse
- Redactor en jefe: Michael Mislove
- Tipo de soporte: electrónico
- Periodicidad: sobre la marcha
- Año de creación: 2022
- Fecha de publicación en Episciences: 2023
- eISSN: 2969-2431
- Disciplinas: informática teórica
- Idiomas de publicación: inglés
- Procedimiento de evaluación: evaluación simple ciega
- Licence CC BY 4.0
- Editor: Inria
- Dirección postal: Domaine de Voluceau Rocquencourt – B.P. 105 78153 Le Chesnay Cedex
- País: Francia
- Contacto: entics AT episciences.org
Últimos artículos
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
23 novembre 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
23 novembre 2023
Read article