×

找到19个文档(结果1-19)

基于SMT的尖峰神经网络建模与验证:案例研究。 (英语) Zbl 07728613号

Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13881, 25-43 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在调节代谢网络中学习布尔控制:一个案例研究。 (英语) Zbl 1491.92055号

Cinquemani,Eugenio(编辑)等人,《系统生物学中的计算方法》。第19届国际会议,CMSB 2021,波尔多,法国,2021年9月22日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12881, 159-180 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

微分等价的符号计算。 (英语) Zbl 1347.68258号

Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。137-150 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

Horn公式的有效MUS枚举及其公理精确定位应用。 (英语) Zbl 1471.68173号

Heule,Marijn(编辑)等人,《满意度测试的理论和应用——SAT 2015》。第18届国际会议,美国德克萨斯州奥斯汀,2015年9月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9340, 324-342 (2015).
PDF格式BibTeX公司 XML格式引用

合成和调整具有特定行为的化学反应网络。 (英语) Zbl 1403.92356号

安德鲁·菲利普斯(编辑)等人,《DNA计算和分子编程》。第21届国际会议,DNA 21,美国马萨诸塞州波士顿和剑桥,2015年8月17日至21日。诉讼程序。查姆:施普林格(ISBN 978-3-319-21998-1/pbk;978-3-3169-21999-8/电子书)。计算机科学讲座笔记9211,16-33(2015)。
MSC公司:92E20型 68N17号 68吨15 90B10型 60J20型
PDF格式BibTeX公司 XML格式引用

一种基于可满足性的在水平图上嵌入广义缠结图的方法。 (英语) Zbl 1330.68225号

Sakallah,Karem A.(编辑)等人,《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21580-3/pbk)。计算机科学讲座笔记6695134-144(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份