30,955 research outputs found
Computing Partial Recursive Functions by Virus Machines
Virus Machines are a computational paradigm inspired by
the manner in which viruses replicate and transmit from one host cell to
another. This paradigm provides non-deterministic sequential devices.
Non-restricted Virus Machines are unbounded Virus Machines, in the
sense that no restriction on the number of hosts, the number of instructions
and the number of viruses contained in any host along any computation
is placed on them. The computational completeness of these
machines has been obtained by simulating register machines. In this
paper, Virus Machines as function computing devices are considered.
Then, the universality of non-restricted virus machines is proved by showing
that they can compute all partial recursive functions.Ministerio de Economía y Competitividad TIN2012- 3743
Lie groupoids and algebroids applied to the study of uniformity and homogeneity of material bodies
A Lie groupoid, called \textit{material Lie groupoid}, is associated in a
natural way to any elastic material. The corresponding Lie algebroid, called
\textit{material algebroid}, is used to characterize the uniformity and the
homogeneity properties of the material. The relation to previous results in
terms of structures is discussed in detail. An illustrative example is
presented as an application of the theory
A spiking neural network for real-time Spanish vowel phonemes recognition
This paper explores neuromorphic approach capabilities applied to real-time speech processing. A spiking
recognition neural network composed of three types of neurons is proposed. These neurons are based on an
integrative and fire model and are capable of recognizing auditory frequency patterns, such as vowel phonemes;
words are recognized as sequences of vowel phonemes. For demonstrating real-time operation, a complete
spiking recognition neural network has been described in VHDL for detecting certain Spanish words, and it has
been tested in a FPGA platform. This is a stand-alone and fully hardware system that allows to embed it in a
mobile system. To stimulate the network, a spiking digital-filter-based cochlea has been implemented in VHDL.
In the implementation, an Address Event Representation (AER) is used for transmitting information between
neurons.Ministerio de Economía y Competitividad TEC2012-37868-C04-02/0
- …