×

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

蛋白质浓度和细胞体积的联合分布通过稀释反馈耦合。 (英语) Zbl 07810896号

Pang,Jun(编辑)等人,《系统生物学中的计算方法》。第21届国际会议,CMSB 2023,卢森堡市,卢森堡,2023年9月13日至15日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14137, 253-268 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在文档图像分类中使用空间模型的有效实践。 (英语) Zbl 07804266号

PDF格式BibTeX公司 XML格式引用
全文: 内政部 MNR公司

具有相依成分和重尾间隔时间的更新报酬过程数学期望的渐近展开。 (英语。俄文原件) Zbl 1507.60117号

理论问题。申请。 67,第4期,645-651(2023年); 来自Teor的翻译。维罗亚特。Primen公司。67,第4期,645-651页(2022年)。
MSC公司:60 K15 60K20码
PDF格式BibTeX公司 XML格式引用
全文: 内政部

DyNetKAT:动态网络代数。 (英语) Zbl 07793029号

Patricia Bouyer等人,《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分,于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13242, 184-204 (2022).
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

增长图形的复杂性。 (英语) Zbl 07722896号

Erlebach,Thomas(编辑)等人,《无线网络算法》。第18届无线网络算法国际研讨会,ALGOSENSORS 2022,波茨坦,德国,2022年9月8日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13707, 123-137 (2022).
MSC公司:68米18 68T40型
PDF格式BibTeX公司 XML格式引用

在存在争议的撞车事故时达成共识。 (英语) Zbl 1522.68063号

Devismes,Stéphane(编辑)等人,《分布式系统的稳定、安全和保障》。第24届国际研讨会,SSS 2022,法国克莱蒙特-弗莱德,2022年11月15日至17日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13751, 193-205 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

同步拜占庭集合协议的优化算法。 (英语) Zbl 1522.68731号

Devismes,Stéphane(编辑)等人,《分布式系统的稳定、安全和保障》。第24届国际研讨会,SSS 2022,法国克莱蒙特-弗莱德,2022年11月15日至17日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13751, 178-192 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

种群和网络中随机多智能体动力学的Gillespie算法。 (英语) Zbl 1505.91002号

复杂网络结构和动力学中的元素剑桥:剑桥大学出版社(ISBN 978-1-00-923914-1/pbk;978-1-009-923915-8/电子书)。第102页。,开放存取(2022年)。
PDF格式BibTeX公司 XML格式引用

马尔可夫调制过程来模拟人的流动性。 (英语) Zbl 1506.60078号

贝尼托、罗莎·玛丽亚(编辑)等,《复杂网络及其应用》,第1卷。2021年11月30日至12月2日,西班牙马德里,COMPLEX NETWORKS 2021第十届国际会议记录。查姆:施普林格。螺柱计算。智力。1015, 607-618 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通信网络缓冲区溢出概率估计。 (乌克兰语。英文摘要) Zbl 1513.60110号

PDF格式BibTeX公司 XML格式引用
全文: 内政部

容错多方会话类型。 (英语) Zbl 1499.68233号

Mousavi,Mohammad Reza(编辑)等人,分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议,FORTE 2022,作为第17届分布式计算技术国际联合会议的一部分,于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13273, 93-113 (2022).
PDF格式BibTeX公司 XML格式引用

神经网络简化的相互模拟。 (英语) Zbl 1498.68169号

Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13182, 285-300 (2022).
PDF格式BibTeX公司 XML格式引用

在设计容错计算和控制系统的问题中,对同步和自定时方法的效率进行近似评估。 (英语。俄文原件) Zbl 1489.93079号

自动化。远程控制 83,第2期,264-272(2022); 来自Avtom的翻译。Telemekh公司。2022年,第2期,第122-132页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

传记参考

全部的 前3名

软件