<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Xu Chen</style></author><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author><author><style face="normal" font="default" size="100%">Luis Valencia-Cabrera</style></author><author><style face="normal" font="default" size="100%">Beizhan Wang</style></author><author><style face="normal" font="default" size="100%">XiangXiang Zeng</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Computing with viruses</style></title><secondary-title><style face="normal" font="default" size="100%">Theoretical Computer Science</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Natural computing</style></keyword><keyword><style  face="normal" font="default" size="100%">register machine</style></keyword><keyword><style  face="normal" font="default" size="100%">Turing completeness</style></keyword><keyword><style  face="normal" font="default" size="100%">Virus machine</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2016</style></year><pub-dates><date><style  face="normal" font="default" size="100%">04/2016</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.sciencedirect.com/science/article/pii/S0304397515011457</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Elsevier</style></publisher><pub-location><style face="normal" font="default" size="100%">Amsterdam (The Netherlands)</style></pub-location><volume><style face="normal" font="default" size="100%">623</style></volume><pages><style face="normal" font="default" size="100%">146-159</style></pages><abstract><style face="normal" font="default" size="100%">In recent years, different computing models have emerged within the area of Unconventional Computation, and more specifically within Natural Computing, getting inspiration from mechanisms present in Nature. In this work, we incorporate concepts in virology and theoretical computer science to propose a novel computational model, called Virus Machine. Inspired by the manner in which viruses transmit from one host to another, a virus machine is a computational paradigm represented as a heterogeneous network that consists of three subnetworks: virus transmission, instruction transfer, and instruction-channel control networks. Virus machines provide non-deterministic sequential devices. As number computing devices, virus machines are proved to be computationally complete, that is, equivalent in power to Turing machines. Nevertheless, when some limitations are imposed with respect to the number of viruses present in the system, then a characterization for semi-linear sets is obtained.</style></abstract><custom1><style face="normal" font="default" size="100%">0.657</style></custom1><custom2><style face="normal" font="default" size="100%">71/102</style></custom2></record></records></xml>