- Todo
- Actas de conferências
- Ambiente
- Biomecânica
- Ciências da saúde
- Ciências da Terra
- Ciências humanas e sociais
- Física
- Informática e matemática aplicada
- Matemática
- Mecânica
Actas de conferências
ElPub
[Electronic Publishing]
ElPub
Electronic Publishing
A conferência ElPub, realizada anualmente entre 1997 e 2020, apresenta os resultados da investigação sobre vários aspectos da publicação digital, envolvendo uma comunidade internacional diversificada de todas as disciplinas das ciências e humanidades.
A última conferência ElPub foi realizada em 2020; os textos das conferências de 2018, 2019 e 2020 ainda estão disponíveis no sítio Web.
- Tipo de suporte: digital
- Periodicidade: anual
- Estado da coleção: 2018-2020
- Data de disponibilização online na Episciences: 2018
- Idiomas da publicação: inglês
Últimos artigos
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
Ler o artigo
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
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
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
Ler o artigo
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
Ler o artigo
Actas de conferências
Biomecânica
MBJ
[Multidisciplinary Biomechanics Journal]
MBJ
Multidisciplinary Biomechanics Journal
Criada em 2024 pela Société de Biomécanique, a Multidisciplinary Biomechanics Journal é uma revista anual que publica, em inglês, contribuições da comunidade francesa e francófona no domínio da biomecânica.
- Diretor de publicação: Yohan Payan
- Redator responsável: Yoann Blache
- Tipo de suporte: digital
- Periodicidade: anual
- Ano de criação: 2024
- eISSN: 3076-1158
- Data de disponibilização online na Episciences: 2024
- Disciplinas: Biomecânica
- Idiomas da publicação: inglês
- Processo de avaliação: estudo cego
- Licença CC BY 4.0
- Editor: Société de Biomécanique
- Endereço postal: Ensam, 151 boulevard de l’Hôpital, 75013 Paris
- País: França
- Contacto: mbj AT episciences.org
Últimos artigos
Studying honeybees' landing on flower: an experimental setup
Landing a helicopter on a moving ship is an error-prone operation, requiring the expertise of highly trained pilots, and benefits greatly from advanced technologies to improve decision-making and action regulation. (Thomas et al. 2021). In stark contrast, landing to forage on a flower looks to be performed with remarkable ease and under visual control in bees (Lehrer and Srinivasan 1992; de Vries et al 2025). Understanding the perceptual behavior of pilots in comparison to that of honeybees is a key driver of innovation in the design of bio-inspired robotic systems. Understanding the mechanisms behind this ability requires accurately tracking the bee’s movement during the landing task. Vision-based tracking techniques using convolutional neural networks (CNNs), such as You Only Look Once (YOLO) algorithm (Redmon et al. 2016), can be specifically trained to detect and track the honeybee-flower system. Our goal is to accurately reconstruct a known trajectory, using a fake bee as a target, with a mean tracking error less than half a centimeter, or about half the length of a honeybee (13 mm).
Nicolas Salvage
October 24, 2025
Ler o artigo
The bionic Pohod15Leg leg: an exoskeletal ant-inspired leg for load transportation
Every year, numerous bio-inspired hexapod prototypes are built in various fields of research, such as navigation, social behavior and locomotion. Staying within these three fields, several hexapod robots developed over the last two decades are presented in this review (Manoonpong et al. 2021). The most common category corresponds to hexapods with a mass 0.5∼10kg. All these robots are driven by low-power electric servomotors (each consuming an electric power of around 30W). Servomotor-based hexapods are frequently used because of their low manufacturing cost 0.5∼3k€. Moreover, electric servomotors are easy to drive, as there are usually many prefabricated development boards integrating the control system. To better understand how animals work, for example, how ants run so fast or carry such a heavy load? This requires to estimate the gap between the limits of the animal model and the bio-inspired hexapod. It is therefore relevant to proceed with the hexapod design step by step, considering the current technological limits constraining the robot design process. In this study, we will compare the level of performance of the first exoskeletal ant-inspired leg for load transportation, called Pohod15Leg, designed and fabricated to be compared to the current state-of-the-art in servomotor-based legs, i.e., a bionic leg actuated by 3 Dynamixel AX-18A servomotors, called AXLeg. These two bionic legs will be evaluated in similar experimental conditions with the same test bench, called MiMiC-ANT test bench (Brodoline et al. 2022).
Julien R. Serres
October 24, 2025
Ler o artigo