INTEGRATION OF ARCHITECTURES BASED ON FORMAL NEURAL NETWORKS - A CHALLENGE FOR SUBMICROMETER TECHNOLOGIES

被引:0
作者
WEINFELD, M
机构
来源
ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS | 1991年 / 46卷 / 1-2期
关键词
COMPUTER ARCHITECTURE; NEURAL NETWORK; SUBMICRON TECHNOLOGY; INTEGRATION; CIRCUIT REALIZATION;
D O I
暂无
中图分类号
TN [电子技术、通信技术];
学科分类号
0809 ;
摘要
Connexionist architectures, using the formal neuron concept, may exhibit properties reminding of some simple cognitive functions. They may thus lead to new signal processing machines, implementing classification and generalization functionalities, or associative memories, for instance. Integration of these functions in silicon can be beneficial, if it is possible to solve connectivity issues and synaptic coefficients realisation, whether using analog or digital technologies. With coming submicrometer technologies, it will be possible to make progress towards networks more important than those which are integrated nowadays, but it is probably only through association of independent networks, cooperating within hierarchized architectures, that it will be possible to implement higher level functions, having a strong parallelism.
引用
收藏
页码:142 / 155
页数:14
相关论文
共 50 条
  • [1] Formal verification for quantized neural networks
    Kovasznai, Gergely
    Kiss, Dorina Hedvig
    Mlinko, Peter
    ANNALES MATHEMATICAE ET INFORMATICAE, 2023, 57 : 36 - 48
  • [2] Formal verification for quantized neural networks
    Kovasznai, Gergely
    Kiss, Dorina Hedvig
    Mlinko, Peter
    ANNALES MATHEMATICAE ET INFORMATICAE, 2023, 57 : 36 - 48
  • [3] Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework
    Wang, Xiaobing
    Yang, Kun
    Wang, Yanmei
    Zhao, Liang
    Shu, Xinfeng
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD (SOFL+MSVL 2019), 2020, 12028 : 73 - 87
  • [4] Integration of neural networks and knowledge-based systems in medicine
    Ultsch, A
    Korus, D
    Kleine, TO
    ARTIFICIAL INTELLIGENCE IN MEDICINE, 1995, 934 : 425 - 426
  • [5] Verifying and Improving Neural Networks Using Testing-Based Formal Verification
    Liu, Haiyi
    Liu, Shaoying
    Liu, Ai
    Fang, Dingbang
    Xu, Guangquan
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, SOFL+MSVL 2022, 2023, 13854 : 126 - 141
  • [6] The use of quaternions in the cryptographic key agreement protocol based on the architectures of the TPQM neural networks
    Plonkowski, Marcin
    Urbanowicz, Pawel
    Lisica, Elena
    PRZEGLAD ELEKTROTECHNICZNY, 2010, 86 (07): : 90 - 91
  • [7] Subject Integration and Applications of Neural Networks
    Yan, Bowu
    Gao, Chao
    ADVANCES IN COMPUTATION AND INTELLIGENCE, PROCEEDINGS, 2009, 5821 : 375 - 381
  • [8] Performance and Accuracy Tradeoffs for Training Graph Neural Networks on ReRAM-Based Architectures
    Arka, Aqeeb Iqbal
    Joardar, Biresh Kumar
    Doppa, Janardhan Rao
    Pande, Partha Pratim
    Chakrabarty, Krishnendu
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2021, 29 (10) : 1743 - 1756
  • [9] Sensory Integration in Deep Neural Networks
    Dobes, Marek
    Andoga, Rudolf
    Fozo, Ladislav
    ACTA POLYTECHNICA HUNGARICA, 2021, 18 (03) : 245 - 254
  • [10] A Formal Characterization of Activation Functions in Deep Neural Networks
    Amrouche, Massi
    Stipanovic, Dusan M.
    IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2024, 35 (02) : 2153 - 2166