×

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

具有CTL免疫反应的细胞内延迟HIV模型的离散时间系统。 (英语) Zbl 1521.92096号

Tchemisova,Tatiana V.(编辑)等人,《动态控制与优化》。2021年2月3日至5日,葡萄牙阿韦罗,DCO 2021。选定的修订稿。查姆:斯普林格。Springer程序。数学。《统计》第407、211-229页(2022年)。
PDF格式BibTeX公司 XML格式引用

使用分数模型研究Covid-19病毒的传播动力学:以摩洛哥为例。 (英语) Zbl 1484.92093号

Agarwal,Praveen(编辑)等人,《传染病问题分析》(Covid-19)及其全球影响。新加坡:斯普林格。Infosys科学。已找到。序列号。,617-627 (2021).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

利用变量稀疏性通过三角分解计算生物动力系统的平衡。 (英语) Zbl 1480.92088号

Martín-Vide,Carlos(编辑)等人,《计算生物学算法》。第八届国际会议,2021年6月7日至11日,美国密苏里州密苏拉AlCoB 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12715, 29-41 (2021).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

常微分方程的演绎稳定性证明。 (英语) Zbl 1474.68195号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 181-199 (2021).
PDF格式BibTeX公司 XML格式引用

埃博拉病毒病广义模型的动力学。 (英语) 兹比尔1430.92098

Mondaini,Rubem P.(编辑),《生物数学趋势:健康、收获和人口动态的数学建模》。2018年10月29日至11月2日,在摩洛哥Mohammedia举行的第18届BIOMAT财团讲座上展示了精选作品。查姆:斯普林格。35-46 (2019).
MSC公司:92天30分 34D23个
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

通过几何求解参数多项式系统揭示神经疾病模型的双稳态。 (英语) Zbl 1518.92038号

Fleuriot,Jacques(编辑)等人,《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11110, 170-180 (2018).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

通过PrEP对HIV/AIDS预防进行建模和优化控制。 (英语) Zbl 1375.34076号

PDF格式BibTeX公司 XML格式引用

承认四维李代数的两个二阶常微分方程组的可积性。 (英语) Zbl 1404.34038号

PDF格式BibTeX公司 XML格式引用
全文: DOI程序

可刻画微分理想的微分维多项式。 (英语) Zbl 1480.12007号

Böckle,Gebhard(编辑)等人,代数、几何和数论中的算法和实验方法。查姆:斯普林格。443-453 (2017).
PDF格式BibTeX公司 XML格式引用

拉萨尔不变性原理的Coq形式证明。 (英语) Zbl 1484.68315号

Ayala-Rincón,Mauricio(编辑)等人,交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10499, 148-163 (2017).
MSC公司:68V20型 34D20型
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 哈尔

一阶代数常微分方程的符号解。 (英语) Zbl 1434.34019号

Gutierrez,Jaime(编辑)等人,《计算机代数与多项式》。代数和数论的应用。柏林:斯普林格。莱克特。注释计算。科学。8942, 94-104 (2015).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

使用反应坐标计算化学反应网络中的Hopf分支。 (英语) Zbl 1373.92153号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2012年9月3日至6日在斯洛文尼亚马里博尔举行的2012年中国科学院第14届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32972-2/pbk)。计算机科学课堂讲稿7442,84-97(2012)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

切布冯:一种新的数值计算。 (英语) Zbl 1220.65100号

Fitt,Alistair D.(编辑)等,《ECMI 2008年工业数学进展》。2008年6月30日至7月4日,英国伦敦,第15届欧洲工业数学会议记录。柏林:施普林格出版社(ISBN 978-3-642-12109-8/hbk;978-3-442-12110-4/电子书)。《产业数学》15,69-87(2010)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

常微分方程的参数定性分析:排除振荡的计算机代数方法(扩展摘要,邀请演讲)。 (英语) Zbl 1290.68140号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2010年9月6日至12日,第十二届国际研讨会,中国社会科学院2010年,亚美尼亚察赫卡佐。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15273-3/pbk)。计算机科学课堂讲稿6244267-279(2010)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

生物系统分岔和极限环的代数分析。 (英语) Zbl 1171.92307号

Horimoto,Katsuhisa(编辑)等人,代数生物学。2008年7月31日至8月2日,第三届国际会议,AB 2008,奥地利哈根堡城堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85100-4/pbk)。计算机科学课堂讲稿5147156-171(2008)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

传记参考