×

找到25个文档(结果1-25)

一种用于贝叶斯不确定性量化的稀疏网格方法,并应用于大涡模拟湍流模型。 (英语) Zbl 1381.76135号

Garcke,Jochen(编辑)等人,《稀疏电网和应用——斯图加特2014》。2014年9月1日至5日在德国斯图加特举行的2014年SGA第三次研讨会上收集的稿件。查姆:施普林格(ISBN 978-3-319-28260-2/hbk;978-3-3169-28262-6/电子书)。计算科学与工程课堂讲稿109,291-313(2016)。
PDF格式BibTeX公司 XML格式引用

序列图的精化推理。 (英语) Zbl 1303.68040号

van Emde Boas,Peter(编辑)等人,《SOFSEM 2013:计算机科学的理论与实践》。2013年1月26日至31日,第39届计算机科学理论与实践当前趋势国际会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-35842-5/pbk)。计算机科学课堂讲稿7741,432-444(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过网格划分进行拓扑推断。 (英语) Zbl 1284.68602号

第26届计算几何年度研讨会论文集,SoCG 2010,雪鸟,犹他州,美国,2010年6月13-16日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-0016-2)。277-286 (2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用于程序分析的优化类型。 (英语) Zbl 1482.68079号

Cousot,Radhia(编辑)等人,《静态分析》。1996年9月24日至26日,第三届国际研讨会,SAS’96,德国亚琛。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1145, 143-158 (1996).
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

作为语言学习统一框架的基本形式系统。 (英语) Zbl 0747.68040号

计算学习理论,Proc。第2年。研讨会,圣克鲁斯,加利福尼亚州/美国1989年,312-327(1989)。
MSC公司:68T05年 65年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份