陈日增;李浩坤;夏碧灿;赵天奇;郑涛 分离混合三角多项式的所有实根。 (英文) Zbl 07740058号 J.塞姆。计算。 121,文章ID 102250,33 p.(2024).MSC公司:26日xx 68瓦xx 65华夏 PDF格式BibTeX公司 XML格式引用 \textit{R.Chen}等人,J.Symb。计算。121,文章ID 102250,33 p.(2024;Zbl 07740058) 全文: 内政部 arXiv公司
法鲁克·穆哈梅多夫;阿卜杜斯塔·苏伊西;塔雷克·哈姆迪;阿蒙娜拉·安多尔西 树上的开放量子随机游动和量子马尔可夫链。二: 重复发生。 (英文) Zbl 07695215号 量子信息处理。 22,第6号,第232号文件,第18页(2023).MSC公司:81第68页 46L53号 46升60 82B10型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mukhamedov}等人,《量子信息处理》。22,第6号,第232号论文,18页(2023;Zbl 07695215) 全文: 内政部 arXiv公司
赵哲;张业迪;陈广科;宋,傅;陈、陶璐;刘嘉祥 CLEVEREST公司:通过对抗性攻击加速基于CEGAR的神经网络验证。 (英文) Zbl 1524.68328号 Singh,Gagandeep(编辑)等人,《静态分析》。第29届国际研讨会,SAS 2022,新西兰奥克兰,2022年12月5-7日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13790, 449-473 (2022).MSC公司:68T07型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhao}等人,Lect。注释计算。科学。13790449--473(2022年;Zbl 1524.68328) 全文: 内政部
德米特里·奇斯蒂科夫;斯特凡·基弗;安德烈·穆拉夫斯基。;乘务长,大卫 大O问题。 (英文) Zbl 07566053号 日志。方法计算。科学。 18,第1号,第40号论文,50页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人,日志。方法计算。科学。18,第1号,第40号论文,50页(2022;Zbl 07566053) 全文: arXiv公司 链接
徐明;傅建玲;梅静怡;邓玉欣 量子马尔可夫链上的模型检查QCTL plus。 (英文) Zbl 1483.68212号 西奥。计算。科学。 913, 43-72 (2022).MSC公司:60年第68季度 03B44号 81第68页 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,Theor。计算。科学。913、43-72(2022年;Zbl 1483.68212) 全文: 内政部
张业迪;赵哲;陈广科;宋,傅;陈韬略 BDD4BNN公司:基于BDD的二值化神经网络定量分析框架。 (英文) Zbl 1493.68226号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。勒克特。注释计算。科学。12759, 175-200 (2021).MSC公司:60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,Lect。注释计算。科学。12759175-200(2021年;Zbl 1493.68226) 全文: 内政部 arXiv公司
杨鹏飞;李仁觉;李建林;黄成超;王景毅;孙,六月;薛、白;张丽君 通过伪区域引导细化改进神经网络验证。 (英文) Zbl 1467.68096号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2021,卢森堡市,2021年3月27日至4月1日。诉讼程序。第一部分查姆:施普林格。勒克特。注释计算。科学。12651, 389-408 (2021).MSC公司:60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{P.Yang}等人,Lect。注释计算。科学。12651、389--408(2021;Zbl 1467.68096) 全文: 内政部 arXiv公司
王东明;徐,胡安 用于分离某些根式的实根的符号-数字算法。 (英文) Zbl 1461.65079号 J.计算。申请。数学。 391,文章ID 113424,18 p.(2021).MSC公司:65小时05 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Wang}和\textit{J.Xu},J.Compute。申请。数学。391,文章ID 113424,18 p.(2021;Zbl 1461.65079) 全文: 内政部
德米特里·奇斯蒂科夫;斯特凡·基弗;安德烈·穆拉夫斯基。;乘务长,大卫 标记马尔可夫链和加权自动机的大O问题。 (英文) 兹伯利07559497 Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第41条,第19页(2020年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人,LIPIcs——莱布尼茨国际程序。通知。171,第41条,第19页(2020;Zbl 07559497) 全文: 内政部
黄成超;徐明;李志斌 多权力约束的冲突驱动解决程序。 (英文) Zbl 1468.68202号 J.汽车。推理 64,第1号,1-20(2020).MSC公司:68T20型 68T05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人,J.Autom。推理64,No.1,1--20(2020;Zbl 1468.68202) 全文: 内政部
黄成超;李景超;徐明;李志斌 通过排除和分化对多电源进行阳性根隔离。 (英文) Zbl 1378.68200号 J.塞姆。计算。 85, 148-169 (2018).MSC公司:68瓦30 第12天第10天 2005年12月 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人,J.Symb。计算。85148-169(2018年;兹比尔1378.68200) 全文: 内政部
科伊,A.R。;Sh.Keshavarz。;A.R.哈洛。 考虑接触摩擦和帽塑性模型的粉末压实过程形状优化的遗传算法方法。 (英文) Zbl 1257.74130号 工程计算。(布拉德夫) 27,第3号,322-353(2010).MSC公司:第74页第10页 74立方厘米 74米10 74S05号 92D99型 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Khoei}等人,《工程计算》。(Bradf.)27,编号3232-353(2010年;兹bl 1257.74130) 全文: 内政部
科伊,A.R。;Sh.Keshavarz。;A.R.哈洛。 粉末压实过程中大变形摩擦接触建模。 (英文) Zbl 1187.74149号 申请。数学。建模 32,第5号,775-801(2008).MSC公司:74M15型 74S05号 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Khoei}等人,应用。数学。型号32,编号5,775--801(2008;Zbl 1187.74149) 全文: 内政部
Hartley,P。;皮林格,I。 锻造过程的数值模拟。 (英文) 兹比尔1120.74818 计算。方法应用。机械。工程师。 195,编号48-49,6676-6690(2006).MSC公司:74S05号 74C20美元 PDF格式BibTeX公司 XML格式引用 \textit{P.Hartley}和\textit{I.Pillinger},计算。方法应用。机械。工程195,编号48-49,6676-6690(2006;Zbl 1120.74818) 全文: 内政部