×

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

最新的 引文 关联
内森·E·格拉特·霍尔茨。;塞西莉亚·F·蒙代尼。

有限维和无限维哈密顿蒙特卡罗算法的混合速率。 （英语） Zbl 1502.65004号

斯托克。偏微分。Equ.、。，分析。计算。 10，第4期，1318-1391（2022）.
MSC公司：65二氧化碳 60甲15 60J22型 65立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{N.E.Glatt-Holtz}和\textit{C.F.Mondaini}，斯托克。偏微分。Equ.、。，分析。计算。10，第4号，1318--1391（2022；Zbl 1502.65004）
全文： 内政部 arXiv公司
不，Hiroshi;大雄县Terauchi;埃里克·科斯基宁

基于约束的关系验证。 （英语） Zbl 1493.68125号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 742-766 (2021).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Unno}等人，Lect。注释计算。科学。12759742--766（2021年；Zbl 1493.68125）
全文： 内政部 arXiv公司
OA许可证
福岛，马萨福米;松本信义;优素馨（Yusuke Namekawa）

世界体积混合蒙特卡罗算法的统计分析方法。 （英语） Zbl 1515.82211号

PTEP程序。西奥。专家。物理学。 2021年，第12期，文章ID 123B02，12 p.（2021）.
MSC公司：82立方米 82立方米7 81层32
PDF格式BibTeX公司 XML格式引用
\textit{M.Fukuma}等人，PTEP，程序。西奥。专家。物理学。2021年，第12期，文章ID 123B02，12页（2021年；Zbl 1515.82211）
全文： 内政部 arXiv公司
OA许可证
梅里姆·阿穆尔;切尔基·达乌伊;纳杰莱·伊德里西

图像分割中的模糊隐马尔可夫模型。 （英语） 兹比尔07438700

Melliani，Said（编辑）等人，直觉模糊逻辑系统和数学的最新进展。根据2019年11月7日至9日在摩洛哥贝尼梅勒尔举行的摩洛哥应用数学学会第六届国际会议上的陈述，选出论文。查姆：斯普林格。模糊软计算研究。395, 71-95 (2021).
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{M.Ameur}等人，《模糊软计算研究》。395，71-95（2021；Zbl 07438700）
全文： 内政部
皮埃尔·蒙马奇

关于线性Boltzmann方程Fisher信息弱衰变的注记。 （英语） Zbl 1470.35251号

分析。数学。物理学。 11，第1期，第1号论文，第11页（2021年）.
审核人：乔瓦尼·马斯卡利（阿卡瓦卡塔·迪·伦德）
MSC公司：35第20季度 35K99型 60J25型
PDF格式BibTeX公司 XML格式引用
\textit{P.Monmarché}，安拉。数学。物理学。11，第1号，第1篇论文，第11页（2021年；Zbl 1470.35251）
全文： 内政部 arXiv公司
罗伊，阿尔卡普拉瓦;Ghosal，Subhashis公司;杰弗里·普雷斯科特;乔杜里，金斯胡克·罗伊

用于研究阿尔茨海默病的结构连接体贝叶斯模型。 （英语） Zbl 1433.62316号

附录申请。斯达。 1791-1816（2019）第3期第13页.
MSC公司：62页第10页 65D07年 62华氏35 62H22个 65二氧化碳
PDF格式BibTeX公司 XML格式引用
\textit{A.Roy}等人，Ann.Appl。Stat.13，No.3，1791--1816（2019；Zbl 1433.62316）
全文： 内政部 arXiv公司 欧几里得
马蒂亚斯·奎罗兹;马蒂亚斯·维拉尼;罗伯特·科恩;Tran、Minh-Ngoc;Khue-Dung，Dang

次级抽样MCMC–调查统计学家简介。 （英语） Zbl 1425.62020号

Sankhyá，Ser。A类 80，第1号，补遗，33-69（2018）.
审核人：亚历山德罗·塞尔维特拉（韦恩堡）
MSC公司：62D05型 62-02 65二氧化碳
PDF格式BibTeX公司 XML格式引用
\textit{M.Quiroz}等人，Sankhyá，Ser。A 80，编号1，33--69（2018；Zbl 1425.62020）
全文： 内政部 arXiv公司
渡边庆一;佐藤隆介;津田，武士;直纪小林

自动否定高阶函数程序的公平终止。 （英语） Zbl 1361.68153号

Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。243-255 (2016).
MSC公司：60年第68季度 68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{K.Watanabe}等人，in：第21届ACM SIGPLAN函数编程国际会议论文集，2016年9月18日至22日，日本奈良ICFP’16。纽约州纽约市：计算机协会（ACM）。243-255（2016；Zbl 1361.68153）
全文： 内政部
张苗苗;弗莱彻，P·托马斯

微分同态流形的贝叶斯统计形状分析。 （英语） Zbl 1356.62083号

Minh，HáQuang（编辑）等人，黎曼几何和应用中的算法进展。用于机器学习、计算机视觉、统计和优化。查姆：施普林格（ISBN 978-3-319-45025-4/hbk；978-3-316-45026-1/电子书）。《计算机视觉和模式识别进展》，1-23（2016）。
MSC公司：62华氏35 62H25个 58D05型 65二氧化碳 2015年1月62日 92 C55
PDF格式BibTeX公司 XML格式引用
\textit{M.Zhang}和\textit{P.T.Fletcher}，in：黎曼几何和应用中的算法进展。用于机器学习、计算机视觉、统计和优化。查姆：斯普林格。1-23（2016；Zbl 1356.62083）
全文： 内政部
尼古拉·比约纳;阿里·古芬克尔;肯·麦克米兰;安德烈·里巴尔琴科

用于程序验证的Horn子句求解器。 （英语） Zbl 1465.68044号

Beklemishev，Lev D.（编辑）等人，《逻辑与计算领域II》。在尤里·古雷维奇75岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9300, 24-51 (2015).
MSC公司：68号30 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{N.Bjørner}等人，Lect。注释计算。科学。9300，24-51（2015；Zbl 1465.68044）
全文： 内政部
久原、Takuya;大雄县Terauchi;不，Hiroshi;直纪小林

高阶功能程序的自动终止验证。 （英语） Zbl 1347.68231号

Shao，Zhong（编辑），《程序设计语言和系统》。2014年4月5日至13日，在法国格勒诺布尔举行的第23届欧洲编程研讨会（ESOP 2014），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54832-1/pbk）。《计算机科学讲义》8410、392-411（2014）。
MSC公司：60年第68季度 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{T.Kuwahara}等人，Lect。注释计算。科学。8410392-411（2014；Zbl 1347.68231）
全文： 内政部
阿披实·乔杜里;De，Asit K。;桑吉塔·德·萨卡尔;A.哈林德拉纳特。;乔蒂莫·麦蒂;蒙达尔、桑塔努;安韦萨·萨卡尔

双味QCD中的π和核子与未改进的威尔逊费米子。 （英语） Zbl 1262.81191号

编号。物理。，B 871，第1期，82-97（2013）.
MSC公司：81伏05 81T13型 81T25型 81V35型 81T80型
PDF格式BibTeX公司 XML格式引用
\textit{A.Chowdhury}等人，编号。物理。，B 871，编号1，82--97（2013；Zbl 1262.81191）
全文： 内政部 arXiv公司
OA许可证
T·利珀特。;Allés，B。;巴厘岛，G。;德埃利亚，M。;迪·贾科莫（Di Giacomo），A。;N.艾克。;Güsken，S。;席林，K。;A.斯皮茨。;T·斯特鲁克曼。;尤贝霍尔茨，P。;J·维埃霍夫。

用HMC去相关拓扑。 （英语） Zbl 1051.81675号

编号。物理。，B、 程序。供应商。 73，编号1-3，521-523（1999）.
MSC公司：81伏05 81T80型
PDF格式BibTeX公司 XML格式引用
\textit{T.Lippert}等人，Nucl。物理。，B、 程序。补遗73，编号1--3，521--523（1999；Zbl 1051.81675）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件