发布文献求助
已关闭
  • 文献求助详情
标题
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study
基于SMT的脉冲神经网络建模与验证：案例研究
相关领域
计算机科学 MNIST数据库 可满足模理论 尖峰神经网络 稳健性（进化） 人工神经网络 人工智能 编码 解算器 理论计算机科学 程序设计语言 生物化学 基因 化学
网址
https://doi.org/10.1007/978-3-031-24950-1_2
DOI
10.1007/978-3-031-24950-1_2 doi
其它 期刊：Lecture notes in computer science
作者：Soham Banerjee; Sumana Ghosh; Ansuman Banerjee; Swarup Kumar Mohalik
出版日期：2023-01-01
求助人
noobwjr 在 2025-12-16 21:17:53 发布自浙江，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
相关文献
  1. Deep CovDenseSNN: A hierarchical event-driven dynamic framework with spiking neurons in noisy enviro...
  2. Symbiosis of an artificial neural network and models of biological neurons: Training and testing
  3. SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study
  4. Energy efficient spiking neural network design with RRAM devices
  5. Spike-inspired Rank Coding for Fast and Accurate Recurrent Neural\n Networks
  6. An Image Recognizing method Based on Precise Moment of Spikes
  7. Security-Aware Approximate Spiking Neural Networks
  8. Symbiosis of an artificial neural network and models of biological neurons: training and testing
  9. A Semi-Supervised Multi-Spike Learning Algorithm for Deep Spiking Neural Networks
　...点击展开更多...　
求助 / 应助时间线

  • 13小时前，求助关闭

    科研通管家 科研通管家 机器人 关闭了本次求助。

    说明 您的求助为[书籍（某章节）]，需要最低积分：30。您的求助积分为10，不符合要求，系统已关闭求助退还积分。如有需要，请重新设置积分【积分已退回】

  • 13小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    21:17:56 未找到该文献，机器人已退出，请等待人工下载
    21:17:53 科研通AI机器人（英国 伦敦）收到请求，开始寻找文献
    21:17:53 已向机器人发送请求

  • 13小时前

    noobwjr noobwjr Lv1 求助人 发起了本次求助

更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
cssfsa完成签到，获得积分20
刚刚
Violet完成签到，获得积分10
1秒前
qingche发布了新的文献求助10
1秒前
JJJ的应助被天天都发疯采纳，获得50
1秒前
8R60d8的应助被zzzzip采纳，获得10
1秒前
2秒前
2秒前
禾研完成签到，获得积分10
3秒前
3秒前
3秒前
4秒前
4秒前
4秒前
4秒前
5秒前
5秒前
罗程翔完成签到，获得积分10
6秒前
晴天完成签到，获得积分10
6秒前
6秒前
wu完成签到，获得积分20
6秒前
6秒前
雅琳完成签到，获得积分10
7秒前
7秒前
7秒前
8秒前
zpctx的应助被李西瓜采纳，获得20
8秒前
林林林完成签到，获得积分10
8秒前
8秒前
8秒前
Akim的应助被小鑫采纳，获得10
8秒前
小雨完成签到 ，获得积分10
9秒前
燃燃发布了新的文献求助10
9秒前
高贵紫丝发布了新的文献求助10
9秒前
9秒前
9秒前
Xxjj完成签到，获得积分10
10秒前
10秒前
李禾和完成签到，获得积分10
10秒前
取个名儿吧完成签到，获得积分10
10秒前
骆驼顶顶完成签到，获得积分10
10秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Iron toxicity and hematopoietic cell transplantation: do we understand why iron affects transplant outcome? 2000
List of 1,091 Public Pension Profiles by Region 1021
Teacher Wellbeing: Noticing, Nurturing, Sustaining, and Flourishing in Schools 800
Efficacy of sirolimus in Klippel-Trenaunay syndrome 500
上海破产法庭破产实务案例精选（2019-2024） 500
EEG in Childhood Epilepsy: Initial Presentation & Long-Term Follow-Up 500
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 纳米技术 计算机科学 内科学 化学工程 复合材料 物理化学 基因 遗传学 催化作用 冶金 量子力学 光电子学
热门帖子
关注 科研通微信公众号，转发送积分 5477701
求助须知：如何正确求助？哪些是违规求助？ 4579485
关于积分的说明 14369133
捐赠科研通 4507697
什么是DOI，文献DOI怎么找？ 2470120
邀请新用户注册赠送积分活动 1457068
关于科研通互助平台的介绍 1431055
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通