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 233
artigos
30
revistas de livre acesso diamant
12 605
utilizadores e utilizadoras
Últimas publicações
Ver todas as revistasMatemática
CM
[Communications in Mathematics]
CM
Communications in Mathematics
Existente desde 2009, a Communications in Mathematics é a continuação da revista Acta Mathematica et Informatica Universitatis Ostraviensis, fundada em 1993, que se tornou a Acta Mathematica Universitatis Ostraviensis em 2003. A Communications in Mathematics publica em inglês artigos de investigação e de estudo em todas as áreas da matemática pura e aplicada, da física matemática e da informática.
- Diretor de publicação: Jan Lata
- Redator responsável: Ivan Kaygorodov
- Tipo de suporte: digital
- Periodicidade: anual
- Ano de criação: 2009
- Data de disponibilização online na Episciences: 2021
- eISSN: 2336-1298
- Disciplinas: matemática
- Idiomas da publicação: inglês
- Processo de avaliação: estudo cego
- CC BY-SA 4.0 licence
- Editor: University of Ostrava
- Endereço postal: Dvořákova 7, 701 03 Ostrava
- País: República Checa
- Contacto: cm AT episciences.org
Últimos artigos
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
Ler o artigo
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
Ler o artigo
Ciências humanas e sociais
CST
[Les Cahiers Scientifiques du Transport]
CST
Les Cahiers Scientifiques du Transport
Criadas em 1979, as Cahiers Scientifiques du Transport publicam semestralmente, no âmbito de números variáveis ou temáticas, artigos sobre o setor dos transportes, da mobilidade e da logística. Apoiada pela Associação Francesa dos Institutos de Transporte e Logística (AFITL), a revista destaca a diversidade disciplinar das contribuições.
- Diretor de publicação: Antoine Frémont
- Redator responsável: Laurent Carnis
- Tipo de suporte: digital
- Periodicidade: semestral
- Ano de criação: 1979
- Data de disponibilização online na Episciences: 2022
- eISSN: 1150-8809
- Disciplinas: ordenamento, engenharia, ciências da gestão, ciência política, urbanismo
- Idiomas da publicação: francês
- Processo de avaliação: estudo cego
- CC BY 4.0 licence
- Editor: Association française des instituts de transport et de logistique (AFITL)
- Endereço postal: Conservatoire national des Arts et Métiers, Direction de la recherche, 4DRE01, 292 rue Saint-Martin, 75141 Paris Cedex 03
- País: França
- Contacto: cst AT episciences.org
Últimos artigos
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
Ler o artigo
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
Ler o artigo
Actas de conferências
Informática e matemática aplicada
ENTICS
[Electronic Notes in Theoretical Informatics and Computer Science]
ENTICS
Electronic Notes in Theoretical Informatics and Computer Science
A ENTICS, Electronic Notes in Theoretical Informatics and Computer Science, criada em 2022, publica, gradualmente em inglês, atas de conferências e de workshops de informática teórica.
- Diretor de publicação: Bruno Sportisse
- Redator responsável: Michael Mislove
- Tipo de suporte: digital
- Periodicidade: gradual
- Ano de criação: 2022
- Data de disponibilização online na Episciences: 2023
- eISSN: 2969-2431
- Disciplinas: informática teórica
- Idiomas da publicação: inglês
- Processo de avaliação: estudo cego
- Licence CC BY 4.0
- Editor: Inria
- Endereço postal: Domaine de Voluceau Rocquencourt – B.P. 105 78153 Le Chesnay Cedex
- País: França
- Contacto: entics AT episciences.org
Últimos artigos
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
Ler o artigo
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
Ler o artigo