- All
- Biomechanics
- Earth Sciences
- Environment
- Health Sciences
- Informatics and Applied Mathematics
- Mathematics
- Mechanical engineering
- Physics
- Proceedings
- Social Sciences and Humanities
Proceedings
ElPub
[Electronic Publishing]
ElPub
Electronic Publishing
The ElPub conference, held annually between 1997 and 2020, presents the results of research on various aspects of digital publishing, involving a diverse international community from all disciplines in the sciences and humanities.
The last ElPub conference was held in 2020; the texts of the 2018, 2019 and 2020 conferences are still available on the website.
- Medium: electronic
- Collection: 2018-2020
- Frequency: annual
- Date of publication on Episciences: 2018
- Language of publication: English
Latest 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
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.
Paul Arthur
April 18, 2020
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
Latest articles
Implicit automata in {\lambda}-calculi III: affine planar string-to-string functions
We prove a characterization of first-order string-to-string transduction via $\lambda$-terms typed in non-commutative affine logic that compute with Church encoding, extending the analogous known characterization of star-free languages. We show that every first-order transduction can be computed by a $\lambda$-term using a known Krohn-Rhodes-style decomposition lemma. The converse direction is given by compiling $\lambda$-terms into two-way reversible planar transducers. The soundness of this translation involves showing that the transition functions of those transducers live in a monoidal closed category of diagrams in which we can interpret purely affine $\lambda$-terms. One challenge is that the unit of the tensor of the category in question is not a terminal object. As a result, our interpretation does not identify $\beta$-equivalent terms, but it does turn $\beta$-reductions into inequalities in a poset-enrichment of the category of diagrams.
Pradic, Cécilia
December 11, 2024
Read article
Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
We study a cost-aware programming language for higher-order recursion dubbed $\textbf{PCF}_\mathsf{cost}$ in the setting of synthetic domain theory (SDT). Our main contribution relates the denotational cost semantics of $\textbf{PCF}_\mathsf{cost}$ to its computational cost semantics, a new kind of dynamic semantics for program execution that serves as a mathematically natural alternative to operational semantics in SDT. In particular we prove an internal, cost-sensitive version of Plotkin's computational adequacy theorem, giving a precise correspondence between the denotational and computational semantics for complete programs at base type. The constructions and proofs of this paper take place in the internal dependent type theory of an SDT topos extended by a phase distinction in the sense of Sterling and Harper. By controlling the interpretation of cost structure via the phase distinction in the denotational semantics, we show that $\textbf{PCF}_\mathsf{cost}$ programs also evince a noninterference property of cost and behavior. We verify the axioms of the type theory by means of a model construction based on relative sheaf models of SDT.
Niu, Yue
December 11, 2024
Read article