×

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

基于雷诺数的收敛估计准现实主义算法。 (英语) Zbl 1508.65121号

Haynes,Ronald(编辑)等人,《科学与工程领域分解方法》第二十五卷。根据2018年7月23日至27日在加拿大纽芬兰和拉布拉多省圣约翰市纽芬兰纪念大学举行的第25届领域分解方法国际会议上的演讲选出的论文。查姆:斯普林格。莱克特。注释计算。科学。工程138,277-284(2020)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

异步一级和两级区域分解求解器。 (英语) Zbl 1509.65135号

Haynes,Ronald(编辑)等人,《科学与工程领域分解方法》第二十五卷。根据2018年7月23日至27日在加拿大纽芬兰和拉布拉多省圣约翰市纽芬兰纪念大学举行的第25届领域分解方法国际会议上的演讲选出的论文。查姆:斯普林格。莱克特。注释计算。科学。工程138134-142(2020)。
PDF格式BibTeX公司 XML格式引用

带迭代的Lambek演算中的“长规则”:没有满足和连接的不可判定性。 (英语) Zbl 07585726号

Olivetti,Nicola(编辑)等人,《模态逻辑的进展》。第13卷。第十三届会议记录(AiML 2020),芬兰赫尔辛基,虚拟会议,2020年8月24日至28日。伦敦:学院出版物。425-440 (2020).
MSC公司:03楼52 03B47号
PDF格式BibTeX公司 XML格式引用

算术分支程序给出的多项式的因式分解。 (英语) Zbl 1529.68330号

Saraf,Shubhangi(编辑),第35届计算复杂性会议,CCC 2020,2020年7月28日至31日,德国萨尔布吕肯,虚拟会议。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。169,第33条,第19页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用通用图的值迭代和平均回报博弈的复杂性。 (英语) 兹伯利07559405

Esparza,Javier(ed.)等人,第45届计算机科学数学基础国际研讨会,MFCS 2020,2020年8月25日至26日,捷克共和国布拉格。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。170,第34条,第15页(2020年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有异构服务器的处理器共享排队系统中最优控制的评估和预测。 (英语) 兹比尔1490.68064

Vishnevskiy,Vladimir M.(编辑)等人,《分布式计算机和通信网络》。第23届国际会议,2020年DCCN,俄罗斯莫斯科,2020年9月14日至18日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12563, 450-462 (2020).
MSC公司:68平方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

针对网络流行病的网络欺骗的部分可观察随机博弈。 (英语) Zbl 1483.68051号

朱全燕(主编)等,《安全决策与博弈论》。第11届国际会议,2020年10月28日至30日,GameSec 2020,美国马里兰州大学公园。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12513, 312-325 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从统一的角度看可积映射。 (英语) Zbl 1484.37074号

Donagi,Ron(编辑)等人,《可积系统与代数几何》。艾玛·普雷维亚托65岁生日的庆祝活动。第1卷。剑桥:剑桥大学出版社。伦敦。数学。Soc.Lect(社会学)。注释序列。458, 217-264 (2020).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件