伊丽莎白·德·玛丽亚;Cinzia迪朱斯托;莱蒂蒂亚·拉弗萨 建模为时间自动机的尖峰神经网络:具有参数学习。 (英语) Zbl 1530.68086号 自然计算。 19,第1期,135-155(2020年).MSC公司:2007年第68季度 03B44号 65年第68季度 60年第68季度 68T05型 92秒20 92C20美元 PDF格式BibTeX公司 XML格式引用 \textit{E.De Maria}等人,《自然计算》。19,第1号,135--155(2020;Zbl 1530.68086) 全文: 内政部 arXiv公司 哈尔
斯基沃,斯特凡诺;罗姆·兰格拉克 使用UPPAAL对连续动力系统进行离散化。 (英语) Zbl 1498.68142号 Katoen,Joost-Pieter(编辑)等,建模教育,测试教育,信任教育。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10500297-315(2017年)。MSC公司:65年第68季度 2015年11月37日 65升05 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Schivo}和\textit{R.Langerak},莱克特。注释计算。科学。10500,297--315(2017;Zbl 1498.68142) 全文: 内政部 链接
埃姆纳·本·阿卜杜拉;托尼·里贝罗;摩根·马根;奥利维尔·鲁克斯;井上,胜美 从时间序列数据建模生物调控网络中的延迟动力学。 (英语) Zbl 1461.62184号 算法(巴塞尔) 10,第1号,第8号论文,26页(2017年).MSC公司:62页第10页 62米10 68T05型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Ben Abdallah}等人,《算法(巴塞尔)》10,第1期,第8号论文,26页(2017;Zbl 1461.62184) 全文: 内政部
罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;卢卡·特塞 定时P自动机。 (英语) Zbl 1347.68127号 Ciobanu,Gabriel(编辑),《第二届膜计算和生物启发过程计算国际会议论文集》(MeCBIC 2008),2008年9月3日至4日,罗马尼亚伊阿什。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记227,21-36(2009)。MSC公司:2005年第68季度 2010年第68季度 65年第68季度 92D40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,《电子》。注释Theor。计算。科学。227、21-36(2009年;Zbl 1347.68127) 全文: 内政部
埃齐奥·巴托西;弗拉维奥·科拉迪尼;埃马努埃拉·梅雷利;卢卡·特塞 模型检查生物振荡器。 (英语) Zbl 1283.92008年 尼古拉·卡纳塔(编辑)等人,《第二次研讨会论文集——从生物学到并发性再到并发性(FBTC 2008)》,冰岛雷克雅未克,2008年7月12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》229,第1期,41-58页(2009年)。MSC公司:92秒20 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人,《电子》。注释Theor。计算。科学。229,第1号,41-58(2009;Zbl 1283.92008) 全文: 内政部
罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 定时P自动机。 (英语) Zbl 1191.68375号 芬达姆。通知。 94,第1期,第1-19页(2009年).MSC公司:65年第68季度 2010年第68季度 92D40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Fundam。通知。94,第1号,1--19(2009;Zbl 1191.68375) 全文: 内政部
罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;卢卡·特塞 定时P自动机。 (英语) Zbl 1221.68114号 乔巴努,加布里埃尔(编辑),MeCBIC 2008。第二届膜计算和生物启发过程计算国际会议。论文基于2008年9月3日至4日在罗马尼亚伊阿什伊举行的会议上的发言。Iaši:“AI.i.Cuza”大学,“A.Myller”研讨会。53-67 (2008).MSC公司:65年第68季度 2005年第68季度 92D40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,收录于:MeCBIC 2008。第二届膜计算和生物启发过程计算国际会议。2008年9月3日至4日,罗马尼亚,伊阿什伊,根据会议上的陈述撰写的论文。Iaši:“AI.i.Cuza”大学,“A.Myller”学术研讨会。53-67(2008;Zbl 1221.68114)
海克·西伯特;亚历山大·博克迈尔 监管网络逻辑分析中的时间约束。 (英语) Zbl 1133.68041号 西奥。计算。科学。 391,第3期,258-275(2008).MSC公司:65年第68季度 92D10型 PDF格式BibTeX公司 XML格式引用 \textit{H.Siebert}和\textit{A.Bockmayr},Theor。计算。科学。391,第3号,258--275(2008;Zbl 1133.68041) 全文: 内政部