TY - GEN
T1 - On mathematical modeling of networks and implementation aspects
AU - Bernhaupt, Regina
AU - Pfalzgraf, Jochen
PY - 2002/1/1
Y1 - 2002/1/1
N2 - Based on existing work where categorical and geometrical methods were used to establish a mathematical model of neural net structures, we develop a new very general model for artificial neural networks (ANN), where all basic components of a network are described abstractly. This mathematical model serves as a guideline for design and implementation of a new ANN-simulator. The proposed model of neuron types will be illustrated by the discussion of an example, using the Single Spiking Neuron Model (SSM). The main building blocks of the simulation tool, a new construction principle for ANN, and abstract modeling of connection weights are presented.
AB - Based on existing work where categorical and geometrical methods were used to establish a mathematical model of neural net structures, we develop a new very general model for artificial neural networks (ANN), where all basic components of a network are described abstractly. This mathematical model serves as a guideline for design and implementation of a new ANN-simulator. The proposed model of neuron types will be illustrated by the discussion of an example, using the Single Spiking Neuron Model (SSM). The main building blocks of the simulation tool, a new construction principle for ANN, and abstract modeling of connection weights are presented.
UR - http://www.scopus.com/inward/record.url?scp=84957030938&partnerID=8YFLogxK
U2 - 10.1007/3-540-45470-5
DO - 10.1007/3-540-45470-5
M3 - Conference contribution
AN - SCOPUS:84957030938
SN - 3540438653
SN - 9783540438656
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 168
EP - 180
BT - Artificial Intelligence, Automated Reasoning and Symbolic Computation - Joint International Conferences AISC 2002 and Calculemus 2002, Proceedings
A2 - Henocque, Laurent
A2 - Calmet, Jacques
A2 - Benhamou, Belaid
A2 - Caprotti, Olga
A2 - Sorge, Volker
PB - Springer
T2 - Joint Conferences on 6th Artificial Intelligence and Symbolic Computation, AISC 2002 and 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2002
Y2 - 1 July 2002 through 5 July 2002
ER -