- Tout
- Actes de conférences
- Biomécanique
- Environnement
- Informatique et mathématiques appliquées
- Mathématiques
- Mécanique
- Physique
- Sciences de la santé
- Sciences de la Terre
- Sciences humaines et sociales
Actes de conférences
ElPub
[Electronic Publishing]
ElPub
Electronic Publishing
La conférence ElPub, tenue annuellement entre 1997 et 2020, présente les résultats de la recherche sur divers aspects de l’édition numérique, impliquant une communauté internationale diversifiée dans toutes les disciplines des sciences et des humanités.
La dernière conférence ElPub date de 2020 ; les textes des conférences 2018, 2019 et 2020 restent accessibles sur le site.
- Type de support : électronique
- État de la collection : 2018-2020
- Périodicité : annuelle
- Date de mise en ligne sur Episciences : 2018
- Langue de publication : anglais
Derniers articles
Open access and research dissemination in Africa
This paper discusses research undertaken by the Curtin Open Knowledge Initiative (COKI) andparticipants during and following an Open Knowledge international workshop held in Mauritiusin September 2019. The workshop brought together key experts to explore the role of openknowledge in the creation of equitable and inclusive global knowledge landscapes. This paperexplores the role of open access and institutional repositories in knowledge sharing and thedissemination of research output from higher education and research institutions within theAfrican continent. The paper reviews the landscape of research output from the Africancontinent; analyses open access research output, overviews of institutional knowledge sharingpositions and the dissemination of research output from Ghana, Rwanda, South Africa andUganda.
Katie Wilson
18 avril 2020
Lire l'article
Open Digital Scholarship in the Humanities: A Review of Needs, Barriers and Opportunities
The combination of open access and our digital networked environment offers huge potential tomake the research outputs of humanities and social sciences more Findable, Accessible,Interoperable and Reusable (FAIR) and more easily available to the broader community for publicbenefit. Yet despite growing international policy derivatives, open digital scholarship hasencountered significant challenges. This study:• Reviewed key barriers currently hampering the uptake of these policies by diverse universityparticipants (senior university administrators, researchers, librarians, platform providers anddevelopers), policymakers and community users; and• Examined how these have influenced the fields of humanities and social sciences (HASS).This paper discusses research undertaken by the Curtin Open Knowledge Initiative (COKI) andparticipants during and following an Open Knowledge international workshop held in Mauritiusin September 2019. The workshop brought together key experts to explore the role of openknowledge in the creation of equitable and inclusive global knowledge landscapes. This paperexplores the role of open access and institutional repositories in knowledge sharing and thedissemination of research output from higher education and research institutions within theAfrican continent. The paper reviews the landscape of research output from the Africancontinent; analyses open access research output, overviews of institutional knowledge sharingpositions and the dissemination of research output from Ghana, Rwanda, South Africa andUganda.
Paul Arthur
18 avril 2020
Lire l'article
Actes de conférences
Informatique et mathématiques appliquées
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, créée en 2022, publie, au fil de l’eau en anglais, des actes de conférences et de workshops en informatique théorique.
- Directeur de la publication : Bruno Sportisse
- Rédacteur en chef : Michael Mislove
- Type de support : électronique
- Périodicité : au fil de l’eau
- Année de création : 2022
- Date de mise en ligne sur Episciences : 2023
- eISSN : 2969-2431
- Disciplines : informatique théorique
- Langue de publication : anglais
- Procédure d’évaluation : simple aveugle
- Licence CC BY 4.0
- Éditeur : Inria
- Adresse postale : Domaine de Voluceau Rocquencourt – B.P. 105 78153 Le Chesnay Cedex
- Pays : France
- Contact : entics AT episciences.org
Derniers articles
The Functional Machine Calculus III: Control
The Functional Machine Calculus (Heijltjes 2022) is a new approach to unifying the imperative and functional programming paradigms. It extends the lambda-calculus, preserving the key features of confluent reduction and typed termination, to embed computational effects, evaluation strategies, and control flow operations. The first instalment modelled sequential higher-order computation with global store, input/output, probabilities, and non-determinism, and embedded both the call-by-name and call-by-value lambda-calculus, as well as Moggi's computational metalanguage and Levy's call-by-push-value. The present paper extends the calculus from sequential to branching and looping control flow. This allows the faithful embedding of a minimal but complete imperative language, including conditionals, exception handling, and iteration, as well as constants and algebraic data types. The calculus is defined through a simple operational semantics, extending the (simplified) Krivine machine for the lambda-calculus with multiple operand stacks to model effects and a continuation stack to model sequential, branching, and looping computation. It features a confluent reduction relation and a system of simple types that guarantees termination of the machine and strong normalization of reduction (in the absence of iteration). These properties carry over to the embedded imperative language, providing a unified functional-imperative model of computation that supports simple types, a direct and intuitive operational semantics, and a confluent reduction semantics.
Heijltjes, Willem
20 décembre 2025
Lire l'article
Traces via Strategies in Two-Player Games
Traces form a coarse notion of semantic equivalence between states of a process, and have been studied coalgebraically for various types of system. We instantiate the finitary coalgebraic trace semantics framework of Hasuo et al. for controller-versus-environment games, encompassing both nondeterministic and probabilistic environments. Although our choice of monads is guided by the constraints of this abstract framework, they enable us to recover familiar game-theoretic concepts. Concretely, we show that in these games, each element in the trace map corresponds to a collection (a subset or distribution) of plays the controller can force. Furthermore, each element can be seen as the outcome of following a controller strategy. Our results are parametrised by a weak distributive law, which computes what the controller can force in a single step.
Plummer, Benjamin
20 décembre 2025
Lire l'article
Actes de conférences
Biomécanique
MBJ
[Multidisciplinary Biomechanics Journal]
MBJ
Multidisciplinary Biomechanics Journal
Créée en 2024 par la Société de Biomécanique, Multidisciplinary Biomechanics Journal est une revue annuelle publiant, en anglais, les contributions de la communauté française et francophone dans le domaine de biomécanique.
- Directeur de la publication : Yohan Payan
- Rédacteur en chef : Yoann Blache
- Type de support : électronique
- Périodicité : annuelle
- Année de création : 2024
- Date de mise en ligne sur Episciences : 2024
- eISSN : 3076-1158
- Discipline : biomécanique
- Langue de publication : anglais
- Procédure d’évaluation : simple aveugle
- Licence CC BY 4.0
- Éditeur : Société de Biomécanique
- Adresse postale : Ensam, 151 boulevard de l’Hôpital, 75013 Paris
- Pays : France
- Contact : mbj AT episciences.org
Derniers articles
Mechanical characterization of sublingual mucosal tissues by uniaxial tensile tests – A protocol definition
...
Nouha Souiki
24 octobre 2025
Lire l'article