佩德罗·吉梅内斯;路易斯·查科恩;马里奥·梅里诺 一种用于近轴磁性喷嘴的隐式、保守的静电粒子-细胞算法。 (英语) Zbl 07833823号 J.计算。物理学。 502,文章ID 112826,22 p.(2024).MSC公司:6500万 78轴 82天xx PDF格式BibTeX公司 XML格式引用 \textit{P.Jiménez}等人,J.Compute。物理学。502,文章ID 112826,22 p.(2024;Zbl 07833823) 全文: 内政部 arXiv公司
弗洛伦特·巴雷特;尼科洛·托里 具有自发Glauber和Kawasaki动力学的Schelling模型的流体动力学极限。 (英语) Zbl 07829955号 电子。J.概率。 29,第19号论文,44页(2024年).MSC公司:60K35型 82C22型 82天99 PDF格式BibTeX公司 XML格式引用 \textit{F.Barret}和\textit{N.Torri},电子。J.概率。29,第19号论文,第44页(2024;Zbl 07829955) 全文: 内政部 arXiv公司
卢卡斯·艾因克默;李,秦;王、李;杨云南 通过约束优化通过外部电场抑制Vlasov-Poisson系统的不稳定性。 (英语) Zbl 07797641号 J.计算。物理学。 498,文章ID 112662,20 p.(2024).MSC公司:35季度xx 6500万 82天xx PDF格式BibTeX公司 XML格式引用 \textit{L.Einkemmer}等人,《计算杂志》。物理学。498,文章ID 112662,20页(2024;Zbl 07797641) 全文: 内政部 arXiv公司
Jogia Bandyopadhyay公司;贾尼·卢卡林 玻色子Boltzmann-Nordheim方程中三波碰撞算符线性化的平滑特性。 (英语) Zbl 07787697号 J.功能。分析。 286,第5号,文章ID 110289,132 p.(2024).MSC公司:82立方厘米 35季度xx 82天xx PDF格式BibTeX公司 XML格式引用 \textit{J.Bandyopadhyay}和\textit{J.Lukkarin},J.Funct。分析。286,第5号,文章ID 110289,132页(2024;Zbl 07787697) 全文: 内政部 arXiv公司
塔姆,沃明;吴伟 涉及历史相关算子的Caputo分数阶微分变分不等式:全局误差界和收敛性。 (英语) Zbl 07784300号 Commun公司。非线性科学。数字。模拟。 128,文章ID 107654,20 p.(2024).MSC公司:65岁15岁 35M86型 35兰特 47J20型 34K37号 26A33飞机 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Tam}和\textit{W.Wu},Commun。非线性科学。数字。模拟。128,文章ID 107654,20 p.(2024;Zbl 07784300) 全文: 内政部
彼得·巴特曼;安娜·奥恰尔;米尔恰·索福纳 粘弹性接触问题分析中的对偶论点。 (英语) Zbl 07784244号 Commun公司。非线性科学。数字。模拟。 128,文章ID 107581,14 p.(2024).MSC公司:74M15型 74M10个 47J22型 49J40型 49J21型 34国道25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bartman}等人,Commun。非线性科学。数字。模拟。128,文章ID 107581,第14页(2024;Zbl 07784244) 全文: 内政部 arXiv公司
阿伦斯,贝内迪克特;北,Paige Randall;范德维德,尼尔斯 双范畴类型理论:语义和句法。 (英语) Zbl 07813371号 数学。结构。计算。科学。 33,第10号,868-912(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人,《数学》。结构。计算。科学。33,编号10,868--912(2023;Zbl 07813371) 全文: 内政部 arXiv公司 OA许可证
北海山田 Martin-Löf类型理论的博弈语义。 (英语) Zbl 07813361号 数学。结构。计算。科学。 33,编号7,605-646(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Yamada},数学。结构。计算。科学。33,编号7,605--646(2023;Zbl 07813361) 全文: 内政部 arXiv公司
埃里克·威瑟 依赖型代数层次结构中的多重继承危险。 (英语) Zbl 07810734号 Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14101, 222-236 (2023).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{E.Wieser},莱克特。注释计算。科学。14101、222--236(2023;Zbl 07810734) 全文: 内政部 arXiv公司
傅鹏;彼得·塞林格 针对嵌套数据类型的归纳原则。 (英语) 兹伯利07810568 Hansen,Helle Hvid(编辑)等人,《逻辑、语言、信息和计算》。第29届国际研讨会,WoLLIC 2023,加拿大新南威尔士州哈利法克斯,2023年7月11日至14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。第13923页,第244-255页(2023年)。MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Fu}和\textit{P.Selinger},莱克特。注释计算。科学。13923、244--255(2023;Zbl 07810568) 全文: 内政部 arXiv公司
A.Kh.比库洛夫。;祖巴列夫,A.P。 自由基扩散过程中的振荡和蛋白质构象动力学的模拟。 (英语) Zbl 07778256号 \(p\)-Adic数超声分析。申请。 15,第3号,169-186(2023).MSC公司:82立方厘米 82天xx 82亿 PDF格式BibTeX公司 XML格式引用 \textit{A.Kh.Bikulov}和\textit{A.P.Zubarev},\(P\)-Adic数字超音波分析。申请。15,编号3,169--186(2023;Zbl 07778256) 全文: 内政部 arXiv公司
罗曼·弗里格;夏洛特沃恩德 统计力学基础。 (英语) Zbl 1529.82001号 物理学哲学中的要素剑桥:剑桥大学出版社(ISBN 978-1-00-946823-7/hbk;978-1-00-801649-0/pbk;978-1-00-902279-8/电子书)。75页。,开放存取(2023年)。MSC公司:第82页 82立方厘米 82天xx PDF格式BibTeX公司 XML格式引用 \textit{R.Frigg}和\textit{C.Wernld},统计力学基础。剑桥:剑桥大学出版社(2023;Zbl 1529.82001) 全文: 内政部
贾斯汀·雷·安格斯;法默,威廉;亚历克斯·弗里德曼;Debojyoti Ghosh;格罗特,戴夫;大卫·拉尔森;安东尼·林克 隐式粒子代码准确的稠密等离子体电磁研究中的能量和电荷守恒。 (英语) Zbl 07771298号 J.计算。物理学。 491,文章ID 112383,21 p.(2023).MSC公司:6500万 7.6亿 82天xx PDF格式BibTeX公司 XML格式引用 \textit{J.R.Angus}等人,《计算杂志》。物理学。491,文章ID 112383,21 p.(2023;Zbl 07771298) 全文: 内政部
张东航;张磊 基于凸分裂技术的Landau-Brazovskii模型谱延迟校正方法。 (英语) Zbl 07771265号 J.计算。物理学。 491,文章ID 112348,15 p.(2023).MSC公司:6500万 35公里xx 82天xx PDF格式BibTeX公司 XML格式引用 \textit{D.Zhang}和\textit{L.Zhang,J.Compute。物理学。491,文章ID 112348,15 p.(2023;Zbl 07771265) 全文: 内政部 arXiv公司
李卓宁;徐振丽;杨志国 针对具有精确无卷曲约束的Vlasov-Ampère系统,提出了一种带渐近预条件的能量守恒Fourier粒子胞内方法。 (英语) Zbl 07766247号 J.计算。物理学。 495,文章ID 112529,21 p.(2023).MSC公司:6500万 35季度xx 82天xx PDF格式BibTeX公司 XML格式引用 \textit{Z.Li}等人,《计算杂志》。物理学。495,文章ID 112529,21 p.(2023;Zbl 07766247) 全文: 内政部 arXiv公司
埃斯科贝多,M。 关于临界温度附近凝结水-正态流体相互作用的线性化方程组。 (英语) 兹伯利07754932 架构(architecture)。定额。机械。分析。 247,第5号,第92号文件,第75页(2023).MSC公司:82立方厘米 35季度xx 82天xx PDF格式BibTeX公司 XML格式引用 \textit{M.Escobedo},拱门。定额。机械。分析。247,第5期,第92号论文,75页(2023;Zbl 07754932) 全文: 内政部 arXiv公司 OA许可证
煎炸,伊曼纽尔 直觉集理论中依赖类型的可拓实现性和选择。 (英语) Zbl 07735948号 J.塞姆。日志。 88,编号3,1138-1169(2023).MSC公司:03楼50 35层03 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{E.Frittaion},J.Symb。日志。88,编号3,1138--1169(2023;Zbl 07735948) 全文: 内政部
斯坦尼斯·瓦·米戈斯基;蔡东玲 一个广义微分拟变量半变分不等式:适定性和应用。 (英语) Zbl 07733048号 Commun公司。非线性科学。数字。模拟。 125,文章ID 107379,18 p.(2023).MSC公司:47J20型 35J87型 74M15型 PDF格式BibTeX公司 XML格式引用 \textit{S.Migórski}和\textit{D.-l.Cai},Commun。非线性科学。数字。模拟。125,文章ID 107379,18 p.(2023;Zbl 07733048) 全文: 内政部
李玉洁;程晓亮;王希鲁 具有历史相关算子的准静态摩擦接触问题的最优控制。 (英语) Zbl 1524.47072号 国际期刊数字。分析。模型。 20,编号1,29-46(2023).MSC公司:47J20型 49J20型 74M15型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,国际数字杂志。分析。模型。20,编号1,29-46(2023;Zbl 1524.47072) 全文: 内政部
托马斯·科莫罗夫斯基;乔尔·勒博维茨。;斯特凡诺·奥拉 周期性强制恒温链条中的热流。二、。 (英语) Zbl 07687877号 《统计物理学杂志》。 190,第4号,第87号论文,33页(2023年).MSC公司:82立方厘米 60千兆 82天xx PDF格式BibTeX公司 XML格式引用 \textit{T.Komorowski}等人,《统计物理学杂志》。190,第4号,第87号论文,33页(2023;Zbl 07687877) 全文: 内政部 arXiv公司
尹天爱;钟星辉;王燕丽 多维Vlasov-Maxwell系统的高效节能矩法。 (英语) Zbl 07649283号 J.计算。物理学。 475,文章ID 111863,33 p.(2023).MSC公司:6500万 35季度xx 82天xx PDF格式BibTeX公司 XML格式引用 \textit{T.Yin}等人,《计算杂志》。物理学。475,文章编号111863,33 p.(2023;Zbl 07649283) 全文: 内政部 arXiv公司
安娜玛丽亚·巴巴加略;塞雷纳·瓜里诺·罗比安科 一个随机时间相关的非合作平衡问题。 (英语) Zbl 1509.91026号 计算。最佳方案。申请。 84,编号1,27-52(2023).MSC公司:91B54号 93E20型 49J40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Barbagallo}和\textit{S.Guarino Lo Bianco},计算。最佳方案。申请。84,编号1,27-52(2023;Zbl 1509.91026) 全文: 内政部
洪庆国;马利民;徐金超;陈龙庆 动力学Ginzburg-Landau方程的一种有效迭代方法。 (英语) Zbl 07640551号 J.计算。物理学。 474,文章ID 111794,19 p.(2023).MSC公司:6500万 35季度xx 82天xx PDF格式BibTeX公司 XML格式引用 \textit{Q.Hong}等人,J.Compute。物理学。474,文章ID 111794,19 p.(2023;Zbl 07640551) 全文: 内政部 arXiv公司
刘永建;刘振海;尼古拉斯·S·帕帕乔治奥。 动态历史相关变量半变分不等式驱动的最优控制问题的灵敏度分析。 (英语) Zbl 1501.49023号 J.差异。方程 342, 559-595 (2023).MSC公司:2012年第49季度 49J40型 47J22型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu}等人,J.Differ。等式342,559--595(2023;Zbl 1501.49023) 全文: 内政部
普里塔姆·乔杜里;哈雷III伊德斯;斯蒂芬妮·威里奇 依赖依赖演算。 (英语) Zbl 1528.68078号 谢尔盖,伊利亚(编辑),《编程语言和系统》。2022年4月2日至7日,在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13240, 403-430 (2022).MSC公司:68号30 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Choudhury}等人,Lect。注释计算。科学。132403-430(2022年;Zbl 1528.68078) 全文: 内政部 arXiv公司
埃里克·威瑟;张居健 Lean依赖型理论中的分次环。 (英语) Zbl 07691294号 Buzzard,Kevin(编辑)等人,《智能计算机数学》。2022年9月19日至23日,第15届国际会议,CICM 2022,格鲁吉亚第比利斯。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13467, 122-137 (2022).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{E.Wieser}和\textit{J.Zhang},Lect。注释计算。科学。13467,122-137(2022;Zbl 07691294) 全文: 内政部
Nobuyuki Kenmochi 演化包含体的发展受时间相关次微分和新观点的支配。 (英语) 兹比尔1507.35103 高级数学。科学。申请。 第383-396号第31页(2022).MSC公司:35K55型 35K57型 35K90型 47J22型 49J40型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kenmochi},高级数学。科学。申请。31,第2号,383--396(2022;Zbl 1507.35103) 全文: 链接
胡杰森Z.S。;碧姬·品特卡;乌尔里希·舍普 语境类型的范畴论观点:从简单类型到从属类型。 (英语) Zbl 1505.03031号 ACM事务处理。计算。日志。 23,第4条,第25条,第36页(2022年).MSC公司:03立方厘米38 03B40型 03B45号 18层20 18纳米45 PDF格式BibTeX公司 XML格式引用 \textit{J.Z.S.Hu}等人,ACM Trans。计算。日志。23,第4号,第25条,第36页(2022年;Zbl 1505.03031) 全文: 内政部 arXiv公司
埃里克·史密斯 二域函数积分的信息几何。 (英语) Zbl 07625246号 地理信息。 5,第2期,427-492(2022).MSC公司:82立方厘米 91轴 82天xx PDF格式BibTeX公司 XML格式引用 \textit{E.Smith},Inf.Geom公司。5,编号2,427--492(2022;Zbl 07625246) 全文: 内政部 arXiv公司
意大利卡普兰;奥里·塞格尔;萨拉、撒哈拉 从属理论中的布尔类型。 (英语) Zbl 07620693号 J.塞姆。日志。 87,第4期,1349-1373(2022).MSC公司:03C45号机组 03C95号 05年3月 28A60型 PDF格式BibTeX公司 XML格式引用 \textit{I.Kaplan}等人,J.Symb。日志。87,编号4,1349-1373(2022;兹bl 07620693) 全文: 内政部 arXiv公司
杨俊祥;金俊秀 三维物体上方形相场晶体动力学的数值近似。 (英语) Zbl 07605611号 J.计算。物理学。 471,文章ID 111652,15 p.(2022).MSC公司:6500万 82天xx 35公里xx PDF格式BibTeX公司 XML格式引用 \textit{J.Yang}和textit{J Kim},J.Compute。物理学。471,文章ID 111652,15 p.(2022;Zbl 07605611) 全文: 内政部
王希鲁;程晓亮 具有非单调边界条件的动态弹塑性接触问题的连续依赖性和最优控制。 (英语) Zbl 07597190号 进化。埃克。控制理论 第5期第11页,1797-1811(2022).MSC公司:47J20型 47J22型 49J40型 PDF格式BibTeX公司 XML格式引用 \textit{X.Wang}和\textit{X.Cheng},Evol。埃克。控制理论11,No.5,1797--1811(2022;Zbl 07597190) 全文: 内政部
傅鹏;Kohei的Kishida;彼得·塞林格 量子编程语言的线性相关类型理论。 (英语) Zbl 1503.68039号 日志。计算方法。科学。 18,第3号,第28号论文,44页(2022年).MSC公司:第68页第19页 03立方厘米38 2005年5月18日 68甲15 第68季度12 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Fu}等人,Log。计算方法。科学。18,第3号,第28号论文,第44页(2022年;Zbl 1503.68039) 全文: 内政部 arXiv公司
高桥县Shiroto;松山,Akinobu;八木,Masatoshi Vlasov-Maxwell系统的电荷动量能量守恒1D3V混合拉格朗日-欧拉方法。 (英语) 兹伯利07592127 J.计算。物理学。 469,文章ID 111522,10 p.(2022).MSC公司:6500万 82天xx 82立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Shiroto}等人,J.Compute。物理学。469,文章ID 111522,10 p.(2022;Zbl 07592127) 全文: 内政部
艾哈迈德·阿拉维;马克·塞尔克 负球面感知器的算法纯状态。 (英语) Zbl 07591726号 《统计物理学杂志》。 189,第2期,第27号论文,第35页(2022年).MSC公司:82立方厘米 82天xx 82亿 PDF格式BibTeX公司 XML格式引用 \textit{A.El Alaoui}和\textit{M.Sellke},J.Stat.Phys。189,第2期,第27号论文,第35页(2022;Zbl 07591726) 全文: 内政部 arXiv公司
张兴兴;段,宋;郑东琴;钟伟荣 交变电场下离子通过碳纳米管的集体输运。 (英语) Zbl 07579555号 机械学报。 233,第8号,3423-3431(2022).MSC公司:82立方厘米 82天xx 65Zxx号 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}等人,《机械学报》。233,编号8,3423--3431(2022;Zbl 07579555) 全文: 内政部
胡蓉;米尔恰·索福纳 历史相关变分不等式适定性的对偶论证。 (英语) 兹比尔07578100 电子。J.差异。埃克。 2022,第03号文件,第10页(2022).MSC公司:47J20型 35M86型 49J40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Hu}和\textit{M.Sofone},电子。J.差异。埃克。2022年,第03号论文,10页(2022年;Zbl 07578100) 全文: 链接
斯坦尼斯·瓦·米戈斯基;白韵如;曾胜达 一类新的具有约束的历史相关拟变量半变分不等式。 (英语) Zbl 1497.35251号 Commun公司。非线性科学。数字。模拟。 114,文章ID 106686,15 p.(2022).MSC公司:35J87型 49J40型 47J20型 35A01型 35A02型 PDF格式BibTeX公司 XML格式引用 \textit{S.Migórski}等人,Commun。非线性科学。数字。模拟。114,文章ID 106686,15 p.(2022;Zbl 1497.35251) 全文: 内政部
马塞洛·菲奥雷(Marcelo P.Fiore)。;安德鲁·皮特斯(Andrew M.Pitts)。;南卡罗来纳州斯坦坎普。 商、归纳类型和商归纳类型。 (英语) Zbl 1502.18046号 日志。计算方法。科学。 18,第2号,第15号论文,37页(2022年). 审核人:菲利普·马尔博斯(里昂) MSC公司:18纳米45 03立方厘米38 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Fiore}等人,日志。计算方法。科学。18,第2号,第15号论文,37页(2022年;Zbl 1502.18046) 全文: arXiv公司 链接
奥普拉彭科(G.Oblapenko)。;D.戈尔茨坦。;瓦尔盖塞,P。;C·摩尔。 通过事件分割对冲直接模拟蒙特卡罗下注。 (英语) Zbl 07561067号 J.计算。物理学。 466,文章ID 111390,17 p.(2022).MSC公司:7.6亿 82立方厘米 82天xx PDF格式BibTeX公司 XML格式引用 \textit{G.Oblapenko}等人,《计算杂志》。物理学。466,文章ID 111390,17 p.(2022;Zbl 07561067) 全文: 内政部
陈涛;米尔恰·索福纳 与历史相关的夹杂物,在接触力学中的应用。 (英语) Zbl 07548146号 数字。功能。分析。最佳方案。 43,第5期,497-521(2022).MSC公司:47J22型 49J40型 49J21型 74M15型 74M10个 34国道25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}和\textit{M.Sofone},数字。功能。分析。最佳方案。43,编号5,497--521(2022;Zbl 07548146) 全文: 内政部
拉托,哈拉什;维维克·塞姆瓦尔;什拉达·米什拉 单粒子在随机洛伦兹晶格气体上运动的动力学。 (英语) Zbl 07542725号 《统计物理学杂志》。 188,第2期,第18号论文,16页(2022年).MSC公司:82立方厘米 82天xx 74轴 PDF格式BibTeX公司 XML格式引用 \textit{H.Rathore}等人,《统计物理学杂志》。188,第2号,第18号论文,16页(2022;Zbl 07542725) 全文: 内政部
弗吉尼亚州,Jan I.C。;吉姆·E·莫雷尔。 使用残差蒙特卡罗估计传输误差。 (英语) Zbl 07540353号 J.计算。物理学。 464,文章ID 111306,25 p.(2022).MSC公司:65立方厘米 82天xx 82立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.I.C.Vermaak}和\textit{J.E.Morel},J.Comput。物理学。464,文章ID 111306,第25页(2022;Zbl 07540353) 全文: 内政部
赵明勋;金明硕;南英玉 用于颗粒-细胞模拟的纵向无数值色散。 (英语) Zbl 07536727号 J.计算。物理学。 462,文章ID 111221,16 p.(2022).MSC公司:82天xx 7.6亿 6500万 PDF格式BibTeX公司 XML格式引用 \textit{M.-H.Cho}等人,《计算杂志》。物理学。462,文章ID 111221,16 p.(2022;Zbl 07536727) 全文: 内政部
弗洛伦特·纳克里;米尔恰·索福纳 依赖历史的操作员和近似定期的清扫过程。 (英语) Zbl 07525634号 不动点理论算法科学。工程师。 2022年,第5号论文,第23页(2022年).MSC公司:47J22型 34国道25号 45G10型 7420国集团 PDF格式BibTeX公司 XML格式引用 \textit{F.Nacry}和\textit{M.Sofone},不动点理论算法科学。Eng.2022,论文编号5,23 p.(2022;Zbl 07525634) 全文: 内政部
Chacón,L。;D.丹尼尔。;W.T.塔塔诺。 用于轴对称托卡马克逃逸电子模拟的渐近保护2D-2P相对论漂移运动方程解算器。 (英语) Zbl 07524770号 J.计算。物理学。 449,文章ID 110772,第22页(2022).MSC公司:82立方厘米 6500万 82天xx PDF格式BibTeX公司 XML格式引用 \textit{L.Chacón}等人,《计算杂志》。物理学。449,文章ID 110772,22 p.(2022;Zbl 07524770) 全文: 内政部 arXiv公司
莫莱斯,L.R.C。;巴里切罗,L.B。;巴罗斯共和国。;瓦斯克斯,R。 应用解析离散坐标法求解板几何中的非经典输运问题。 (英语) Zbl 07518075号 J.计算。物理学。 455,文章ID 110982,19 p.(2022).MSC公司:82立方厘米 35季度xx 82天xx PDF格式BibTeX公司 XML格式引用 \textit{L.R.C.Moraes}等人,《计算杂志》。物理学。455,文章ID 110982,19 p.(2022;Zbl 07518075) 全文: 内政部 arXiv公司
蔡永勇;陈景润;王成;谢长健 具有大阻尼参数的Landau-Lifshitz-Gilbert方程的二阶数值方法。 (英语) Zbl 07517150号 J.计算。物理学。 451,文章ID 110831,12 p.(2022).MSC公司:6500万 82天xx 35季度xx PDF格式BibTeX公司 XML格式引用 \textit{Y.Cai}等人,J.Compute。物理学。451,文章ID 110831,12 p.(2022;Zbl 07517150) 全文: 内政部 arXiv公司
保罗·特兰奎利;李·里克斯顿;路易斯·查科恩 使用制造解决方案的方法对任意空间维度的静电粒子-细胞算法进行确定性验证策略。 (英语) Zbl 07516827号 J.计算。物理学。 448,文章ID 110751,23 p.(2022).MSC公司:82天xx 82立方厘米 6500万 PDF格式BibTeX公司 XML格式引用 \文本{P.Tranquilli}等人,J.Comput。物理学。448,文章ID 110751,23 p.(2022;Zbl 07516827) 全文: 内政部
丹尼尔·格拉泽;埃文·卡瓦洛;卡夫沃斯,G.A。;阿德里安·瓜托;拉尔斯·比克达尔 模态和参数伴随。 (英语) Zbl 1505.03030号 ACM事务处理。计算。日志。 23,第3条,第18条,第29页(2022年).MSC公司:03立方厘米38 03B45号 18层20 18纳米45 PDF格式BibTeX公司 XML格式引用 \textit{D.Gratzer}等人,《美国医学杂志》。计算。日志。23,第3号,第18条,第29页(2022;Zbl 1505.03030) 全文: 内政部 链接
陈瑞红;莱昂内尔·莱文 阿贝尔网络IV.非停顿网络的动力学。 (英语) Zbl 1485.05074号 美国数学学会回忆录1358.普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-5141-7/pbk;978-1-4740-7024-1/电子书)。vii,89页。(2022).MSC公司:05C25号 20K01型 2014年11月20日 20立方米 37B15号机组 37E15型 2010年第68季度 68克80 82C20个 PDF格式BibTeX公司 XML格式引用 \textit{S.H.Chan}和\textit{L.Levine},阿贝尔网络IV.非停顿网络的动力学。普罗维登斯,RI:美国数学学会(AMS)(2022;Zbl 1485.05074) 全文: 内政部 arXiv公司
尼古拉斯·P·巴斯克维尔。;乔纳森·基廷。;弗朗西斯科·夹层;约瑟夫·纳吉努德尔 生成对抗性网络损失面的自旋玻璃模型。 (英语) 兹比尔07476207 《统计物理学杂志》。 186,第2期,第29号论文,45页(2022年).MSC公司:82立方厘米 82天xx 15亿 PDF格式BibTeX公司 XML格式引用 \textit{N.P.Baskerville}等人,J.Stat.Phys。186,第2号,第29号论文,45页(2022;Zbl 07476207) 全文: 内政部 arXiv公司
苏米特拉·戴伊;西蒙·雷奇 求解逆拟变量不等式的神经网络。 arXiv公司:2204.05707 预印本,arXiv:2204.05707[math.OC](2022)。MSC公司:92秒20 58E35型 47J20型 68T05型 82立方32 90立方厘米 BibTeX公司 引用 \textit{S.Dey}和\textit{S.Reich},“求解逆拟变量不等式的神经网络”,预印本,arXiv:2204.05707[math.OC](2022) 全文: arXiv公司 OA许可证
弗雷德里克·布兰基;Gilles Dowek;埃米利·格里恩伯格;加布里埃尔·霍德特;弗朗索瓦·瑟雷 数学的一些公理。 (英语) Zbl 07700625号 Naoki Kobayashi(编辑),第六届计算和演绎形式结构国际会议,FSCD 2021,阿根廷布宜诺斯艾利斯,虚拟会议,2021年7月17日至24日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。195,第20条,第19页(2021年)。MSC公司:68倍 03B70号 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Blanqui}等人,LIPIcs——莱布尼茨国际程序。通知。195,第20条,第19页(2021;Zbl 07700625) 全文: 内政部
姚宣;Kris T.德莱尼。;赫克托尔·塞尼塞罗斯。;格伦·弗雷德里克森。 深度学习和自洽场理论:加速聚合物相发现的途径。 (英语) Zbl 07515419号 J.计算。物理学。 443,文章ID 110519,第19页(2021).MSC公司:82天xx 94Cxx号 6500万 PDF格式BibTeX公司 XML格式引用 \textit{Y.Xuan}等人,《计算杂志》。物理学。443,文章ID 110519,19 p.(2021;Zbl 07515419) 全文: 内政部
尼基塔·克鲁克;何塞·卡里略。;亨氏Koeppl 非局部相互作用活性手性粒子连续极限方程的有限体积法。 (英语) Zbl 07512360号 J.计算。物理学。 440,文章ID 110275,26 p.(2021).MSC公司:82立方厘米 35季度xx 82天xx PDF格式BibTeX公司 XML格式引用 \textit{N.Kruk}等人,J.Compute。物理学。440,文章ID 110275,26 p.(2021;Zbl 07512360) 全文: 内政部 arXiv公司
杨磊;陈景润;胡广辉 四面体网格上Landau-Lifshitz-Gilbert方程有限元解的框架。 (英语) Zbl 07511455号 J.计算。物理学。 431,文章ID 110142,17 p.(2021).MSC公司:6500万 35季度xx 82天xx PDF格式BibTeX公司 XML格式引用 \textit{L.Yang}等人,J.Compute。物理学。431,文章ID 110142,17 p.(2021;Zbl 07511455) 全文: 内政部
李,费;Viktor K.Decyk。;凯尔·米勒(Kyle G.Miller)。;亚当·Tableman;Toung,Frank S。;玛丽亚·弗拉尼奇;里卡多·丰塞卡。;沃伦·莫里。 精确模拟强场中相对论粒子的九维相空间。 (英语) Zbl 07505962号 J.计算。物理学。 438,文章ID 110367,第22页(2021).MSC公司:6500万 82天xx 7.6亿 PDF格式BibTeX公司 XML格式引用 \textit{F.Li}等人,J.Compute。物理学。438,文章ID 110367,22 p.(2021;Zbl 07505962) 全文: 内政部 arXiv公司
基亚博,L。;桑切兹·阿里亚加,G。 稳态Vlasov-Poisson解算器在探测理论中的局限性。 (英语) Zbl 07505961号 J.计算。物理学。 438,文章ID 110366,13 p.(2021).MSC公司:6500万 82天xx 82立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Chiabó}和\textit{G.Sánchez-Ariaga},J.Compute。物理学。438,文章ID 110366,13 p.(2021;Zbl 07505961) 全文: 内政部
刘敏云;马玉高;郭晓宇;刘世昌;刘国栋;黄珊芳;Kan Wang 一种改进的粒子输运蒙特卡罗模拟跟踪方法。 (英语) Zbl 07505913号 J.计算。物理学。 437,文章ID 110330,17 p.(2021).MSC公司:82天xx 82立方厘米 49Kxx美元 PDF格式BibTeX公司 XML格式引用 \textit{M.Liu}等人,J.Compute。物理学。437,文章ID 110330,17 p.(2021;Zbl 07505913) 全文: 内政部
巴维尔·克里奇;吉赛尔·安图内斯·蒙泰罗;文森佐·雷库佩罗 绝对连续函数空间中的显式和隐式非凸扫掠过程。 (英语) 兹比尔1495.34087 申请。数学。最佳方案。 84,补充2,1477-1504(2021). 审核人:马尔科·科斯蒂奇(诺维·萨德) MSC公司:34国道25号 34A60型 47J20型 49J52型 74C05型 PDF格式BibTeX公司 XML格式引用 \textit{P.Krejí}等人,应用。数学。最佳方案。84、1477——1504(2021年;Zbl 1495.34087) 全文: 内政部 arXiv公司
弗兰蒂舍克·法尔卡 睡眠不足:在类型理论中实现类型理论的验证。 (英语) Zbl 07496645号 Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12561, 133-150 (2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Farka},莱克特。注释计算。科学。12561,133-150(2021;Zbl 07496645) 全文: 内政部
Iu Kaliukh。;O.勒比德。 构造求解多波问题的自适应算法。 (英语。俄文原件) Zbl 07485092号 赛博。系统。分析。 57,第6期,938-949(2021); 翻译自Kibern。修女。分析。57,第6期,第106-117页(2021年)。MSC公司:6500万 76倍 74Kxx美元 PDF格式BibTeX公司 XML格式引用 \textit{Iu.Kaliukh}和\textit{O.Lebid},Cybern。系统。分析。57,编号6,938--949(2021;Zbl 07485092);翻译自Kibern。修女。分析。57,第6号,106--117(2021) 全文: 内政部
蒂姆·J·布宁。;刘方达;王若都 共聚酮市场中的竞争均衡。 (英语) 兹比尔1482.91123 经济。理论 72,第4期,1217-1255(2021).MSC公司:91B52型 PDF格式BibTeX公司 XML格式引用 \textit{T.J.Boonen}等人,《经济学》。理论72,第4期,1217--1255(2021;Zbl 1482.91123) 全文: 内政部
O.拜兹。;H.贝奈萨。 电弹性材料动态摩擦接触问题分析。 (英语) Zbl 1488.74107号 非线性动力学。系统。理论 21,编号2,150-165(2021).MSC公司:74M10个 2015年1月74日 35J87型 47J20型 49J40型 74G30型 74M15型 74S05号 PDF格式BibTeX公司 XML格式引用 \textit{O.Baiz}和\textit{H.Benaissa},非线性动力学。系统。理论21,第2号,150--165(2021;Zbl 1488.74107)
埃琳娜·阿格里亚里;朱利亚·塞巴斯蒂亚尼 三层受限Boltzmann机器的学习和检索操作模式。 (英语) Zbl 07442691号 《统计物理学杂志》。 185,第2期,第10号论文,28页(2021年).MSC公司:68泰克 82立方厘米 82天xx PDF格式BibTeX公司 XML格式引用 \textit{E.Agliari}和\textit{G.Sebastiani},J.Stat.Phys。185,第2号,第10号论文,28页(2021;Zbl 07442691) 全文: 内政部 链接
斯坦尼斯·瓦·米戈斯基;曾彪 一类新的具有单边约束的历史相关进化变分半变分不等式。 (英语) 兹布尔07410951 申请。数学。最佳方案。 84,第3期,2671-2697(2021). 审核人:伊戈尔·博克(布拉迪斯拉发) MSC公司:47J20型 47J22型 49J40型 49J45型 74G30型 74M15型 PDF格式BibTeX公司 XML格式引用 \textit{S.Migórski}和\textit{B.Zeng},应用。数学。最佳方案。84,第3号,2671--2697(2021;Zbl 07410951) 全文: 内政部
皮埃尔·海韦拉特 表示索引容器最大不动点之间的连续函数。 (英语) Zbl 07407785号 日志。计算方法。科学。 17,第3号,第13号论文,30页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Hyvernat},日志。计算方法。科学。17,第3号,第13号论文,30页(2021;Zbl 07407785) 全文: arXiv公司 链接
曾彪 含时变分半变分不等式的最优控制。 (英语) Zbl 1492.47062号 牛市。马来人。数学。科学。社会(2) 44,第4期,1961-1977(2021).MSC公司:47J20型 49J40型 49J45型 74M10个 74M15型 PDF格式BibTeX公司 XML格式引用 \textit{B.Zeng},公牛。马来人。数学。科学。Soc.(2)44,No.4,1961-1977(2021;Zbl 1492.47062) 全文: 内政部
弗洛伦特·纳克里;米尔恰·索福纳 固体力学中的一类非线性夹杂物和扫描过程。 (英语) Zbl 07363541号 应用学报。数学。 171,第16号文件,第26页(2021).MSC公司:47J20型 47J22型 34国道25号 58E35型 74米10 74M15型 74国道25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Nacry}和\textit{M.Sofone},《应用学报》。数学。171,第16号论文,第26页(2021;Zbl 07363541) 全文: 内政部 链接
陈晓红;多雷尔·卢卡努;格里高·罗什乌 解释了匹配逻辑。 (英语) Zbl 1518.68047号 J.日志。阿尔盖布。方法计划。 120,文章ID 100638,37 p.(2021).MSC公司:68号30 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人,J.Log。阿尔盖布。方法计划。120,文章ID 100638,37 p.(2021;Zbl 1518.68047) 全文: 内政部 链接
宣、海陵;程晓亮 具有损伤和长记忆的粘性接触问题的数值分析和模拟。 (英语) Zbl 1476.65197号 离散连续。动态。系统。,序列号。B类 26,第5期,2781-2804(2021).MSC公司:6500万06 65N30型 65岁15岁 65N22型 74G30型 74D10型 74M15型 47J20型 35卢比 35A02型 74年第35季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Xuan}和\textit{X.Cheng},离散Contin。动态。系统。,序列号。B 26,编号5,2781--2804(2021;Zbl 1476.65197) 全文: 内政部
宣、海陵;程晓亮 长记忆热摩擦接触问题的数值分析。 (英语) Zbl 1466.65097号 Commun公司。纯应用程序。分析。 20,第4期,1521-1543(2021).MSC公司:65岁15岁 65N22型 74G30型 74M15型 74F05型 74D10型 47J20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Xuan}和\textit{X.Cheng},Commun。纯应用程序。分析。20,第4号,1521--1543(2021;Zbl 1466.65097) 全文: 内政部
范伟棠;胡文清;格里戈里·特洛夫 无限随机树上反应扩散方程的波传播。 (英语) Zbl 1462.82024号 Commun公司。数学。物理学。 384,编号1,109-163(2021).MSC公司:82C20个 82天99 05二氧化碳 05C80号 60J65型 60J60型 60层10 60对20 15B52号 35C07型 92年第35季度 PDF格式BibTeX公司 XML格式引用 \textit{W.-T.L.Fan}等人,Commun。数学。物理学。384,编号1,109--163(2021;Zbl 1462.82024) 全文: 内政部 arXiv公司
Kenkre,V.M.(尼坦特) 记忆功能、投影操作符和缺陷技术。凝聚态物理学家的一些贸易工具。 (英语) Zbl 1517.82005年 物理课堂讲稿982.查姆:施普林格(ISBN 978-3-030-68666-6/pbk;978-3-0.30-68667-3/ebook)。第二十二页,第374页。(2021). 审核人:尤金·波斯特尼科夫(库尔斯克) MSC公司:82-02 82天xx 82立方厘米 35问题62 2009年第35季度 82年第35季度 55年第35季度 92年第35季度 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Kenkre},内存函数,投影操作符和缺陷技术。凝聚态物理学家的一些贸易工具。查姆:施普林格(2021;Zbl 1517.82005) 全文: 内政部
詹姆斯·塞特纳。 统计力学:熵、序参数和复杂性。第二版。 (英语) Zbl 1461.82003年 牛津大学物理学硕士系列14.统计、计算和理论物理。牛津:牛津大学出版社(ISBN 978-0-19-886524-7/hbk;978-0-19-19-886525-4/pbk)。xxvi,464页。(2021).MSC公司:第82页 82个B03 82B99型 82个C99 82天99 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Sethna},《统计力学:熵、序参数和复杂性》。第二版。牛津:牛津大学出版社(2021;Zbl 1461.82003) 全文: 内政部
格雷泽特,马提亚斯;卡米拉·霍兰蒂 屏蔽单纯形代码的完整层次局部性。 (英语) Zbl 1466.94056号 设计。代码加密 89,编号1,105-125(2021).MSC公司:94B65个 94B60码 05B35号 PDF格式BibTeX公司 XML格式引用 \textit{M.格雷泽}和\textit{C.霍兰蒂},德斯。密码术89,No.1,105--125(2021;Zbl 1466.94056) 全文: 内政部 arXiv公司
H·雷扎尼亚。;F.阿齐兹。 蜂窝晶格上海森堡模型中的动态和静态自旋电导率:磁性长程有序的影响。 (英语) Zbl 07832479号 下巴。《物理学杂志》。,台北 65, 593-603 (2020).MSC公司:82立方厘米 82亿 82天xx PDF格式BibTeX公司 XML格式引用 \textit{H.Rezania}和\textit{F.Azizi},Chin。《物理学杂志》。,台北65,593--603(2020;Zbl 07832479) 全文: 内政部
奥马尔·穆斯塔法;泽纳布·阿加迪 PD-磁+Aharonov-Bohm通量场中的PDM荷电粒子:无约束“几乎准自由”,并限制在Yukawa+Kratzer精确可解性中。 (英语) Zbl 07832476号 下巴。《物理学杂志》。,台北 65, 554-566 (2020).MSC公司:81Qxx号 81Uxx型 82天xx PDF格式BibTeX公司 XML格式引用 \textit{O.Mustafa}和\textit{Z.Algadhi},Chin。《物理学杂志》。,台北65,554--566(2020;Zbl 07832476) 全文: 内政部 arXiv公司
马哈达维,M。;Khanzadeh,H。 弱相对论等离子体中的电磁不稳定性。 (英语) Zbl 07832420号 下巴。《物理学杂志》。,台北 66, 745-757 (2020).MSC公司:82天xx 82立方厘米 76埃克斯 PDF格式BibTeX公司 XML格式引用 \textit{M.Mahdavi}和\textit{H.Khanzadeh},Chin。《物理学杂志》。,台北66,745--757(2020;Zbl 07832420) 全文: 内政部
马里兰州斯科特·阿里夫。;Aindrila贝拉;阿努贾·戈什;玛纳斯·戈什 正弦场驱动下杂质掺杂量子点的跃迁动力学:高斯白噪声的作用。 (英语) Zbl 07832360号 下巴。《物理学杂志》。,台北 66, 112-123 (2020).MSC公司:82天xx 82立方厘米 81Qxx号 PDF格式BibTeX公司 XML格式引用 \textit{Sk.Md.Arif}等人,Chin。《物理学杂志》。,台北66,112-123(2020;Zbl 07832360) 全文: 内政部
彭子嘉;彼得·加莫尔斯基;斯坦尼斯·瓦·米戈斯基 动态摩擦接触问题的边界最优控制。 (英语) Zbl 07812899号 Z.Angew ZAMM。数学。机械。 100,第10号,文章ID e201900144,22 p.(2020).MSC公司:47J20型 47J22型 49J40型 49J45型 74国道25号 74克30 74M15型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Peng}等人,ZAMM,Z.Angew。数学。机械。100,第10号,文章ID e201900144,22 p.(2020;Zbl 07812899) 全文: 内政部
阿纳斯塔西亚·克拉夫丘克·基里柳克;安托万·沃伊扎德;斯蒂芬妮·威里奇 \依赖于核的Haskell中的(eta)-等价。 (英语) Zbl 07756112号 Marc Bezem等人,第25届国际校样和程序类型会议。2019年,2019年6月11日至14日,挪威奥斯陆。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175,第7条,第31页(2020年)。MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Kravchuk-Kirilyuk}等人,LIPIcs——莱布尼茨国际程序。通知。175,第7条,第31页(2020;Zbl 07756112) 全文: 内政部
托尔斯滕·阿滕柯奇;科林·杰尼特 类型理论的大步归一化。 (英语) Zbl 07756109号 Marc Bezem等人,第25届国际校样和程序类型会议。2019年6月11日至14日,挪威奥斯陆。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175,第4条,第20页(2020年)。MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Altenkirch}和\textit{C.Geniet},LIPIcs——莱布尼茨国际程序。通知。175,第4条,第20页(2020;Zbl 07756109) 全文: 内政部
杰斯珀·考克斯 类型理论未定义:使用用户定义的重写规则扩展Agda。 (英语) Zbl 07756107号 Marc Bezem等人,第25届国际校样和程序类型会议。2019年6月11日至14日,挪威奥斯陆。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175,第2条,第27页(2020)。MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Cockx},LIPIcs——莱布尼茨国际程序。通知。175,第2条,第27页(2020;Zbl 07756107) 全文: 内政部
罗斯·波勒;安德烈·普拉泽 建设性混合游戏。 (英语) Zbl 07614528号 佩尔蒂埃、尼古拉斯(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12166, 454-473 (2020).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Bohrer}和\textit{A.Platzer},莱克特。注释计算。科学。12166、454--473(2020;Zbl 07614528) 全文: 内政部 arXiv公司
舒乔元;米尔恰·索福纳;肖一彬 Tykhonov善于处理分裂问题。 (英语) Zbl 1503.49016号 J.不平等。申请。 2020年,第153号论文,29页(2020年).MSC公司:49J40型 74M15型 47J20型 74M10个 49J45型 PDF格式BibTeX公司 XML格式引用 \textit{Q.-y.Shu}等人,J.Inequal。申请。2020年,第153号论文,29页(2020;Zbl 1503.49016) 全文: 内政部
傅鹏;Kohei的Kishida;尼尔·J·罗斯。;彼得·塞林格 独立类型原型设备中量子电路编程的教程介绍。 (英语) Zbl 07368053号 Lanese,Ivan(编辑)等人,《可逆计算》。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12227, 153-168 (2020).MSC公司:2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Fu}等人,Lect。注释计算。科学。12227,153--168(2020;Zbl 07368053) 全文: 内政部 arXiv公司
安娜玛丽亚·巴巴加略;塞雷纳·瓜里诺·罗比安科 一般随机时间相关经济均衡问题的随机变分公式。 (英语) Zbl 1460.91127号 最佳方案。莱特。 14,第8期,2479-2493(2020). 审核人:Gerasimos Soldatos(塞萨洛尼基) MSC公司:91B52型 PDF格式BibTeX公司 XML格式引用 \textit{A.Barbagallo}和\textit{S.Guarino Lo Bianco},Optim。莱特。14,第8号,2479--2493(2020;Zbl 1460.91127) 全文: 内政部
穆罕默德·希拉尔 具有状态依赖延迟的无界域上分数阶微分包含。 (英语) Zbl 1458.35453号 非线性螺柱。 27,第1号,69-85(2020).MSC公司:35兰特 35卢比70 47J22型 35升15 PDF格式BibTeX公司 XML格式引用 \textit{M.Helal},非线性研究27,第1期,69-85(2020;Zbl 1458.35453) 全文: 链接
皮埃尔·马里·佩德罗 前科学理论中的俄罗斯建构主义。 (英语) Zbl 1498.03159号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。782-794 (2020).MSC公司:03层60 03楼55 03立方厘米38 18层20 PDF格式BibTeX公司 XML格式引用 \textit{P.-M.Pédrot},in:2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8-11日。纽约州纽约市:计算机协会(ACM)。782--794(2020年;Zbl 1498.03159) 全文: 内政部 哈尔
丹尼尔·格拉泽;卡沃斯,G.A。;安德烈亚斯·努伊茨;拉尔斯·比克达尔 多模态依赖型理论。 (英语) Zbl 1498.03029号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。492-506 (2020).MSC公司:03立方厘米38 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gratzer}等人,in:2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8-11日。纽约州纽约市:计算机协会(ACM)。492--506(2020年;Zbl 1498.03029) 全文: 内政部
傅鹏;Kohei的Kishida;彼得·塞林格 量子编程语言的线性相关类型理论:扩展抽象。 (英语) Zbl 1502.68076号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。440-453 (2020).MSC公司:第68页第19页 03立方厘米38 2005年5月18日 68甲15 第68季度12 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Fu}等人,《2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集》,LICS 2020,虚拟事件,2020年7月8-11日。纽约州纽约市:计算机协会(ACM)。440-453(2020年;Zbl 1502.68076) 全文: 内政部 arXiv公司
碧姬·品特卡 上下文类型,解释。邀请的教程。 (英语) Zbl 1455.03016号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。35-37 (2020).MSC公司:03立方厘米38 PDF格式BibTeX公司 XML格式引用 \textit{B.Pientka},摘自:2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8-11日。纽约州纽约市:计算机协会(ACM)。35-37(2020;Zbl 1455.03016) 全文: 内政部
斯坦尼斯·瓦·米戈斯基;肖一彬;赵静 带约束的完全历史依赖演化半变分不等式。 (英语) Zbl 1520.47103号 进化。埃克。控制理论 9,第4期,1089-1114(2020).MSC公司:47J20型 47J22型 49J40型 49J45型 第74G22页 74G30型 74M15型 PDF格式BibTeX公司 XML格式引用 \textit{S.Migórski}等人,Evol。埃克。控制理论9,No.4,1089--1114(2020;Zbl 1520.47103) 全文: 内政部
刘振海;阮文轩;姚仁智;曾胜达 历史相关的微分变分半变分不等式及其在接触力学中的应用。 (英语) Zbl 1455.35153号 进化。埃克。控制理论 9,第4期,1073-1087(2020).MSC公司:35L86型 35L87型 47J22型 74M15型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}等人,Evol。埃克。控制理论9,第4期,1073--1087(2020;Zbl 1455.35153) 全文: 内政部
巴赛尔·曼纳;莫格尔贝格、拉斯穆斯·埃杰勒斯;尼科洛·维尔特里 滴答钟作为从属右伴随词:钟型理论的指称语义。 (英语) Zbl 1509.03053号 日志。计算方法。科学。 16,第4号,第17号论文,31页(2020年).MSC公司:03立方厘米38 03B40型 18个40 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Mannaa}等人,日志。计算方法。科学。16,第4号,第17号论文,31页(2020;Zbl 1509.03053) 全文: arXiv公司 链接
马塞洛·菲奥雷(Marcelo P.Fiore)。;安德鲁·皮特斯(Andrew M.Pitts)。;南卡罗来纳州斯坦坎普。 构造无限商诱导类型。 (英语) Zbl 07250942号 Goubault-Larrecq,Jean(编辑)等人,《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12077257-276(2020年)。MSC公司:68牛顿 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.P.Fiore}等人,Lect。注释计算。科学。12077,257--276(2020;Zbl 07250942) 全文: 内政部 arXiv公司
张晓旭;李桑吉 具有无限维商品空间和价格依赖偏好的大型生产经济中的均衡。 (英语) Zbl 1448.91158号 数学杂志。经济。 90, 57-64 (2020).MSC公司:91B52型 46B99型 PDF格式BibTeX公司 XML格式引用 \textit{H.S.Jang}和\textit{S.Lee},J.Math。经济。90、57-64(2020年;Zbl 1448.91158) 全文: 内政部 arXiv公司
黑山,曼努埃尔;苏珊娜·尼娃;里卡多·佩纳;克拉拉·塞古拉 将液体类型扩展到阵列。 (英语) Zbl 1446.68096号 ACM事务处理。计算。日志。 21,第2号,第13条,第41页(2020年).MSC公司:第68季度第60季度 03立方厘米38 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.黑山}等人,ACM Trans。计算。日志。21,第2号,第13条,第41页(2020年;Zbl 1446.68096) 全文: 内政部 链接