P.I.安东。;A.Yu Doroshenko。;伊万年科,P.A。;O.A.Yatsenko。 Glushkov算法代数和自动并行计算设计。 (英语。乌克兰原文) Zbl 07765729号 赛博。系统。分析。 59,第5期,687-697(2023);翻译自Kibern。修女。分析。59,第5期,第3-15页(2023年)。MSC公司:68周01 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.I.Andon}等人,Cybern。系统。分析。59,编号5,687--697(2023;Zbl 07765729);翻译自Kibern。修女。分析。59,第5号,第3-15号(2023年) 全文: 内政部
杨靖;陈,龚;Wei,春秋;阿列克谢·谢尔盖夫;黄,京通卡亚;马修·斯库利(Matthew M.Scully)。;史蒂文·克兰茨。;姚鹏飞;郭铁新;王俊敏;杨志春;陈明哲 动物形状、模态分析和运动可视化。四: 几何构造和实施。 (英语) Zbl 07726243号 《几何杂志》。分析。 33,第10号,第330号论文,39页(2023年).MSC公司:65D17号 68-04 68单位05 51-04 PDF格式BibTeX公司 XML格式引用 \textit{J.Yang}等人,J.Geom。分析。33,第10号,第330号论文,39页(2023;Zbl 07726243) 全文: 内政部
埃米克·德米尔西·阿卡苏;图巴·纳夫达尔·圭奈 双素数差集及其在编码掩码上的应用。 (英语) Zbl 1515.11003号 离散数学。算法应用。 15,第6号,文章ID 2250142,13 p.(2023).MSC公司:11-04 11T71型 94A08型 94C30个 PDF格式BibTeX公司 XML格式引用 \textit{E.D.Akarsu}和\textit{T.N.Günay},离散数学。算法应用。15,第6号,文章ID 2250142,13 p.(2023;Zbl 1515.11003) 全文: 内政部
黄范(编辑) 斯普林格工程统计手册。第二版。 (英语) 兹比尔1515.62002 Springer手册伦敦:施普林格出版社(ISBN 978-1-4471-7502-5/hbk;978-1-447 1-7503-2/电子书)。xxv,1150页。(2023).MSC公司:62-00 第60页 PDF格式BibTeX公司 XML格式引用 \textit{H.Pham}(编辑),Springer工程统计手册。第二版。伦敦:施普林格(2023;Zbl 1515.6202)
达纳·西米安;阿德里安·乌尔皮努 在开发视频游戏中使用Python。 (英语) Zbl 07726675号 牛市。Transilv公司。Brașov大学,Ser。三、 数学。计算。科学。 2(64),编号2,203-214(2022).MSC公司:68新元 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{D.Simian}和\textit{A.Vulpeanu},公牛。Transilv公司。Brașov大学,Ser。三、 数学。计算。科学。2(64),编号2203-214(2022;Zbl 07726675) 全文: 内政部
托拜厄斯·隆格;亚历山大·基特尔曼;马可·塞韦托;亚历克斯·波坦;伊娜·谢弗 面向对象语言的信息流控制结构。 (英语) Zbl 1525.68031号 Schlingloff,Bernd-Holger(编辑)等人,《软件工程和形式化方法》。第20届国际会议,SEFM 2022,德国柏林,2022年9月26-30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13550, 209-226 (2022).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Runge}等人,Lect。注释计算。科学。13550,209--226(2022;Zbl 1525.68031) 全文: 内政部 arXiv公司
于宇轩;魏晓东;李安然;刘佳蕾金妮;他,杰弗里;张永杰杰西卡 HexGen和Hex2Spline:基于多子体的六面体网格生成和样条建模,用于LS-DYNA中的等几何分析应用。 (英语) Zbl 1497.65004号 Manni,Carla(编辑)等人,等几何分析中的几何挑战。根据2020年1月27日至31日在意大利罗马举行的研讨会上的演示文稿,选择了一些论文。查姆:施普林格。Springer INdAM系列。第49333-363页(2022)。MSC公司:65-04 65牛顿50 65D07年 65D17号 65N30型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yu}等人,Springer INdAM Ser。49333--363(2022年;Zbl 1497.65004) 全文: 内政部 arXiv公司
凯瑟琳·德雷克。;爱德华·福塞利尔。;格雷迪·赖特(Grady B.Wright)。 用无卷曲径向基函数单位分解法进行隐式曲面重建。 (英语) Zbl 1516.41001号 SIAM J.科学。计算。 44,5号,A3018-A3040(2022). 审核人:马丁·D·布曼(基恩) MSC公司:41-04 第41页第15页 41A29号 65D07年 65天10分 65日第15天 65D17号 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{K.P.Drake}等人,SIAM J.Sci。计算。44,5号,A3018--A3040(2022;Zbl 1516.41001) 全文: 内政部 arXiv公司
萨夫万·哈松。;尤尼斯,法蒂玛·穆罕默德·拉菲 模糊逻辑模型在软件质量度量中的应用。 (英语) Zbl 1513.68012号 国际数学杂志。计算。科学。 17,第3期,1227-1240(2022).MSC公司:68号30 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Hasoon}和\textit{F.M.R.Younis},国际数学杂志。计算。科学。17、编号3、1227--1240(2022;Zbl 1513.68012) 全文: 链接
内森·塔巴克 使用R。 (英语) Zbl 07517342号 查普曼和霍尔/CRC统计科学系列教材佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-45685-6/hbk;978-1-003-03369-1/电子书)。xxii,270页。(2022).MSC公司:62-01 62Kxx美元 62-04 PDF格式BibTeX公司 XML格式引用 \textit{N.Taback},使用R.Boca Raton进行实验和观测研究的设计与分析,佛罗里达州:CRC出版社(2022;Zbl 07517342) 全文: 内政部
西尔维亚·博伊德;约瑟夫·切里扬;阿拉什·哈达丹;莎拉·易卜拉欣普尔 柔性图连接的近似算法。 (英语) Zbl 07799587号 Bojañczyk,Mikołaj(编辑)等人,第41届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2021,虚拟会议,2021年12月15日至17日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。213,第9条,第14页(2021年)。MSC公司:68号30 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Boyd}等人,LIPIcs——莱布尼茨国际程序。通知。213,第9条,第14页(2021;Zbl 07799587) 全文: 内政部 arXiv公司
尼古拉·利维;尼古拉斯·沙巴内尔 Ensnano:DNA纳米结构的3D建模软件。 (英语) Zbl 07741396号 Lakin,Matthew R.(编辑)等人,第27届DNA计算和分子编程国际会议。DNA 27,英国牛津(虚拟会议),2021年9月13日至16日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。205,第5条,第23页(2021年)。MSC公司:2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Levy}和\textit{N.Schabanel},LIPIcs——莱布尼茨国际程序。通知。205,第5条,第23页(2021;Zbl 07741396) 全文: 内政部
迪维亚·巴贾杰;马丁·埃尔维格;丹尼尔·费多林;凯·盖伊 适用于程序解释的跟踪。 (英语) Zbl 1520.68018号 哦,Hakjoo(编辑),编程语言和系统。第19届亚洲研讨会,APLAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17日至18日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13008, 202-221 (2021).MSC公司:68甲15 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Bajaj}等人,Lect。注释计算。科学。13008202-221(2021;Zbl 1520.68018) 全文: 内政部
莱恩·莱基维茨;约瑟夫·摩根 组合测试:使用块来分配测试用例以验证复杂的软件系统。 (英语) 兹比尔07660260 统计理论相关。字段 5,编号2,114-121(2021).MSC公司:62至XX PDF格式BibTeX公司 XML格式引用 \textit{R.Lekivetz}和textit{J.Morgan},统计理论关系。字段5,编号2,114--121(2021;Zbl 07660260) 全文: 内政部
Raghu N.卡克。;D.理查德·库恩;雷,于;迪米特里斯·西蒙斯(Dimitris E.Simos)。 因子实验、覆盖数组和组合测试。 (英语) Zbl 07465799号 数学。计算。科学。 15,第4期,715-739(2021);更正同上,第15号,第4,741(2021)。MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.N.Kacker}等人,《数学》。计算。科学。15,编号4,715--739(2021;Zbl 07465799) 全文: 内政部
弗拉迪卡安德烈奇;阿林·博斯坦;米洛斯·塔塔列维奇 改进的左阶乘剩余算法。 (英语) Zbl 1515.11123号 Inf.流程。莱特。 167,文章ID 106078,4 p.(2021).MSC公司:11年55 11个B65 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Andrejić}等人,《Inf.Process》。莱特。167,文章ID 106078,4 p.(2021;Zbl 1515.11123) 全文: 内政部 arXiv公司
丹尼尔·阿恩特;沃尔夫冈·班杰斯;丹尼斯·达维多夫;蒂莫·海斯特;卢卡·赫尔泰;马丁·克朗比克勒;马提亚斯·梅尔;Jean-Paul,Pelteret;布鲁诺·图尔克辛;大卫·威尔斯 这个处理。二有限元库:设计、功能和见解。 (英语) Zbl 1524.65002号 计算。数学。申请。 81, 407-422 (2021).MSC公司:65-04 65N30型 65日元 2005年5月 65M60毫米 65D25个 97M50型 65天32分 65牛顿50 65传真 65天18分 PDF格式BibTeX公司 XML格式引用 \textit{D.Arndt}等人,计算。数学。申请。81407--422(2021年;Zbl 1524.65002) 全文: 内政部 arXiv公司
亚历山大·克努佩尔;英加·雅茨科夫斯基;马库斯·诺尔特;托马斯·图姆;托拜厄斯·隆格;伊娜·谢弗 基于技能的网络物理系统验证。 (英语) Zbl 1507.68093号 Wehrheim,Heike(编辑)等人,《软件工程的基本方法》,第23届国际会议,FASE 2020,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2020,爱尔兰都柏林,2020年4月25日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12076, 203-223 (2020).MSC公司:68号30 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Knüppel}等人,Lect。注释计算。科学。12076203-223(2020;Zbl 1507.68093) 全文: 内政部
努诺州阿马利奥 健全和放松的行为遗传。 (英语) Zbl 1486.68037号 Adamatzky,Andrew(编辑)等人,《从天体物理学到非常规计算》。在苏珊·斯蒂芬尼60岁生日之际向她提交的论文。查姆:施普林格。新兴复杂性。计算。35, 255-298 (2020).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Amálio},紧急情况复杂。计算。35255-298(2020;Zbl 1486.68037) 全文: 内政部 链接
R·卡拉曼。;巴切娃,D。;A.施密德。;G.R.塔博。 冷凝传热模拟中流体体积和液位设置方法的耦合。 (英语) Zbl 1500.76069号 国际期刊计算。流体动力学。 34,编号1,25-38(2020).MSC公司:76米99 76T10型 80A22型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kahraman}等人,《国际计算杂志》。流体动力学。34,第1号,第25-38号(2020年;Zbl 1500.76069) 全文: 内政部
艾哈迈德·安瓦尔。;Leslie,Nandi O。;查尔斯·坎胡亚;克里斯托弗·基金特维尔 网络安全软件多样性的博弈论框架。 (英语) Zbl 1483.68042号 朱全燕(主编)等,《安全决策与博弈论》。第11届国际会议,2020年10月28日至30日,GameSec 2020,美国马里兰州大学公园。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12513, 297-311 (2020).MSC公司:68平方米25 68M10个 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Anwar}等人,Lect。注释计算。科学。12513,297--311(2020;Zbl 1483.68042) 全文: 内政部
安德烈·伊万诺维奇·基布尊;安东·谢尔盖维奇·沙拉耶夫;瓦伦汀·米哈·洛维奇·阿扎诺夫;阿列克斯·伊格纳托夫(Alekse Ignatov,Nikolaevich) 飞机部件重量设计的统计分析模块。 (英语) Zbl 1456.62315号 维斯特。尤日诺-乌拉尔。戈斯。州立大学。材料模型。程序。 13,第3号,第29-42页(2020年).MSC公司:第60页 62K20型 62-08 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Kibzun}等人,Vestn。尤日诺-乌拉尔。戈斯。州立大学。材料模型。程序。13、第3号、第29-42号(2020年;Zbl 1456.62315) 全文: 内政部 MNR公司
多罗申科,A.Y。;亚琴科,O.A。 并行软件设计自动化的形式化方法。 (英语) Zbl 1463.68016号 多波夫。国家。阿卡德。诺克乌克兰。,材料价格。泰克。恶心 2020年,第6期,15-20(2020).MSC公司:68号30 68甲19 2012年第68季度 68周01 70-10 70层10 PDF格式BibTeX公司 XML格式引用 \textit{A.Y.Doroshenko}和\textit{O.A.Yatsenko},Dopov。国家。阿卡德。诺克乌克兰。,材料价格。泰克。Nauky 2020,第6期,第15--20期(2020;Zbl 1463.68016) 全文: 内政部
奥斯尼·马奎斯;詹姆斯·德梅尔;保罗·B·瓦斯康塞洛斯。 通过相关的三对角特征问题进行双对角奇异值分解计算。 (英语) Zbl 1484.65068号 ACM事务处理。数学。柔和。 46,第2号,第14条,第25页(2020年).MSC公司:2015财年65 65日元 PDF格式BibTeX公司 XML格式引用 \textit{O.Marques}等人,ACM Trans。数学。柔和。46,第2号,第14条,第25页(2020年;Zbl 1484.65068) 全文: 内政部
佩雷斯和佩雷斯,拉斐尔;罗曼、伊万·格雷罗 基于ER模型开发视觉合成的计算机代理。 (英语) Zbl 1444.68215号 安。数学。Artif公司。因特尔。 88,编号5-6,549-588(2020).MSC公司:68层35 00A66号 PDF格式BibTeX公司 XML格式引用 \textit{R.Pérez y Péresz}和\textit{I.G.Román},Ann.数学。Artif公司。因特尔。88,编号5--6,549--588(2020;Zbl 1444.68215) 全文: 内政部
杜晓晓;赵刚;王伟;郭美宜;张然;杨家明 NLIGA:用于非线性等几何分析的MATLAB框架。 (英语) Zbl 1505.65001号 计算。辅助Geom。设计。 80,文章ID 101869,23 p.(2020).MSC公司:65-04 65D07年 65D17号 65N30型 74S05号 PDF格式BibTeX公司 XML格式引用 \textit{X.Du}等人,计算。辅助Geom。设计。80,文章ID 101869,23 p.(2020;Zbl 1505.65001) 全文: 内政部
萨缪尔·布鲁;伊莎贝拉·马斯特罗埃尼 关于多语言结构。 (英语) Zbl 1524.68078号 Caires,Luís(编辑),《编程语言和系统》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,第28届欧洲编程研讨会(ESOP 2019)在捷克共和国布拉格举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11423, 293-321 (2019).MSC公司:68号30 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.Buro}和\textit{I.Mastroeni},莱克特。注释计算。科学。11423、293--321(2019年;Zbl 1524.68078) 全文: 内政部
阿莫斯·科尔曼;约夫·罗德 多玩家多方位合作搜索游戏。 (英语) Zbl 07561639号 Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第146条,第14页(2019年)。MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Korman}和\textit{Y.Rodeh},LIPIcs——莱布尼茨国际程序。通知。132,第146条,第14页(2019;兹bl 07561639) 全文: 内政部
朱金奇;孙华志;黄永新;刘明 软件定义网络中满足延迟的路由选择和实时更新调度。 (中文。英文摘要) Zbl 1449.68006号 J.软件。 30,第11号,3440-3456(2019).MSC公司:68M10个 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhu}等人,J.Softw。30,第11号,3440--3456(2019;Zbl 1449.68006) 全文: 内政部
克劳迪奥·蒙吉;斯波莱蒂尼,波拉;玛莎·契契克;卡洛·盖齐 控制器迭代设计的验证驱动框架。 (英语) Zbl 1425.68262号 正式Asp。计算。 31,5号,459-502(2019).MSC公司:60年第68季度 03B44号 68N99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。31,第5号,459--502(2019;Zbl 1425.68262) 全文: 内政部
埃德加·布伦纳;阿恩·C·巴斯克。;Frank Konietschke,弗兰克 析因设计中独立观察的秩和伪秩程序。使用R和SAS。 (英语) Zbl 1455.62001号 统计学中的斯普林格系列查姆:施普林格(ISBN 978-3-030-02912-8/hbk;978-3-0.30-02914-2/电子书)。第xx页,第521页。(2019). 审核人:路德维希·帕迪茨(德累斯顿) MSC公司:62-01 62兰特 62G10型 62G15年 62克20 62K15型 62页第10页 第62页第15页 62-04 PDF格式BibTeX公司 XML格式引用 \textit{E.Brunner}等人,析因设计中独立观察的秩和伪秩程序。使用R和SAS。查姆:斯普林格(2019;Zbl 1455.62001) 全文: 内政部
雷莫·德多诺;安东尼奥·吉多尼;吉安马利亚·诺文塔;斯特凡诺·雷拜 使用开源软件对ERCOFTAC离心泵叶轮进行形状优化。 (英语) Zbl 1458.76086号 最佳方案。工程师。 20,第3号,929-953(2019).MSC公司:76N25号 76U05型 76米99 65D17号 PDF格式BibTeX公司 XML格式引用 \textit{R.De Donno}等人,Optim。工程20,编号3,929--953(2019;Zbl 1458.76086) 全文: 内政部
托拜厄斯·温齐尔 Peano软件——并行、基于自动化、动态自适应的网格遍历。 (英语) Zbl 1471.65213号 ACM事务处理。数学。柔和。 45,第2号,第14条,第41页(2019).MSC公司:65牛顿50 65M50型 65D17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Weinzierl},ACM翻译。数学。柔和。45,第2号,第14条,第41页(2019年;Zbl 1471.65213) 全文: 内政部 arXiv公司
拉加罗斯,尼科斯D。;尼科斯·瓦西里欧;乔治·哈萨克斯 使用SAP2000解决3D拓扑优化问题的C#代码。 (英语) Zbl 1429.90075号 最佳方案。工程师。 20,第1期,1-35页(2019年).MSC公司:90立方 90-04 PDF格式BibTeX公司 XML格式引用 \textit{N.D.Lagaros}等人,Optim。工程20,编号1,1-35(2019;Zbl 1429.90075) 全文: 内政部 链接
马丁·西格尔;简·克莱因茨;托拜厄斯·斯托伦沃克;雷恩霍尔德·梅尔 TiGL:用于参数化飞机设计的开源计算几何库。 (英语) Zbl 1474.65002号 数学。计算。科学。 13,第3期,367-389(2019).MSC公司:65-04 65D17号 65D05型 65天10分 PDF格式BibTeX公司 XML格式引用 \textit{M.Siggel}等人,数学。计算。科学。13,第3号,367--389(2019;Zbl 1474.65002) 全文: 内政部 arXiv公司 链接
阿布Md Manju;坎德尔,数学J.J.M。;van Breukelen,Gerard J.P。 SamP2Cet:用于两级成本效益试验的样本量和功率计算的交互式计算机程序。 (英语) Zbl 1417.62008年 计算。斯达。 34,第1号,47-70(2019).MSC公司:62-04 62页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Manju}等人,计算机。Stat.34,No.1,47-70(2019;Zbl 1417.62008) 全文: 内政部
苏门答腊州古哈 通过OpenGL的计算机图形。从理论到实验。第三版。 (英语) Zbl 1405.68002号 佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-138-61264-8/hbk)。xxvii,731页。(2019).MSC公司:68-01年 65D17号 65天18分 68单位05 68单位10 68-04 PDF格式BibTeX公司 XML格式引用 \textit{S.Guha},通过OpenGL的计算机图形。从理论到实验。第三版。佛罗里达州博卡拉顿:CRC出版社(2019;Zbl 1405.68002)
恩里科·贝尔托拉齐;保罗·贝维拉夸;马可·弗雷戈 Clothoids:一个带有MATLAB接口的C++库,用于处理回旋曲线。 (英语) Zbl 1440.65029号 伦德。塞明。波兰大学Mat。都灵 76,第2号,47-56(2018).MSC公司:65D17号 65D05型 65D07年 53-04 53A04号 PDF格式BibTeX公司 XML格式引用 \textit{E.Bertolazzi}等人,伦德。塞明。波兰大学Mat。都灵76,No.2,47-56(2018;Zbl 1440.65029) 全文: 链接
佩特科·佩特科夫。;Tsonyo N.斯拉沃夫。;乔丹·K·克拉列夫。 使用MATLAB/Simulink设计嵌入式鲁棒控制系统。 (英语) Zbl 1423.93004号 控制、机器人和传感器系列113.史蒂文纳奇:工程技术学院(IET)(ISBN 978-1-78561-330-2/hbk;978-1-785 61-331-9/电子书)。十五、516页。(2018).MSC公司:93-01 93-04 93A30型 93亿B51 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Petkov}等人,使用MATLAB/Simulink设计嵌入式鲁棒控制系统。史蒂文纳奇:工程技术学院(IET)(2018;Zbl 1423.93004) 全文: 内政部
安德烈·布乔;马蒂亚斯·尤特纳 用于解决和评估复杂场问题的分离数值公式的概念。 (英语) 兹伯利1416.65486 Cheng,Alexander H.-D.(编辑)等,《边界元和其他网格缩减方法XXXX》。根据2017年9月12日至14日在英国新森林举行的第40届国际会议(BEM/MRM)上的演示文稿选出的论文。南安普顿:WIT出版社。47-57 (2018).MSC公司:65号38 65N30型 68单位05 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{A.Buchau}和\textit{M.Jüttner},在:边界元素和其他网格简化方法XXXX中。根据2017年9月12日至14日在英国新森林举行的第40届国际会议(BEM/MRM)上的演示文稿选出的论文。南安普顿:WIT出版社。47-57(2018;Zbl 1416.65486) 全文: 内政部
理查德·瓦利安特;吉尔·A·德维尔。;弗劳克·克鲁特 设计和加权调查样本的实用工具。第二版。 (英语) Zbl 1411.62016年 社会和行为科学统计。查姆:施普林格(ISBN 978-3-319-93631-4/hbk;978-3-3169-93632-1/电子书)。xxvi,776页。(2018).MSC公司:62-02 62D05型 62-04 62第25页 第62页,第35页 PDF格式BibTeX公司 XML格式引用 \textit{R.Valliant}等人,设计和加权调查样本的实用工具。第二版。查姆:斯普林格(2018;Zbl 1411.62016) 全文: 内政部
丹尼尔·贾施克;林肯·D·卡尔。 开源矩阵乘积状态:量子系统中的精确对角化和其他纠缠精确方法。 (英语) Zbl 1411.81077号 《物理学杂志》。A、 数学。西奥。 51,第46号,文章ID 465302,41 p.(2018).MSC公司:81页68 81页40页 68岁20岁 2005年第81季度 15甲18 68M10个 68问题80 81S22号 PDF格式BibTeX公司 XML格式引用 \textit{D.Jaschke}和\textit{L.D.Carr},J.Phys。A、 数学。西奥。51,第46号,文章ID 465302,41页(2018;Zbl 1411.81077) 全文: 内政部 arXiv公司
普莱斯,大卫·J。;比恩,奈杰尔·G·。;Joshua V.罗斯。;乔纳森·图克 在传播存在的情况下设计群体剂量反应研究。 (英语) Zbl 1409.92253号 数学。Biosci公司。 304, 62-78 (2018).MSC公司:92天30分 92C60型 92-04 62页第10页 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Price}等人,数学。Biosci公司。304、62-78(2018年;Zbl 1409.92253) 全文: 内政部 链接
埃里克·巴杜埃尔;罗德里格·艾美Djeumen Djatcha 使用变形分裂的领域特定语言的模块化设计。 (英语) Zbl 1518.68043号 Fischer,Bernd(ed.)等人,《计算的理论方面——2018年ICTAC》。2018年10月16日至19日,第十五届国际学术讨论会,南非斯特伦博什。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11187, 62-79 (2018).MSC公司:68号30 18立方厘米50 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{埃里·巴杜埃尔}和\textit{R.A.Djeumen Djatcha},莱克特。注释计算。科学。11187、62-79(2018年;Zbl 1518.68043) 全文: 内政部 哈尔
A.Bijlsma。;哈里·J·M·帕西耶。;H·J·普特杰斯。;斯图尔曼。 模板方法测试模式。 (英语) 兹比尔1478.68060 Inf.流程。莱特。 139, 8-12 (2018).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bijlsma}等人,《Inf.过程》。莱特。139,8--12(2018;Zbl 1478.68060) 全文: 内政部 链接
姆拉丹·巴诺维奇;俄勒冈州米哈斯基;萨尔瓦托Auriemma;安德烈亚·沃尔特;赫夫·罗格朗;缪勒,延斯·多米尼克 开放级联技术CAD内核的算法区分及其与伴随CFD求解器的耦合。 (英语) Zbl 1408.90321号 最佳方案。方法软件。 33,编号4-6,813-828(2018).MSC公司:90 C90 65D17号 68瓦30 76-04 PDF格式BibTeX公司 XML格式引用 \textit{M.Banović}等人,Optim。方法软件。33,编号4--6,813--828(2018;Zbl 1408.90321) 全文: 内政部 链接
斯特夫·乔斯顿 关系代数作为使用Ampersand编译器的编程语言。 (英语) Zbl 1400.68045号 J.日志。代数。方法计划。 100, 113-129 (2018).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Joosten},J.Log。代数。方法计划。100113--129(2018;Zbl 1400.68045) 全文: 内政部
塞巴斯蒂安·普雷尔;扬·伦泽;费比安·贾莫洛维茨 从结构分析到基于观测器的故障检测残差生成。 (英语) Zbl 1396.93031号 国际期刊申请。数学。计算。科学。 28,第2期,233-245(2018).MSC公司:93个B07 93亿B51 05C90年 93-04 PDF格式BibTeX公司 XML格式引用 \textit{S.Pröll}等人,国际期刊应用。数学。计算。科学。28,第2号,233--245(2018;Zbl 1396.93031) 全文: 内政部
科林·B·埃里克森。;布鲁斯·安肯曼(Bruce E.Ankenman)。;苏珊·M·桑切斯。 高斯过程建模软件的比较。 (英语) 兹比尔1403.62006 欧洲药典。物件。 266,第1期,179-192(2018).MSC公司:62-04 62Kxx美元 62件 60G15年 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Erickson}等人,《欧洲药典》。第266号决议,第1号,179--192(2018;Zbl 1403.62006) 全文: 内政部 arXiv公司
刘天田;陈敏欣;卢、本佐 使用自适应分区和分段多项式逼近对高斯分子表面进行高效且合格的网格生成。 (英语) Zbl 1393.65027号 SIAM J.科学。计算。 40,第2号,B507-B527(2018).MSC公司:65M50型 68号01 65D17号 65-04 PDF格式BibTeX公司 XML格式引用 \textit{T.Liu}等人,SIAM J.Sci。计算。40,第2号,B507--B527(2018;Zbl 1393.65027) 全文: 内政部 arXiv公司
弗里德里克·吉罗伊雷;弗雷德里克·哈维特;乔安娜·穆利亚克 关于按顺序压缩二维路由表的复杂性。 (英语) Zbl 1386.68070号 算法 80,编号1,209-233(2018).MSC公司:65年第68季度 68M10个 2017年第68季度 68周25 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Giroire}等人,Algorithmica 80,No.1,209--233(2018;Zbl 1386.68070) 全文: 内政部 哈尔
迈克尔·索尔提斯 算法分析导论。第三次更新和修订版。 (英语) Zbl 1393.68004号 新泽西州哈肯萨克:世界科学(ISBN 978-981-3235-90-8/hbk;978-981-3 235-92-2/电子书)。xv,312页。(2018). 审核人:阿巴斯·梅拉比安(蒙塔尔) MSC公司:68-01年 68号30 65年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.Soltys},算法分析简介。第三次更新和修订版。新泽西州哈肯萨克:世界科学(2018;Zbl 1393.68004) 全文: 内政部
什韦塔·贾恩;苏吉特·古贾;萨提亚纳特·巴特;Onno Zoeter公司;Y.纳拉哈里。 用于专家采购的质量保证、成本最优的多武器强盗机制。 (英语) Zbl 1423.68453号 Artif公司。因特尔。 254, 44-63 (2018).MSC公司:68T20型 60克40 68T05型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{S.Jain}等人,Artif。因特尔。254、44-63(2018年;Zbl 1423.68453) 全文: 内政部
杰迪迪亚·麦克卢格;侯赛因·霍贾特;乔恩,帕沃 网络程序的同步合成。 (英语) Zbl 1494.68060号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。10427, 301-321 (2017).MSC公司:68号30 68M10个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.McClurg}等人,Lect。注释计算。科学。10427301-321(2017;Zbl 1494.68060) 全文: 内政部
菲克,克劳斯;威廉·哈特;汤米·霍夫曼;弗雷德里克·约翰逊 尼莫/赫克。Julia编程语言的计算机代数和数论包。 (英语) 兹比尔1457.68325 Michael Burr(编辑),《第42届符号和代数计算国际研讨会论文集》,ISSAC 2017,德国凯泽斯劳滕,2017年7月25-28日。纽约州纽约市:计算机协会(ACM)。157-164 (2017).MSC公司:68瓦30 11-04 PDF格式BibTeX公司 XML格式引用 \textit{C.Fieker}等人,in:第42届符号和代数计算国际研讨会论文集,ISSAC 2017,德国凯泽斯劳滕,2017年7月25日至28日。纽约州纽约市:计算机协会(ACM)。157-164(2017年;兹比尔1457.68325) 全文: 内政部 arXiv公司
谢尔盖·切尔尼舍夫(Serge Chernyshev,Leonidovich);米哈·齐琴科夫(Mikhaĭl Cheslavovich);法尼尔·扎基维奇·伊斯穆拉托夫;瓦西里·切德里克 飞机结构强度设计计算力学的发展趋势。 (俄语。英文摘要) Zbl 1434.74006号 切比雪夫斯基。 18,第3号(63),488-505(2017).MSC公司:74-10 74层10 76G25型 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Chernyshev}等人,ChebyshevskiĭSb.18,No.3(63),488--505(2017;Zbl 1434.74006) 全文: 内政部 MNR公司 链接
赖一聪;张永杰杰西卡;刘磊;魏晓东;方,尤金;吉姆·卢 CAD与Abaqus集成:一个实用的工业应用等几何分析软件平台。 (英语) Zbl 1397.65276号 计算。数学。申请。 74,第7期,1648-1660(2017).MSC公司:65N30型 65日元 65D07年 65D17号 65牛顿50 第74页第10页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lai}等人,计算。数学。申请。74,第7号,1648--1660(2017;Zbl 1397.65276) 全文: 内政部
严,乔;龚庆祥;于飞 SDN网络中DDoS攻击的抑制模型。 (中文。英文摘要) 兹比尔1399.68008 深圳理工大学。工程师。 34,第6号,562-569(2017).MSC公司:68M10个 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{Q.Yan}等人,J.深圳大学,科学。Eng.34,编号6,562–569(2017;兹bl 1399.68008) 全文: 内政部
Larsen,Kim G。;斯特凡·施密德;薛冰田 WNetKAT:一种加权SDN编程和验证语言。 (英语) Zbl 1432.68052号 Fatourou,Panagiota(编辑)等人,第20届分布式系统原理国际会议(OPODIS 2016),西班牙马德里,2016年12月13-16日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。70,第18条,第18页。(2017).MSC公司:68甲15 68M10个 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,LIPIcs——莱布尼茨国际期刊。通知。70,第18条,第18页(2017;Zbl 1432.68052) 全文: 内政部 arXiv公司
傅明建;吴凡;黄芳芳;郭隆坤 基于软件定义网络范式的多路径路由算法的性能。 (中文。英文摘要) Zbl 1399.68003号 福州大学自然科学学报。 45,第5期,628-634(2017).MSC公司:68M10个 68个M12 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Fu}等,福州大学自然科学研究所。45,第5号,628--634(2017;Zbl 1399.68003) 全文: 内政部
考西克苏布拉曼尼亚语;德安东尼,洛里斯;阿迪蒂亚·阿凯拉 Genesis:在多租户网络中合成转发表。 (英语) Zbl 1380.68134号 Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。562-585 (2017).MSC公司:68号30 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramanian}等人,在:第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)。562--585(2017;Zbl 1380.68134) 全文: 内政部
斯莫尔卡,斯特芬;普拉文·库马尔;内特·福斯特;德克斯特·科赞;亚历山大·席尔瓦 康托与斯科特相遇:概率网络的语义基础。 (英语) Zbl 1380.68132号 Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。557-571(2017年)。MSC公司:68号30 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{S.Smolka}等人,in:第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15-21日。纽约州纽约市:计算机协会(ACM)。557--571(2017;Zbl 1380.68132) 全文: 内政部 arXiv公司
胡安娜·森德拉;Gómez Sánchez-Pascuala,大卫;瓦莱里奥·莫兰 设计和实现用于加工偏置和贝壳的枫木包装。 (英语) Zbl 1371.65018号 安。数学。Artif公司。因特尔。 80,第1号,47-64(2017).MSC公司:65D17号 65日元 68瓦30 2005年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Sendra}等人,《数学年鉴》。Artif公司。因特尔。80,第1号,47--64(2017;Zbl 1371.65018) 全文: 内政部 链接
豪尔赫·冈萨雷斯;玛丽·威伯格 应用测试等值方法。使用R。 (英语) Zbl 1367.62002号 教育测量和评估方法。查姆:施普林格(ISBN 978-3-319-51822-0/hbk;978-3-3169-51824-4/电子书)。第二十六、196页。(2017).MSC公司:62-01 62-07 62-04 PDF格式BibTeX公司 XML格式引用 \textit{J.González}和\textit{M.Wiberg},应用测试等值方法。使用R.Cham:Springer(2017;Zbl 1367.62002) 全文: 内政部
斯特夫·乔斯顿 使用Ampersand进行关系代数软件开发。 (英语) Zbl 1486.68042号 Höfner,Peter(编辑)等人,《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10226, 177-192 (2017).MSC公司:68号30 03G15年 68N20型 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Joosten},莱克特。注释计算。科学。10226、177--192(2017;Zbl 1486.68042) 全文: 内政部
卢西尔,布伦丹;艾伦·鲍罗丁 贪婪组合拍卖的均衡。 (英语) Zbl 1414.91153号 SIAM J.计算。 46,第2号,620-660(2017).MSC公司:91B26型 68周25 91-04 PDF格式BibTeX公司 XML格式引用 \textit{B.Lucier}和\textit{A.Borodin},SIAM J.计算机。46,第2号,620--660(2017;Zbl 1414.91153) 全文: 内政部
玛丽·利勒博格;乔·艾兹维克 具有子树边界的贝叶斯网络的有效设计。 (英语) Zbl 1505.62247号 统计计算。 27,第2号,301-318(2017).MSC公司:62-08 62B10型 62K05美元 2015年1月62日 68层35 PDF格式BibTeX公司 XML格式引用 \textit{M.Lilleborge}和\textit{J.Eidsvik},统计计算。27,第2号,301-318(2017;Zbl 1505.62247) 全文: 内政部
达尔星。;北科利尔。;维格纳尔,P。;科尔特斯,A.M.A。;卡洛,V.M。 PetIGA:高性能等几何分析框架。 (英语) Zbl 1439.65003号 计算。方法应用。机械。工程师。 308, 151-181 (2016).MSC公司:65-04 65N30型 65D07年 65D17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Dalcin}等人,计算。方法应用。机械。工程308,151--181(2016;Zbl 1439.65003) 全文: 内政部 arXiv公司 链接
阿尔瓦罗·弗兰克;迭戈Fabregat-Traver;保罗·比伦蒂内西 大规模线性回归:高性能例程的开发。 (英语) Zbl 1410.62124号 申请。数学。计算。 275, 411-421 (2016).MSC公司:62J05型 62-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Frank}等人,应用。数学。计算。275411--421(2016;Zbl 1410.62124) 全文: 内政部 arXiv公司
上野,赖;霍玛,瑙富米;高府青木 一种基于Galoisfield算法的纠错码处理器形式化验证方法。 (英语) Zbl 1395.94355号 J.穆特-有效日志。软计算。 26号1-2、55-73(2016).MSC公司:94B25型 94A60型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Ueno}等人,J.Mult-有效日志。软计算。26、编号1--2、55-73(2016;Zbl 1395.94355) 全文: 链接
弗拉基米尔·斯托亚诺维奇;诺瓦克·奈迪奇 利用最优输入设计对输出受限的OE模型进行鲁棒辨识。 (英语) 兹比尔1395.93182 J.富兰克林研究所。 353,第2号,576-593(2016).MSC公司:93B35型 93A30型 93B30型 93亿B51 93B15号机组 93C40型 93-04 PDF格式BibTeX公司 XML格式引用 \textit{V.Stojanovic}和\textit{N.Nedic},J.Franklin Inst.353,No.2,576--593(2016;Zbl 1395.93182) 全文: 内政部
巴斯克斯。 在Octave和Matlab中实现等几何分析的新设计:GeoPDEs 3.0。 (英语) Zbl 1359.65270号 计算。数学。申请。 72,第3期,523-554(2016).MSC公司:65N30型 65-04 65D17号 65日元 PDF格式BibTeX公司 XML格式引用 \文本{R.Vázquez},计算机。数学。申请。72,第3号,523--554(2016;Zbl 1359.65270) 全文: 内政部
鲁珀特·弗里曼;塞缪尔·哈尼;德巴马利亚·帕尼格拉希 关于无向组播游戏稳定性的代价。 (英语) Zbl 1404.91052号 蔡洋(编辑)等,《网络与互联网经济学》。2016年12月11日至14日,加拿大蒙特利尔,第十二届国际葡萄酒大会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-54109-8/pbk;978-3-562-54110-4/电子书)。计算机科学课堂讲稿10123354-368(2016)。MSC公司:91A43型 91-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Freeman}等人,Lect。注释计算。科学。10123,354--368(2016;Zbl 1404.91052) 全文: 内政部 arXiv公司
阿米塔娃·穆克吉;尼蒂斯·穆霍帕德海伊;巴伦德拉·普凯 第二阶段抽样下的非参数部分随机序贯检验:监测水样砷污染的图示。 (英语) Zbl 1358.62065号 顺序分析。 35,第4号,465-488(2016).MSC公司:62升10 62G10型 62万 62页第12页 62-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Mukherjee}等人,《序贯分析》。35,第4号,465--488(2016;Zbl 1358.62065) 全文: 内政部
安德烈耶夫,S.V。;Bondarev,A.E。;Bondarenko,A.V.公司。;加拉克提诺夫。;Zheltov,S.Yu。;朱可夫,V.T。;伊洛维斯卡娅,E.B。;马努科夫斯基,K.V。;诺维科娃,北卡罗来纳州。;M.V.奥斯科夫。;费奥多里托娃,O.B。 复杂形状电厂的仿真与可视化。 (俄语。英文摘要) Zbl 1363.68207号 材料模型。 28,第9期,125-144(2016). 审核人:谢尔盖·乔治·朱拉夫列夫(莫斯科) MSC公司:68单位07 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Andreev}等人,材料模型。28,第9号,第125--144条(2016;Zbl 1363.68207) 全文: MNR公司
马克·巴蒂;阿拉斯泰尔·唐纳森。;约翰·维克森 检修C11和OpenCL中的SC原子。 (英语) Zbl 1347.68034号 Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。634-648 (2016).MSC公司:68甲15 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Batty}等人,摘自:第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20-22日。纽约州纽约市:计算机协会(ACM)。634--648(2016;Zbl 1347.68034) 全文: 内政部 arXiv公司 链接
乔治·克里斯托杜鲁;斯特凡诺·莱昂纳多;阿尔克米尼·斯古里萨 为贝叶斯游戏设计成本分担方法。 (英语) 兹比尔1403.91022 Gairing,Martin(编辑)等人,《算法博弈论》。2016年9月19-21日,第九届SAGT国际研讨会,英国利物浦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-53353-6/pbk;978-3-562-53354-3/电子书)。计算机科学讲义9928,327-339(2016)。MSC公司:91A10号 91A43型 91立方厘米32 91-04 PDF格式BibTeX公司 XML格式引用 \textit{G.Christodoulou}等人,Lect。注释计算。科学。9928,327--339(2016;Zbl 1403.91022) 全文: 内政部 链接
威廉·门登霍尔(William M.Mendenhall)。;特里·辛奇。 工程与科学统计。第6版。 (英语) 兹比尔1357.62003 佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4987-2885-0/hbk;978-1-4997-2887-4/电子书)。十五、1166页。(2016).MSC公司:62-01 00A06号 62-04 第60页 62号05 2005年第62季度 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Mendenhall}和\textit{T.L.Sincich},《工程与科学统计》。第6版。佛罗里达州博卡拉顿:CRC出版社(2016;Zbl 1357.62003) 全文: 链接
霍兰德·加斯曼;马骏;基普·马丁 分布式优化环境中选项和结果的通信协议。 (英语) Zbl 1342.90231号 数学。程序。计算。 8,第2期,161-189(2016).MSC公司:90C99号 65千5 49纳米99 68号01 PDF格式BibTeX公司 XML格式引用 \textit{H.Gassmann}等人,数学。程序。计算。8,第2号,161--189(2016;Zbl 1342.90231) 全文: 内政部
迈克尔·奥斯特瓦尔德。;约瑟芬·沃恩 建筑的分形维数。 (英语) Zbl 1365.00022号 数学与建筑环境1.巴塞尔:Birkhäuser/Springer(ISBN 978-3-319-32424-1/hbk;978-3-316-32426-5/电子书)。十七、423页。(2016). 审核人:马尔戈扎塔·马西尼亚克(法拉盛) MSC公司:00A67号 28A80型 65天18分 54-04 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Ostwald}和\textit{J.Vaughan},建筑的分形维数。巴塞尔:Birkhäuser/Springer(2016;Zbl 1365.00022) 全文: 内政部
托马斯·卢卡斯。;W.David Kelton;保罗·桑切斯。;苏珊·M·桑切斯。;本·安德森。 改变范式:模拟,现在是首选方法。 (英语) Zbl 1411.90007号 导航。Res.Logist公司。 62,第4期,293-303(2015).MSC公司:90-08年 PDF格式BibTeX公司 XML格式引用 \textit{T.W.Lucas}等人,海军。Res.Logist公司。62,第4号,293--303(2015;Zbl 1411.90007) 全文: 内政部
张子珍;毕殿杰 具有外部计算机影响的延迟计算机病毒模型中的分歧分析。 (英语) Zbl 1422.34135号 高级差异等式。 2015年,第317号论文,13页(2015).MSC公司:34C23型 68M10个 68英里11 68N99型 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}和\textit{D.Bi},高级差分方程。2015年,第317号论文,13页(2015;Zbl 1422.34135) 全文: 内政部
莱昂纳多·阿乔 基于logistic映射的离散时间混沌振荡器:一种安全通信方案和使用Arduino的简单实验。 (英语) Zbl 1395.93340号 J.富兰克林研究所。 352,第8期,3113-3121(2015).MSC公司:93C55美元 37D45号 68M10个 93-04 93磅40 PDF格式BibTeX公司 XML格式引用 \textit{L.Acho},J.Franklin Inst.352,编号8,3113-3121(2015;兹bl 1395.93340) 全文: 内政部 链接
金巴塔斯、兹杜纳斯;莱斯利·格林加德 计算软件:用于静电、慢粘性流和频域波传播的简单FMM库。 (英语) Zbl 1388.65003号 Commun公司。计算。物理学。 18,第2期,516-528(2015).MSC公司:65-04 65日元 65N99型 68单位05 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{Z.Gimbutas}和\textit{L.Greengard},Commun。计算。物理学。18,No.2,516--528(2015;Zbl 1388.65003) 全文: 内政部
奥德·帕顿;尼尔·伊梅尔曼;阿列克桑德·卡比雪夫;奥里·拉哈夫;穆利·萨吉夫;沙龙·肖姆 分散SDN政策。 (英语) Zbl 1346.68027号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录,2015年1月12日至18日,印度孟买,POPL’15。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3300-9)。663-676 (2015).MSC公司:68M10个 64岁以下 68平方米 68甲15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{O.Padon}等人,《第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》,POPL’15,印度孟买,2015年1月12-18日。纽约州纽约市:计算机协会(ACM)。663--676(2015;Zbl 1346.68027) 全文: 内政部
JoséDihego;奥古斯托·桑帕约 面向方面开发基于可信组件的系统。 (英语) 兹比尔1471.68058 Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9399, 425-444 (2015).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Dihego}和\textit{A.Sampaio},莱克特。注释计算。科学。9399、425--444(2015;Zbl 1471.68058) 全文: 内政部
艾米莉·丹尼斯。;拜伦·J·T·摩根。;马丁·里多特(Martin S.Ridout)。 (N)-混合物模型的计算方面。 (英语) Zbl 1419.62337号 生物计量学 71,第1期,237-246(2015).MSC公司:62页第10页 62-04 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Dennis}等人,《生物统计学》71,第1期,237--246(2015;Zbl 1419.62337) 全文: 内政部
傅,洪;王雪娇;琳娜·当;于建群 基于离散元法的输送机优化设计软件的开发。 (中文。英文摘要) Zbl 1340.68211号 J.东北规范。大学,自然科学。预计起飞时间。 47,第2号,58-63(2015).MSC公司:68单位07 PDF格式BibTeX公司 XML格式引用 \textit{H.Fu}等,《东北常模》。大学,自然科学。第47版,第2期,58--63(2015;Zbl 1340.68211) 全文: 内政部
Vu,Dieu-Houng先生;千叶,Yuki;肯罗·亚塔克;藤崎青木 检查Promela设计是否符合Event-B中的正式规范。 (英语) Zbl 1328.68131号 Artho,Cyrille(编辑)等人,《安全关键系统的正式技术》。第三次国际研讨会,FTSCS 2014,卢森堡,2014年11月6-7日。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-17580-5/pbk;978-3-316-17581-2/电子书)。计算机与信息科学通信476,110-126(2015)。MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.-H.Vu}等人,Commun。计算。信息科学。476110--126(2015年;Zbl 1328.68131) 全文: 内政部
美国联邦调查局安东。;多罗申科,A.E。;Beketov,A.G。;艾夫切夫,V.A。;E.A.Yatsenko。 基于算法代数的并行编程自动化软件工具。 (英语。俄文原件) Zbl 1327.68077号 赛博。系统。分析。 51,编号142-149(2015);翻译自Kibern。修女。分析。2015年第1期,第162-170页(2015年)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.I.Andon}等人,Cybern。系统。分析。51,No.1,142--149(2015;Zbl 1327.68077);翻译自Kibern。修女。分析。2015年第1期,162--170(2015) 全文: 内政部
波莱蒂,M.塞巴斯蒂安;马西米利亚诺·马蒂内利;尼古拉·卡瓦里尼;巴勃罗·安托林 免疫球蛋白:等几何分析库。 (英语) Zbl 1332.65196号 SIAM J.科学。计算。 37,第4号,C465-C496(2015).MSC公司:65日元 65D07年 65D17号 65N30型 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Pauletti}等人,SIAM J.Sci。计算。37,第4号,C465--C496(2015;Zbl 1332.65196) 全文: 内政部 链接
唐·巴托里;彼得·霍夫纳;多米尼克·科普;伯恩哈德·莫勒;安德烈亚斯·泽伦德 结构化文档代数正在发挥作用。 (英语) Zbl 1454.68023号 De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·威辛(Martin Wirsing)于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆:施普林格。莱克特。注释计算。科学。8950, 291-311 (2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Batory}等人,Lect。注释计算。科学。8950,291--311(2015;Zbl 1454.68023) 全文: 内政部 链接
约翰·劳森 用R。 (英语) Zbl 1403.62001号 查普曼和霍尔/CRC统计科学系列教材佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4398-6813-3/hbk;978-1-4987-2848-5/电子书)。xxiii,596页。(2015).MSC公司:62-01 62Kxx美元 62-04 62件 62-07 PDF格式BibTeX公司 XML格式引用 \textit{J.Lawson},R.Boca Raton实验的设计与分析,佛罗里达州:CRC出版社(2015;Zbl 1403.62001) 全文: 链接
苏门答腊州古哈 通过OpenGL的计算机图形。从理论到实验。第2版。 (英语) Zbl 1309.68001号 佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4822-5839-4/hbk)。xxxi,919页。(2015).MSC公司:68-01年 68单位05 68单位10 65D17号 65天18分 68-04 PDF格式BibTeX公司 XML格式引用 \textit{S.Guha},通过OpenGL的计算机图形。从理论到实验。第二版,佛罗里达州博卡拉顿:CRC出版社(2015;Zbl 1309.68001)
罗莎·阿博雷蒂·詹克里斯托法罗;Chiara Brombin公司 多元多样本问题基于非参数组合的置换测试概述。 (英语) Zbl 1453.62520号 统计学 74,第3期,233-246(2014).MSC公司:62H15型 62G10型 62J10型 62-04 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Giancristofaro}和\textit{C.Brombin},统计74,第3期,233--246(2014;Zbl 1453.62520) 全文: 内政部
骑士,克莱门特;维克托·皮奇尼;大卫·金斯堡 克里格投资公司:基于kriging的批处理顺序反演策略的高效且用户友好的实现。 (英语) 兹比尔1471.62043 计算。统计数据分析。 71, 1021-1034 (2014).MSC公司:62-08 62-04 62万 PDF格式BibTeX公司 XML格式引用 \textit{C.Chevalier}等人,计算。统计数据分析。711021--1034(2014;Zbl 1471.62043) 全文: 内政部
凯文·麦克唐纳;克里斯托弗·尼塔;马修·法伦斯;文卡特斯·阿凯拉 PDG-GEN:快速准确模拟片上网络的方法。 (英语) Zbl 1364.94011号 IEEE传输。计算。 63,第3期,650-663(2014).MSC公司:94-04 94C30个 PDF格式BibTeX公司 XML格式引用 \textit{K.Macdonald}等人,IEEE Trans。计算。63,第3号,650--663(2014;Zbl 1364.94011) 全文: 内政部
科尔·施莱辛格;迈克尔·格林伯格;大卫·沃克 并发NetCore:从策略到管道。 (英语) Zbl 1346.68064号 2014年9月1日至3日在瑞典哥德堡举行的第19届ACM SIGPLAN功能编程国际会议记录,ICFP’14。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2873-9)。11-24 (2014).MSC公司:68号30 68M10个 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{C.Schlesinger}等人,在:第19届ACM SIGPLAN功能编程国际会议论文集,ICFP'14,瑞典哥德堡,2014年9月1日至3日。纽约州纽约市:计算机协会(ACM)。11-24(2014;Zbl 1346.68064) 全文: 内政部
德克斯特·科赞 NetKAT–网络验证的正式系统。 (英语) Zbl 1453.68051号 雅克·加里格(编辑),《编程语言和系统》。第十二届亚洲研讨会,2014年APLAS,新加坡,新加坡,2014年11月17日至19日,会议记录。柏林:斯普林格。莱克特。注释计算。科学。8858, 1-18 (2014).MSC公司:68号30 68M10个 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen},莱克特。注释计算。科学。8858,1-18(2014;Zbl 1453.68051) 全文: 内政部
库林奇,A.A。 基于认知地图的态势分析和决策支持软件系统:方法和方法。 (英语。俄文原件) Zbl 1325.93020号 自动。远程控制 75,第7期,1337-1355(2014);Probl的翻译。向上。2011年,第4期,31-45(2011)。MSC公司:93A30型 93B30型 93亿B51 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Kulinich},自动。遥控器75,No.7,1337--1355(2014;Zbl 1325.93020);Probl的翻译。向上。2011年第4期,第31-45号(2011) 全文: 内政部