苏达,C。;D.苏雷什。;A.纳格什。 无线传感器网络中由神经网络创建的精确数据聚合和通过机器学习处理的数据分类。 (英语) 兹比尔1489.68232 西奥。计算。科学。 925,25-36(2022).MSC公司:68T05型 62H30型 68米18 PDF格式BibTeX公司 XML格式引用 \textit{C.Sudha}等人,Theor。计算。科学。925,25-36(2022;Zbl 1489.68232) 全文: 内政部
费尔南多·尤斯塔基奥;塔蒂安·诺盖拉 评估高维数据模糊聚类验证中的数值不稳定性。 (英语) Zbl 1443.62181号 西奥。计算。科学。 805, 19-36 (2020).MSC公司:62H30型 62时86分 62-08 PDF格式BibTeX公司 XML格式引用 \textit{F.Eustáquio}和\textit{T.Nogueira},Theor。计算。科学。805、19-36(2020年;Zbl 1443.62181) 全文: 内政部
南卡罗来纳州切维拉德。;J·哈里森。;乔尔德斯,M。;Lauter,Ch.(中国)。 高效准确地计算近似误差的上界。 (英语) Zbl 1211.65025号 西奥。计算。科学。 412,第16号,1523-1543(2011).MSC公司:65D20个 26A09号 33B10号机组 65G20个 33F05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Chevillard}等人,Theor。计算。科学。412,第16号,1523-1543(2011;Zbl 1211.65025) 全文: 内政部 链接
多米尼克·杰尼特;加勒·拉盖托 多处理机上硬实时系统的WCET空闲时间分析:基于正则语言的模型。 (英语) Zbl 1143.68034号 西奥。计算。科学。 388,编号1-3,26-52(2007).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Geniet}和\textit{G.Largeteau},Theor。计算。科学。388,编号1--3,26-52(2007;Zbl 1143.68034) 全文: 内政部
Rohit N.昆达吉。;Shyamasundar,R.K。 精化演算:翻译验证、调试和认证的基础。 (英语) Zbl 1088.68037号 西奥。计算。科学。 354,第1期,153-168(2006).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{R.N.Kundaji}和\textit{R.K.Shyamasundar},Theor。计算。科学。354,编号1,153--168(2006;Zbl 1088.68037) 全文: 内政部
多米尼克·杰尼特;Jean-Philippe杜伯纳德 使用常规语言和生成函数调度硬零星任务。 (英语) Zbl 1059.68060号 西奥。计算。科学。 313,第1期,119-132(2004).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Geniet}和\textit{J.-P.Dubernard},Theor。计算。科学。313,第1号,119--132(2004;Zbl 1059.68060) 全文: 内政部
阿黛尔·布胡拉 使用归纳和重写来验证和完成参数化规范。 (英语) Zbl 0874.68198号 西奥。计算。科学。 170,编号1-2,245-276(1996).MSC公司:60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \文本{A.Bouhoula},Theor。计算。科学。170,编号1--2,245--276(1996;Zbl 0874.68198) 全文: 内政部