×

找到725个文档(结果1-100)

尖点分岔:通过双参数延拓和计算机辅助的存在性证明进行数值检测。 arXiv:2404.00535

预印本,arXiv:2404.00535[math.DS](2024)。
BibTeX公司 引用
全文: arXiv公司

利用半群理论得到了高维半线性抛物偏微分方程的严格积分和整体存在性。 arXiv公司:2402.00406

预印本,arXiv:2402.0406[math.AP](2024)。
BibTeX公司 引用
全文: arXiv公司

解决多准则分析问题的区间算法综述。 (英语) Zbl 07731634号

Wyrzykowski,Roman(编辑)等人,《并行处理与应用数学》。第14届国际会议,PPAM 2022,波兰格但斯克,2022年9月11-14日。修订了选定的论文。第二部分。查姆:斯普林格。莱克特。注释计算。科学。13827, 441-456 (2023).
MSC公司:2005年5月 65G40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

求解动力系统参数辨识问题的区间方法。 (英语。俄文原件) Zbl 1500.93134号

不同。埃克。 58,第7期,952-965(2022); 来自Differ的翻译。乌拉文。58,第7期,962-976(2022)。
MSC公司:93E10型 65G40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

走向计算Morse-Floer同调:通过计算临界点的相对指数来强制连接轨道的结果。 arXiv公司:2206.09205

预印本,arXiv:2206.09205[math.DS](2022)。
BibTeX公司 引用
全文: arXiv公司

Verisig 2.0:使用泰勒模型预处理对神经网络控制器进行验证。 (英语) Zbl 1493.68211号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 249-262 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

区间不确定性下微分代数方程简介:广义不确定性DAE的第一步。 (英语) Zbl 1518.34008号

Lesot,Marie Jeanne(编辑)等人,知识系统中不确定性的信息处理和管理。第18届国际会议,2020年IPMU,葡萄牙里斯本,2020年6月15日至19日,会议记录,第二部分。查姆:斯普林格。Commun公司。计算。信息科学。1238, 3-12 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

双边区间线性系统的公差和控制解及其应用。 (英语) Zbl 1516.15002号

Lesot,Marie-Jeanne(编辑)等人,《基于知识的系统中的信息处理和不确定性管理》。第18届国际会议,2020年IPMU,葡萄牙里斯本,2020年6月15日至19日。会议记录,第三部分。Cham:Springer。Commun公司。计算。信息科学。1239436-448(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

处理不确定环境中非线性动力学问题的仿射控制器方法。 (英语) Zbl 1521.65035号

Chakraverty,Snehashish(编辑),跨学科科学中的数学方法。新泽西州霍博肯:John Wiley&Sons。215-237 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通用区间:朝向依赖软件区间代数。 (英语) Zbl 1521.65034号

Chakraverty,Snehashish(编辑),跨学科科学中的数学方法。新泽西州霍博肯:John Wiley&Sons。167-214 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不确定环境中的流体动力学问题。 (英语) Zbl 1521.76733号

Chakraverty,Snehashish(编辑),跨学科科学中的数学方法。新泽西州霍博肯:John Wiley&Sons。125-144 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

区间参数常微分方程组数值解的自适应插值算法分析与优化。 (英语。俄文原件) Zbl 1453.65159号

不同。埃克。 56,第7期,935-949(2020); 来自Differ的翻译。乌拉文。56,第7期,960-974(2020年)。
MSC公司:65升05 65G40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

开发用于优化程序控制设计的元启发式区间最小化方法。 (英语。俄文原件) Zbl 1432.49059号

自动。远程控制 80,编号2334-347(2019); Upr的翻译。博尔什。修女。2016年,第60号,41-62(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件