NN Formalization paper available by ftp.

[E. Fiesler]

                              PLEASE POST
                              -----------


The following paper is available via anonymous ftp from the neuroprose archive.
It counts 13 A4-size PostScript pages, and  replaces a shorter preliminary ver-
sion.  Instructions for retrieval follow the abstract.



              NEURAL NETWORK CLASSIFICATION AND FORMALIZATION


                               E. Fiesler

                                 IDIAP
                               c.p. 609
                           CH-1920 Martigny
                              Switzerland


This paper has been accepted for publication in the special issue on Neural
Network Standards of  "Computer Standards & Interfaces", volume 16,  edited
by J. Fulcher.  Elsevier Science Publishers, Amsterdam, 1994.



                                ABSTRACT

In order to  assist the field of neural networks  in maturing, a formalization
and a solid foundation are essential. Additionally, to permit the introduction of formal proofs, it is essential to have an all-encompassing formal mathemat-
ical definition of a neural network.
        This publication offers a neural network formalization consisting of a
topological taxonomy,  a uniform nomenclature, and  an accompanying consistent
mnemonic notation.  Supported by this formalization, both a flexible mathemat-
ical definition are presented.


                     ------------------------------

To obtain a copy of this paper, please follow the following FTP instructions:

unix>     ftp archive.cis.ohio-state.edu (or: ftp 128.146.8.52)
login:    anonymous
password: <your e-mail address>
ftp>      cd pub/neuroprose
ftp>      binary
ftp>      get fiesler.formalization.ps.Z
ftp>      bye
unix>     zcat fiesler.formalization.ps.Z | lpr
                  (or however you uncompress and print postscript)

For convenience of those outside the US, the paper has also been placed on the
IDIAP ftp site:

unix>     ftp Maya.IDIAP.CH     (or: ftp 192.33.221.1)
login:    anonymous
password: <your e-mail address>
ftp>      cd pub/papers/neural
ftp>      binary
ftp>      get fiesler.formalization.ps.Z  (OR  get fiesler.formalization.ps)
ftp>      bye
unix>     zcat fiesler.formalization.ps.Z | lpr
      OR
unix>     lpr fiesler.formalization.ps

(Hard copies of the paper are unfortunately not available.)



P.S.  Thanks for the update, Jordan !