斯特凡·库恩;伊雷克·乌利多夫斯基 用可逆过程演算模拟DNA错配修复。 (英语) Zbl 1493.92020年 西奥。计算。科学。 925, 68-86 (2022)。理学硕士:92C40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kuhn}和\textit{I.Ulidowski},Theor。计算。科学。925,68-86(2022;Zbl 1493.92020) 全文: 内政部 OA许可证
米哈伊尔·里巴科夫;德米特里·什卡托夫 命题时间逻辑和计算模态逻辑的有限变量片段的复杂性。 (英语) Zbl 07547827号 西奥。计算。科学。 925, 45-60 (2022)。理学硕士:03B70号 03B44号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov},Theor。计算。科学。925,45-60(2022;Zbl 07547827) 全文: 内政部
亨克·巴伦德雷格特;Terwijn,Sebastian A。 部分组合代数和广义数。 (英语) Zbl 07547826号 西奥。计算。科学。 925, 37-44 (2022)。理学硕士:03D45号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{H.Barendregt}和\textit{S.A.Terwijn},Theor。计算。科学。925,37-44(2022;Zbl 07547826) 全文: 内政部 arXiv公司 OA许可证
苏达,C。;D.苏雷什。;A.纳格什。 无线传感器网络中由神经网络创建的精确数据聚合和通过机器学习处理的数据分类。 (英语) Zbl 1489.68232号 西奥。计算。科学。 925, 25-36 (2022)。理学硕士:68T05型 62H30型 68米18 PDF格式BibTeX公司 XML格式引用 \textit{C.Sudha}等人,Theor。计算。科学。925,25-36(2022;Zbl 1489.68232) 全文: 内政部
艾尔·格恩斯特;克里斯托夫·斯科尔;尤拉吉·西奇;拉尔夫·威默 使用量词定位求解依赖量化布尔公式。 (英语) Zbl 1489.68394号 西奥。计算。科学。 925, 1-24 (2022)。理学硕士:68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ge Ernst}等人,Theor。计算。科学。925,1--24(2022;Zbl 1489.68394) 全文: 内政部 arXiv公司