×

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

通过布尔网络抽象模拟反应网络。 (英语) Zbl 1505.92077号

Petre,Ion(编辑)等人,《系统生物学中的计算方法》。第20届国际会议,CMSB 2022,罗马尼亚布加勒斯特,2022年9月14-16日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13447, 21-40 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

零知识协议中的约束提取。 (英语) Zbl 1514.68081号

Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13371, 430-443 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用SAT解算器对简化的SHA-1进行图像前搜索的新记录。 (英语) Zbl 1498.94053号

Giri,Debasis(ed.)等人,《第七届数学与计算国际会议论文集》,ICMC 2021,印度Shibpur,2021年3月2日至5日。新加坡:斯普林格。高级智能。系统。计算。1412, 141-151 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可删除的功能签名。 (英语) Zbl 1388.94088号

Cheng,Chen Mou(编辑)等人,《公钥密码术——PKC 2016》。2016年3月6日至9日,第19届IACR公开密钥加密实践与理论国际会议,台湾台北。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-662-49383-0/pbk;978-3-562-49384-7/ebook)。计算机科学讲座笔记9614,357-386(2016)。
MSC公司:94A62型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

草食协议中检验知识的符号模型。 (英语) Zbl 1327.68037号

范德梅登(van der Meyden)、罗恩(Ron)等,《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-20673-3/pbk)。计算机科学课堂讲稿6572。人工智能课堂讲稿,112-129(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份