<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ioannis Zaharakis</style></author><author><style face="normal" font="default" size="100%">Achilles Kameas</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Modeling spiking neural networks</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%">Formal models</style></keyword><keyword><style  face="normal" font="default" size="100%">Neural networks</style></keyword><keyword><style  face="normal" font="default" size="100%">Specification</style></keyword><keyword><style  face="normal" font="default" size="100%">Systems design methodology</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">http://daisy.cti.gr/files/Modeling spiking neural networks.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Elsevier</style></publisher><volume><style face="normal" font="default" size="100%">395</style></volume><pages><style face="normal" font="default" size="100%">57-76</style></pages><abstract><style face="normal" font="default" size="100%">&lt;div align=&quot;justify&quot;&gt;
A notation for the functional specification of a wide range of neural
networks consisting of temporal or non-temporal neurons, is proposed.
The notation is primarily a mathematical framework, but it can also be
illustrated graphically and can be extended into a language in order to
be automated. Its basic building blocks are processing entities, finer
grained than neurons, connected by instant links, and as such they form
sets of interacting entities resulting in bigger and more sophisticated
structures. The hierarchical nature of the notation supports both
top-down and bottom-up specification approaches. The use of the
notation is evaluated by a detailed example of an integrated tangible
agent consisting of sensors, a computational part, and actuators. A
process from specification to both software and hardware implementation
is proposed.
&lt;/div&gt;
</style></abstract><issue><style face="normal" font="default" size="100%">1</style></issue></record></records></xml>