[EN] In this work, we analyze the computational power of Watson-Crick finite automata (WKFA) if some restrictions over the transition function in the model are imposed. We consider that the restrictions imposed refer to the maximum length difference between the two input strands which is called the delay. We prove that the language class accepted by WKFA with such restrictions is a proper subclass of the languages accepted by arbitrary WKFA in general. In addition, we initiate the study of the language classes characterized by WKFAs with bounded delays. We prove some of the results by means of various relationships between WKFA and sticker systems. ; This work has been developed with the financial support of the European Union's Horizon 2020 research and innovation programme under grant agreement No. 952215 corresponding to the TAILOR project. ; Sempere Luna, JM. (2021). On the Languages Accepted by Watson-Crick Finite Automata with Delays. Mathematics. 9(8):1-12. https://doi.org/10.3390/math9080813 ; S ; 1 ; 12 ; 9 ; 8
[EN] Voting systems are as useful as people are willing to use them. Although many electronic election schemes have been proposed through the years, and some real case scenarios have been tested, people still do not trust electronic voting. Voting is not only about technological challenges but also about credibility, therefore, we propose a voting system focused on trust. We introduce political parties as active partners in the elections as a mechanism to encourage more traditional electors to participate. The system we propose here preserves elector¿s privacy, it operates publicly through a blockchain and it is auditable by third parties. ; Larriba Flor, AM.; Cerdà I Cucó, A.; Sempere Luna, JM.; López Rodríguez, D. (2021). Distributed Trust, a Blockchain Election Scheme. Informatica. 32(2):321-355. https://doi.org/10.15388/20-INFOR440 ; S ; 321 ; 355 ; 32 ; 2
In this article, we introduce ARES (Antibiotic Resistance Evolution Simulator) a software device that simulates P-system model scenarios with five types of nested computing membranes oriented to emulate a hierarchy of eco-biological compartments, i.e. a) peripheral ecosystem; b) local environment; c) reservoir of supplies; d) animal host; and e) host's associated bacterial organisms (microbiome). Computational objects emulating molecular entities such as plasmids, antibiotic resistance genes, antimicrobials, and/or other substances can be introduced into this framework and may interact and evolve together with the membranes, according to a set of pre-established rules and specifications. ARES has been implemented as an online server and offers additional tools for storage and model editing and downstream analysis ; This work has also been supported by grants BFU2012-39816-C02-01 (co-financed by FEDER funds and the Ministry of Economy and Competitiveness, Spain) to AL and Prometeo/2009/092 (Ministry of Education, Government of Valencia, Spain) and Explora Ciencia y Explora Tecnologia/SAF2013-49788-EXP (Spanish Ministry of Economy and Competitiveness) to AM. IRF is recipient of a "Sara Borrell" postdoctoral fellowship (Ref. CD12/00492) from the Ministry of Economy and Competitiveness (Spain). We are also grateful to the Spanish Network for the Study of Plasmids and Extrachromosomal Elements (REDEEX) for encouraging and funding cooperation among Spanish microbiologists working on the biology of mobile genetic elements (Spanish Ministry of Science and Innovation, reference number BFU2011-14145-E). ; Campos Frances, M.; Llorens, C.; Sempere Luna, JM.; Futami, R.; Rodríguez, I.; Carrasco, P.; Capilla, R. (2015). A membrane computing simulator of trans-hierarchical antibiotic resistance evolution dynamics in nested ecological compartments (ARES). Biology Direct. 10(41):1-13. https://doi.org/10.1186/s13062-015-0070-9 ; S ; 1 ; 13 ; 10 ; 41 ; Baquero F, Coque TM, Canton R. Counteracting antibiotic resistance: breaking ...
