勒斯特姆·塔哈诺夫 混合VCSP与清晰且有价值的保守模板。 (英语) Zbl 1457.68130号 Okamoto,Yoshio(编辑)等人,第28届算法与计算国际研讨会,2017年国际会计准则理事会,2017年12月9日至12日,泰国普吉岛。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。92,第65条,第13页(2017年)。MSC公司:65年第68季度 08A02号 08A70号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Takhanov},LIPIcs——莱布尼茨国际程序。通知。92,第65条,第13页(2017年;兹bl 1457.68130) 全文: 内政部
菲克,克劳斯;威廉·哈特;汤米·霍夫曼;弗雷德里克·约翰逊 尼莫/赫克。Julia编程语言的计算机代数和数论包。 (英语) Zbl 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;Zbl 1457.68325) 全文: 内政部 arXiv公司
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Anna Ingólfsdóttir;约兰达奥尔特加购物中心 标称过程计算的规则格式。 (英语) Zbl 1442.68120号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。85,第10条,第16页(2017年)。MSC公司:68问题85 03B70号 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,LIPIcs——莱布尼茨国际程序。通知。85,第10条,第16页(2017年;Zbl 1442.68120) 全文: 内政部
胡安·阿莱多(Juan A.Aledo)。;路易斯·迪亚兹。;西尔维娅·马丁内斯;Jose C.Valverde。 关于计算序列系统的周期和平衡。 (英语) Zbl 1429.68167号 信息科学。 409-410, 27-34 (2017).MSC公司:68兰特 37B15号机组 37E15型 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Aledo}等人,《信息科学》。409--410、27-34(2017年;Zbl 1429.68167) 全文: 内政部
尤金尼奥·罗内斯·洛扎诺;加兰·加西亚,何塞·路易斯;加布里埃尔·阿奎列拉·维内加斯 用于生成个性化菜单的RBES原型。 (英语) Zbl 1426.68259号 申请。数学。计算。 315, 615-624 (2017).MSC公司:68层35 13页第10页 13第25页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}等人,应用。数学。计算。315615--624(2017;Zbl 1426.68259) 全文: 内政部
斯蒂法诺·比斯塔雷利;法比奥·马蒂内利;伊拉里亚·马特尤奇;弗朗西斯科·桑蒂尼 定量部分模型检验函数及其优化。 (英语) 兹比尔1403.68121 Eiter,Thomas(编辑)等人,LPAR-21。第21届编程逻辑、人工智能和推理国际会议,2017年5月8日至12日,博茨瓦纳莫恩。精选论文。曼彻斯特:EasyChair。EPiC计算系列46,319-337(2017)。MSC公司:60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人,EPiC Ser。计算。46、319--337(2017;Zbl 1403.68121) 全文: 内政部
艾哈迈特·宾达尔 计算机体系结构和设计基础。 (英语) Zbl 1409.68002号 查姆:施普林格(ISBN 978-3-319-25809-6/hbk;978-3-3169-25811-9/电子书)。xiv,533页。(2017). 审核人:Jozef Woźniak(哥丹斯克) MSC公司:68-01 2007年7月68日 68M10个 68个M12 68平方米 94C10美元 PDF格式BibTeX公司 XML格式引用 \textit{A.Bindal},计算机体系结构和设计基础。查姆:斯普林格(2017;Zbl 1409.68002) 全文: 内政部
列奥尼达斯·费加拉斯 分布式大数据分析的代数。 (英语) Zbl 1475.68327号 J.功能。程序。 27,论文编号:e27,47 p.(2017).MSC公司:68T09年 08A70号 64岁以下 第68页,共15页 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Fegaras},J.Funct。程序。27,论文编号e27,47 p.(2017;Zbl 1475.68327) 全文: 内政部
蒂埃里·达纳·皮卡德;大卫·泽顿(David G.Zeitoun)。 基于信息通信技术的参数积分研究框架。 (英语) 兹比尔1387.26004 数学。计算。科学。 11,编号3-4,285-296(2017).MSC公司:26A06号 26甲18 65岁99岁 PDF格式BibTeX公司 XML格式引用 \textit{T.Dana-Picard}和\textit{D.G.Zeitoun},数学。计算。科学。11,编号3--4,285--296(2017;Zbl 1387.26004) 全文: 内政部
尼古拉斯·比舍尔;马丁·弗兰兹;安德烈亚斯·霍尔泽;赫尔穆特·维思;斯特凡·卡岑贝塞尔 关于编译为安全多方计算优化的布尔电路。 (英语) Zbl 1386.68020号 形式方法系统。设计。 51,第2号,308-331(2017).MSC公司:64岁以下 68N20型 第68页第25页 94C10美元 PDF格式BibTeX公司 XML格式引用 \textit{N.Büscher}等人,《形式方法系统》。设计。51,No.2,308--331(2017;Zbl 1386.68020) 全文: 内政部
王世英;王振华;王木江山;韩伟平 \PMC模型和MM模型下星形图网络的(g)-好邻居条件可诊断性。 (英语) Zbl 1378.05194号 前面。数学。中国 12,第5期,1221-1234(2017).MSC公司:05C82号 05C25号 05C90年 68米15 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{S.Wang}等人,前面。数学。中国12,No.5,1221--1234(2017;Zbl 1378.05194) 全文: 内政部
斯莫尔卡,斯特芬;普拉文·库马尔;内特·福斯特;德克斯特·科赞;亚历山德拉·席尔瓦 Cantor与Scott相遇:概率网络的语义基础。 (英语) 兹比尔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公司
Yun、Jae Heon (mathrm{G}\ell)-PCG方法在图像去噪问题中的性能。 (英语) Zbl 1371.94447号 J.应用。数学。通知。 35,第3-4号,399-411(2017).MSC公司:94A08型 65层22 65层10 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Yun},J.Appl。数学。通知。35,编号3--4,399--411(2017;Zbl 1371.94447) 全文: 内政部
Park,Junkil公园;李因苏普;奥列格·索科尔斯基;黄大渊;安,Sojin;Choi,Jin-Young先生;康英业 一种用于分层实时系统可调度性分析和工作负载抽象的进程代数方法。 (英语) Zbl 1373.68162号 J.日志。阿尔盖布。方法计划。 92, 1-18 (2017).MSC公司:68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Park}等人,J.Log。阿尔盖布。方法计划。92、1-18(2017年;Zbl 1373.68162) 全文: 内政部 链接
A.卡拉维亚。 一种新的通用同志矩阵求逆的递归算法。 (英语) Zbl 1438.68298号 阿尔斯库姆。 130205-213(2017).MSC公司:68瓦30 15A09号 15A23型 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Karawia},Ars Comb。130、205-213(2017年;Zbl 1438.68298) 全文: arXiv公司
洛佩斯·冈萨雷斯,盖霍娃;南希·阿拉纳·德尼尔;爱德华多·巴罗·科洛查诺 使用高斯核的并行Clifford支持向量机。 (英语) Zbl 1407.68405号 高级申请。克利夫德·阿尔盖布(Clifford Algebr)。 27,第1期,647-660(2017).MSC公司:68T05型 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{G.López-González}等人,高级应用程序。克利夫德·阿尔盖布(Clifford Algebr)。27,第1号,647--660(2017;Zbl 1407.68405) 全文: 内政部
张宇农;丁亚琼;邱彬彬;张银燕;李晓东 符号函数阵列激活ZNN,电路实现更容易,线性系统求解的有限时间收敛。 (英语) Zbl 06729689号 信息处理。莱特。 124, 30-34 (2017).MSC公司:65传真 65年xx月 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,《信息处理》。莱特。124、30--34(2017;Zbl 06729689) 全文: 内政部
王,木江山;郭玉宝;王世英 在PMC模型和\(\mathrm{MM}^\ast\)模型下,由换位树生成的Cayley图的1-好邻居可诊断性。 (英语) Zbl 1362.05062号 国际期刊计算。数学。 94,第3号,620-631(2017).MSC公司:05C25号 05C70号 94C15号机组 68米15 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}等人,《国际计算杂志》。数学。94,第3号,620--631(2017;Zbl 1362.05062) 全文: 内政部
丹尼·罗拉博;克劳德·塔迪夫;大卫·威鲁 逻辑紧性和约束满足问题。 (英语) Zbl 1448.03020号 日志。方法计算。科学。 13,第1期,第1号论文,第11页(2017年).MSC公司:03C07号机组 03元50分 03E05号 03E65年 08A02号 08A70号 19年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Rorabaugh}等人,日志。方法计算。科学。13,1号,1号论文,11页(2017;Zbl 1448.03020) 全文: 内政部 arXiv公司
Rosemary A.Renaut。;塞义德·瓦坦卡;瓦希德·阿德斯塔尼(Vahid E.Ardestani)。 通过预测系统的无偏预测风险和加权GCV进行混合和迭代重加权正则化。 (英语) Zbl 1360.65115号 SIAM J.科学。计算。 39,第2号,B221-B243(2017).MSC公司:65层22 65层10 65D18天 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Renaut}等人,SIAM J.Sci。计算。39,第2号,B221--B243(2017;Zbl 1360.65115) 全文: 内政部 arXiv公司
白、钟梓;亚历山德罗·布奇尼;肯·哈亚米;洛塔尔·雷切尔;尹俊峰;郑宁 用于约束Tikhonov正则化的基于模的迭代方法。 (英语) Zbl 1360.65112号 J.计算。申请。数学。 319, 1-13 (2017).MSC公司:65层22 65层10 65D18天 65K10码 90C20个 PDF格式BibTeX公司 XML格式引用 \textit{Z.-Z.Bai}等人,《计算杂志》。申请。数学。319,1-13(2017;Zbl 1360.65112) 全文: 内政部 链接
哈米德·莫赫塔尔;周三明 环的递归立方体作为互连网络的模型。 (英语) Zbl 1358.05265号 离散应用程序。数学。 217,第3部分,639-662(2017).MSC公司:05C82号 05C38号 05C12号 05C25号 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{H.Mokhtar}和\textit{S.Zhou},离散应用。数学。217,第3部分,639--662(2017;Zbl 1358.05265) 全文: 内政部 arXiv公司
亚历山大·本诺特;米奥拉乔尔德什;马克·梅扎罗巴 使用Chebyshev展开的D有限函数的严格一致逼近。 (英语) Zbl 1361.65045号 数学。计算。 86,编号305,1303-1341(2017).MSC公司:65升05 34A30型 65升70 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{A.Benoit}等人,《数学》。计算。86、第305、1303--1341号(2017;Zbl 1361.65045) 全文: 内政部 arXiv公司
小精灵,汤米;汉森,Per Christian;图拉吉·尼卡扎德 勘误表:“图像重建中柱状作用方法的收敛性分析”。 (英语) Zbl 1416.65564号 数字。算法 74,第3期,925-925(2017).MSC公司:65兰特 65层10 65层22 44甲12 65兰特 92 C55 65D18天 PDF格式BibTeX公司 XML格式引用 \textit{T.Elfving}等人,编号。算法74,No.3,925--925(2017;Zbl 1416.65564) 全文: 内政部
小精灵,汤米;汉森,Per Christian;图拉吉·尼卡扎德 图像重建中柱状作用方法的收敛性分析。 (英语) Zbl 1366.65116号 数字。算法 74,第3期,905-924(2017); 勘误表同上,74,No.3,925(2017)。 审核人:Mikhail Yu。科库林(约什卡·奥拉) MSC公司:65兰特 65层10 65层22 44甲12 65兰特 92 C55 65D18天 PDF格式BibTeX公司 XML格式引用 \textit{T.Elfving}等人,数字。算法74,No.3,905--924(2017;Zbl 1366.65116) 全文: 内政部 链接
潘菲罗夫,A.A。 线性微分系统中的选定未知项和卫星未知项。 (英语) Zbl 1357.34027号 高级申请。数学。 85, 1-11 (2017).MSC公司:34A30型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Panferov},高级应用程序。数学。85,1--11(2017;Zbl 1357.34027) 全文: 内政部
萨拉·索塔尼;Andersen,Martin S.安徒生。;汉森,Per Christian 使用训练图像重建层析图像。 (英语) Zbl 1353.65017号 J.计算。申请。数学。 313, 243-258 (2017).MSC公司:65D18天 94A08型 65层22 92 C55 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Soltani}等人,J.Compute。申请。数学。313243-258(2017;Zbl 1353.65017) 全文: 内政部 arXiv公司
蒙策尔,萨米哈;伊森Yengui 包含无限域的环的Suslin引理。 (英语) Zbl 1365.13046号 集体数学。 146,第1期,111-122(2017). 审核人:约翰·佩里(哈蒂斯堡) MSC公司:13页第10页 第13页,共15页 2014年第20季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Monceur}和\textit{I.Yengui},大学数学。146,编号1,111-122(2017;Zbl 1365.13046) 全文: 内政部