×

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

用于实证宏观经济建模的动态计量经济学。 (英语) Zbl 1454.62002年

新泽西州哈肯萨克:世界科学(ISBN 978-981-12-0751-8/hbk;978-981-02-0753-2/ebook)。十八、567页。(2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

自主机器人基于正式模型的保证案例的演变。 (英语) Zbl 07817470号

Oh lveczky,Peter Csaba(编辑)等人,《软件工程和形式化方法》。2019年9月18-20日在挪威奥斯陆举行的第17届SEFM国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11724, 87-104 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

组件感知输入输出一致性。 (英语) Zbl 1533.68190号

Pérez,Jorge A.(编辑)等人,分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议,2019年FORTE,作为第14届分布式计算技术国际联合会议的一部分,于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11535, 111-128 (2019).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

人工智能社区的基于模型的诊断:GDE和动态系统诊断的替代方案。 (英语) Zbl 1425.93099号

Escobet,Teresa(编辑)等人,《动态系统的定量和定性方法》。查姆:斯普林格。125-152 (2019).
MSC公司:93B40码 93A30型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

人工智能社区基于模型的诊断:DX方法。 (英语) Zbl 1425.93094号

Escobet,Teresa(编辑)等人,《动态系统的定量和定性方法》。查姆:斯普林格。97-124 (2019).
MSC公司:93B40码 93A30型 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于多元斜分布的混合建模。 (英语) Zbl 1462.62032号

Colubi,Ana(编辑)等人,《2016年第22届计算统计国际会议论文集》,西班牙奥维耶多,2016年8月23日至26日。海牙:国际统计研究所;海牙:国际统计计算协会。137-147 (2016).
MSC公司:62-08 62小时30分
PDF格式BibTeX公司 XML格式引用

一阶自动扣除的历史和前景。 (英语) 兹比尔1465.03055

Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 3-28 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

翻译并发系统的测试理论。 (英语) Zbl 1444.68121号

Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9360, 133-151 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于一类随机搜索算法的实现。 (英语) Zbl 1327.90234号

Gao,David(编辑)等,《全局优化进展》。论文选自2013年7月8日至12日在中国安徽省WCGO举行的第三届世界工程与科学优化大会上的演讲。查姆:施普林格(ISBN 978-3-319-08376-6/hbk;978-3-3169-08377-3/电子书)。《Springer Proceedings in Mathematics&Statistics》第95卷第427-435页(2015年)。
MSC公司:90C26型 90 C59
PDF格式BibTeX公司 XML格式引用

统计、社会和生物医学科学的因果推理。介绍。 (英语) Zbl 1355.6202号

剑桥:剑桥大学出版社(ISBN 978-0-521-88588-1/hbk;978-1-139-02575-1/电子书)。xix,第625页。(2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分开还是混合?用于检测子组的树模型与混合模型。 (英语) Zbl 1436.62250号

Gilli,Manfred(编辑)等人,2014年8月19日至22日在瑞士日内瓦举行的2014年第21届国际计算统计会议论文集。海牙:国际统计研究所;海牙:国际统计计算协会(IASC)。379-386 (2014).
MSC公司:62小时30分 62-08
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

软件