×

找到40个文档（结果1-40）

最新 引文 关联
卡塔琳·安德烈·伊利;詹姆斯·本·沃雷尔

参数模型检查连续时间马尔可夫链。 （英语） Zbl 07760477号

穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。178，第7条，第18页（2020年）。
MSC公司：60年第68季度 03B48号
PDF格式BibTeX公司 XML格式引用
\textit{C.-A.Ilie}和\textit{J.B.Worrell}，LIPIcs——莱布尼茨国际程序。通知。178，第7条，第18页（2020；Zbl 07760477）
全文： 内政部
迈克尔·巴肯克勒;卢卡·博托卢西;维雷娜·沃尔夫

人口连续时间马尔可夫链的有界平均首次通过时间。 （英语） Zbl 1486.60093号

Gribaudo，Marco（编辑）等人，《系统的定量评估》。第17届国际会议，QEST 2020，奥地利维也纳，2020年8月31日至9月3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12289, 155-174 (2020).
MSC公司：60J20型 90C22型
PDF格式BibTeX公司 XML格式引用
\textit{M.Backenköhler}等人，Lect。注释计算。科学。12289，155--174（2020；Zbl 1486.60093）
全文： 内政部 arXiv公司
斯特凡·安基奇纳;托马斯·克鲁斯;米哈伊尔·乌鲁索夫

抛硬币马尔可夫链的函数极限定理。 （英语。法语摘要） Zbl 1478.60107号

普罗巴伯亨利·彭卡雷（Henri Poincaré）安研究所。斯达。 56，第4期，2996-3019（2020）.
MSC公司：2017年1月60日 60J25型 60J60型 60华氏35 60J22型
PDF格式BibTeX公司 XML格式引用
\textit{S.Ankirchner}等人，《安娜·亨利·彭卡雷研究所》，普罗巴布。Stat.56，No.4，2996--3019（2020；Zbl 1478.60107）
全文： 内政部 arXiv公司 欧几里得
亚历山大·齐夫曼;雅各布缎;阿纳斯塔西亚·克鲁科娃;俄罗斯拉祖姆奇克;克塞尼亚Kiseleva;希洛娃，加利纳

关于一些连续时间马尔可夫链收敛速度的三种定界方法。 （英语） Zbl 1472.60130号

国际期刊申请。数学。计算。科学。 30，第2期，251-266（2020年）.
MSC公司：60J27型 90秒22 60J10型 60焦耳80
PDF格式BibTeX公司 XML格式引用
\textit{A.Zeifman}等人，《国际期刊应用》。数学。计算。科学。30，第2号，251--266（2020；Zbl 1472.60130）
全文： 内政部 arXiv公司
亚斯梅恩·埃尔德哈利;奥斯曼·哈桑;索菲涅·塔哈尔

使用HOL定理证明进行形式化动态可靠性分析的框架。 （英语） Zbl 1455.68246号

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12236, 105-122 (2020).
MSC公司：68伏15 68米15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Elderhalli}等人，Lect。注释计算。科学。12236、105-122（2020；Zbl 1455.68246）
全文： 内政部
亚历山大·齐夫曼

关于非齐次连续时间马氏链的前向Kolmogorov系统及其相应问题的研究。 （英语） Zbl 1456.60191号

Pinelas，Sandra（编辑）等人，微分和差分方程及其应用。根据2019年7月1日至5日在葡萄牙里斯本举行的2019年ICDDEA第四届国际会议上的演示文稿选出的论文。查姆：斯普林格。Springer程序。数学。《统计》第333卷第21-39页（2020年）。
MSC公司：60J27型 60焦耳80 60K25码
PDF格式BibTeX公司 XML格式引用
\textit{A.Zeifman}，施普林格程序。数学。Stat.333，21-39（2020；Zbl 1456.60191）
全文： 内政部
托马斯·克鲁斯;米哈伊尔·乌鲁索夫

近似连续马尔可夫过程的退出时间。 （英语） Zbl 1464.60074号

离散连续。动态。系统。，序列号。B类 25，第9期，3631-3650（2020）.
MSC公司：60J22型 60J25型 60J60型 60华氏35 2017年1月60日
PDF格式BibTeX公司 XML格式引用
\textit{T.克鲁斯}和\textit{M.乌鲁索夫}，离散Contin。动态。系统。，序列号。B 25，编号9，3631-3650（2020；Zbl 1464.60074）
全文： 内政部 arXiv公司
Leonenko，N.N。;帕皮奇，I。;西科尔斯基，A。;什乌瓦克，N。

Skorokhod拓扑中重尾分数Pearson扩散的近似。 （英语） 兹比尔1451.60037

数学杂志。分析。申请。 486，第2号，文章ID 123934，第21页（2020）.
MSC公司：2017年1月60日 60J60型 60公里50
PDF格式BibTeX公司 XML格式引用
\textit{N.N.Leonenko}等人，《数学杂志》。分析。申请。486，第2号，文章ID 123934，21页（2020；Zbl 1451.60037）
全文： 内政部 链接
皮埃尔·布雷莫德

马尔可夫链。吉布斯场、蒙特卡罗模拟和队列。第二次修订和增补版。 （英语） Zbl 1435.60003号

应用数学课文31.查姆：施普林格（ISBN 978-3-030-45981-9/hbk；978-3-0.30-45982-6/电子书）。十六、557页。(2020).
MSC公司：60-02 60J10型 60G60型 60J27型 60 K10
PDF格式BibTeX公司 XML格式引用
\textit{P.Brémaud}，马尔可夫链。吉布斯场、蒙特卡罗模拟和队列。第二次修订和增补版。查姆：施普林格（2020；Zbl 1435.60003）
全文： 内政部
奥利维尔·盖恩特;尤利亚·曼祖克

图的最优控制：存在性、唯一性和长期行为。 （英语） Zbl 1446.49016号

ESAIM，控制优化。计算变量。 26，第22号论文，18页（2020年）.
审核人：Andrej V.Plotnikov（敖德萨）
MSC公司：49J55型 49J21型 05C80号 49升20 34E05型 90立方厘米 93E20型
PDF格式BibTeX公司 XML格式引用
\textit{O.Guéant}和\textit{I.Manziuk}，ESAIM，控制优化。计算变量26，第22号论文，18页（2020；Zbl 1446.49016）
全文： 内政部 arXiv公司
佩尔·约根森;田，詹姆斯

Cuntz关系的动力学和表示中出现的非交换边界。 （英语） Zbl 1443.47086号

数字。功能。分析。最佳方案。 41，第5号，571-620（2020）.
MSC公司：47升60 46纳米30 81秒25 81兰特 81T05号 81T75型 60D05型 60克15 60J25型 65兰特 58J65型
PDF格式BibTeX公司 XML格式引用
\textit{P.Jorgensen}和\textit{J.Tian}，数字。功能。分析。优化。41，第5号，571--620（2020；Zbl 1443.47086）
全文： 内政部
卢卡·阿韦纳;法比安·卡斯特尔;亚历山大·高迪利埃;梅洛、克洛西尔德

交错小波或通过随机森林对图进行多分辨率分析。 （英语） Zbl 1454.94022号

申请。计算。哈蒙。分析。 第3期第48页，949-992页（2020年）.
MSC公司：94甲12 05C81号 05C85号 60J20型 60J28型
PDF格式BibTeX公司 XML格式引用
\textit{L.Avena}等人，应用。计算。哈蒙。分析。48，第3号，949--992（2020；Zbl 1454.94022）
全文： 内政部 arXiv公司
金素（Kim，Jinsu）;杰森，黑暗;Enciso，德国;苏珊娜·辛迪

松弛反应：估算化学主方程定量行为的状态空间截断框架。 arXiv:2005.05503

预印本，arXiv:2005.05503[math.PR]（2020）。
MSC公司：60J22型 60J27型 60J28型 92-08 92B05型 92B20型
BibTeX公司 引用
\textit{J.Kim}等人，“松弛反应：估算化学主方程定量行为的状态空间截断框架”，预印本，arXiv:2005.05503[math.PR]（2020）
全文： 内政部 arXiv公司
OA许可证

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件