- Todo
- Actas de conferencias
- Biomecánica
- Ciencias de la Tierra
- Ciencias humanas y sociales
- Ciencias sanitarias
- Física
- Informática y matemáticas aplicadas
- Matemáticas
- Mecánica
- Medioambiente
Actas de conferencias
ElPub
[Electronic Publishing]
ElPub
Electronic Publishing
La conferencia ElPub, celebrada anualmente entre 1997 y 2020, presenta los resultados de investigaciones sobre diversos aspectos de la edición digital, en las que participa una comunidad internacional diversa de todas las disciplinas de las ciencias y las humanidades.
La última conferencia ElPub se celebró en 2020; los textos de las conferencias de 2018, 2019 y 2020 siguen disponibles en el sitio web.
- Tipo de soporte: electrónico
- Periodicidad: anual
- Estado de la colección: 2018-2020
- Fecha de publicación en Episciences: 2018
- Idiomas de publicación: inglés
Últimos artículos
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.
Wilson, Katie
April 18, 2020
Read 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.
Arthur, Paul
April 18, 2020
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
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
December 20, 2025
Read 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
December 20, 2025
Read article
Actas de conferencias
Biomecánica
MBJ
[Multidisciplinary Biomechanics Journal]
MBJ
Multidisciplinary Biomechanics Journal
Creada en 2024 por la Société de Biomécanique, Multidisciplinary Biomechanics Journal es una revista anual que publica, en inglés, contribuciones de la comunidad francesa y francófona en el campo de la biomecánica.
- Director de publicación: Yohan Payan
- Redactor en jefe: Yoann Blache
- Tipo de soporte: electrónico
- Periodicidad: anual
- Año de creación: 2024
- eISSN: 3076-1158
- Fecha de publicación en Episciences: 2024
- Disciplinas: Biomecánica
- Idiomas de publicación: inglés
- Procedimiento de evaluación: evaluación simple ciega
- Licencia CC BY 4.0
- Editor: Société de Biomécanique
- Dirección postal: Ensam, 151 boulevard de l’Hôpital, 75013 Paris
- País: Francia
- Contacto: mbj AT episciences.org
Últimos artículos
Towards Simulation-based Ventricular Tachycardia Risk Assessment in repaired Tetralogy of Fallot patients
...
Crabbé, Olivier
October 24, 2025
Read article
Physics-Informed Deep Learning Surrogates for Aneurysm Blood Flow Simulation
...
L. Cruz-González, Oscar
October 24, 2025
Read article