彼得·希金斯(Peter M.Higgins)。 骑自行车旅行者的问题。 (英语) Zbl 07765700号 J.库姆。 第15期,第1期,第105-134页(2024年).MSC公司:68兰特 05B20号 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.M.希金斯},J.库姆。15,编号1,105--134(2024;Zbl 07765700) 全文: 内政部 arXiv公司
莱奥·贝尔齐尔。;克里斯托夫·杜唐;保罗·J·诺斯罗普。;托马斯·奥皮茨 极端价值软件建模指南。 (英语) Zbl 07784959号 极端 26,第4号,595-638(2023).MSC公司:62埃克斯 PDF格式BibTeX公司 XML格式引用 \textit{L.R.Belzile}等人,Extremes 26,No.4,595--638(2023;Zbl 07784959) 全文: 内政部 arXiv公司 哈尔
布赫伯格,布鲁诺 自动化编程、符号计算、机器学习:我的个人观点。 (英语) Zbl 07759319号 安。数学。Artif公司。智力。 91,第5号,569-589(2023).MSC公司:68号01 68T05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{B.Buchberger},Ann.数学。Artif公司。智力。91,编号5,569--589(2023;Zbl 07759319) 全文: 内政部 OA许可证
卢宾,迈尔斯;奥斯卡·道森;乔阿金·迪亚斯·加西亚;乔伊·休切特;贝诺·莱加特;胡安·巴勃罗·维尔玛 JuMP 1.0:用于数学优化的建模语言的最新改进。 (英语) 兹伯利07735741 数学。程序。计算。 第15期,第3期,581-589页(2023年). 审核人:安布罗斯·格莱克斯纳(柏林) MSC公司:90-04 90-01 90-10 PDF格式BibTeX公司 XML格式引用 \textit{M.Lubin}等人,数学。程序。计算。15,编号3,581--589(2023;Zbl 07735741) 全文: 内政部 arXiv公司
山口,Masaomi;松田和川;克里斯蒂娜·大卫;王蒙 同步位:使用单向草图合成双向程序。 (英语) Zbl 07815089号 表格方法系统。设计。 61,编号2-3,198-247(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Yamaguchi}等人,《形式方法系统》。设计。61,编号2--3,198--247(2022;Zbl 07815089) 全文: 内政部 arXiv公司 OA许可证
安居州坎德瓦尔;Suneet Saxena公司;阿瓦尼什·库马尔 利用R。 (英语) Zbl 07788665号 杰纳纳巴赫 52,编号2,58-67(2022).MSC公司:90-04 90-05 90C08型 90摄氏度70 PDF格式BibTeX公司 XML格式引用 \textit{A.Khandelwal}等人,Jñānābha 52,第2号,58-67(2022;Zbl 07788665) 全文: 内政部
德鲁瓦省彭达尔卡;金加尔巴苏;法哈德·沙克林;戈帕尔·古普塔 基于ASP的文本自然语言问题解答方法。 (英语) Zbl 1530.68258号 理论与实践。日志。程序。 22,第3期,419-443(2022).MSC公司:68T50型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Pendharkar}等人,《理论与实践》。日志。程序。22,第3号,419--443(2022;Zbl 1530.68258) 全文: 内政部 arXiv公司
贝拉·阿南达姆(Vela Anandam,Preethi);Alagarsamy、Shunmugalatha;巴布拉尔·奇图·库普萨米 考虑实时不确定性的电力系统无功管理最优控制方法。 (英语) Zbl 07754133号 最佳方案。控制应用程序。方法 43,第4期,1283-1311(2022).MSC公司:93立方厘米 49纳米90 PDF格式BibTeX公司 XML格式引用 \textit{P.Vela Anandam}等人,Optim。控制应用程序。方法43,No.4,1283--1311(2022;Zbl 07754133) 全文: 内政部
格雷戈里·莫尔斯;米迪亚·阿尔卡拉达吉;塔马斯·科兹克 使用不可简化的循环和自修改代码控制流混淆。 (英语) Zbl 1524.68099号 出版物。数学。碎片。 100,补遗,617-637(2022).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Morse}等人,出版。数学。碎片。100617--637(2022年;Zbl 1524.68099) 全文: 内政部
克莱门斯·海辛格 JULIA的算法。使用JULIA语言进行优化、机器学习和微分方程。 (英语) Zbl 1512.90003号 查姆:施普林格(ISBN 978-3-031-16559-7/hbk;978-3-0.31-16562-7/pbk;988-3-031-16560-3/电子书)。xxi,439页。(2022). 审核人:赛义德·伊纳亚图拉(卡拉奇) MSC公司:90-04 68-01 34-01 35-01 34-04 35-04 PDF格式BibTeX公司 XML格式引用 \textit{C.Heitzinger},JULIA算法。使用JULIA语言进行优化、机器学习和微分方程。查姆:施普林格(2022;Zbl 1512.90003) 全文: 内政部
马丁·贝尔;米凯尔·约翰逊 Julia中的高效随机规划。 (英语) Zbl 07587547号 信息J.计算。 34,第4期,1885-1902(2022).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.贝尔}和\textit{M.Johansson},《信息与计算》。34,第4号,1885-1902(2022;Zbl 07587547) 全文: 内政部 arXiv公司
马丁·德·波尔;斯蒂恩·德古乌;乔纳斯·克拉姆罗斯;基督教荣格;马蒂亚斯·乌尔布里奇;亚历山大·维格尔 JDK身份散列映射实现的正式规范和验证。 (英语) Zbl 1502.68054号 ter Beek,Maurice H.(编辑)等,《综合形式方法》。2022年6月7日至10日,第17届国际会议,IFM 2022,瑞士卢加诺。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13274, 45-62 (2022).MSC公司:68甲15 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.de Boer}等人,Lect。注释计算。科学。13274,45-62(2022;Zbl 1502.68054) 全文: 内政部 链接
Michikazu Hirata;Minamide、Yasuhiko;佐藤,铁杉 Isabelle/HOL中高阶概率程序的程序逻辑。 (英语) Zbl 07570114号 Hanus,Michael(编辑)等人,《函数和逻辑编程》。第16届国际研讨会,FLOPS 2022,日本京都,2022年5月10日至12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13215, 57-74 (2022).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Hirata}等人,Lect。注释计算。科学。13215,57-74(2022;Zbl 07570114) 全文: 内政部
安德烈·萨夫琴科。;弗拉基米尔·萨维琴科。;Lyudmila V.萨维奇科。 用于发音训练的增益优化频谱失真。 (英语) Zbl 1497.90198号 最佳方案。莱特。 16,编号7,2095-2113(2022).MSC公司:90立方 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Savchenko}等人,Optim。莱特。16,编号7,2095--2113(2022;Zbl 1497.90198) 全文: 内政部
马科托·哈马纳 二阶计算规则的模终止及其在代数效应处理程序中的应用。 (英语) Zbl 07566074号 日志。方法计算。科学。 18,第2号,第18号论文,33页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Hamana},日志。方法计算。科学。18,第2号,第18号论文,33页(2022;Zbl 07566074) 全文: arXiv公司 链接
贝诺·莱加特;奥斯卡·道森;乔阿金·迪亚斯·加西亚;卢宾,迈尔斯 MathOptInterface:用于数学优化问题的数据结构。 (英语) Zbl 07551204号 信息J.计算。 34,第2号,672-689(2022).MSC公司:90倍X PDF格式BibTeX公司 XML格式引用 \textit{B.Legat}等人,《信息与计算》。34,第2号,672--689(2022;Zbl 07551204) 全文: 内政部 arXiv公司
艾琳娜·莫瑞卡;拉丁·托菲吉(Ramtine Tofighi Shirazi);阿德里安·里斯科;上村雅史 通过重写逻辑检测硬件特洛伊木马。 (英语) Zbl 07531438号 J.日志。阿尔盖布。方法计划。 127,文章ID 100762,19 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.M.Asvoae}等人,J.Log。阿尔盖布。方法计划。127,文章ID 100762,19 p.(2022;Zbl 07531438) 全文: 内政部
谢瑞峰;胡镇江 一般递归透镜组合器及其计算法则。 (英语) Zbl 1499.68071号 西奥。计算。科学。 913, 113-137 (2022).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Xie}和\textit{Z.Hu},Theor。计算。科学。913113-137(2022年;Zbl 1499.68071) 全文: 内政部
乔苏埃·穆拉托雷;捷克施耐德 Atiyah Bott公式的有效计算。 (英语) Zbl 1487.14115号 J.塞姆。计算。 112, 164-181 (2022). 审核人:Vehbi Emrah Paksoy(劳德代尔堡) MSC公司:14N10号 2014年第25季度 14号35 14二氧化碳 14-04 第53页第12页 PDF格式BibTeX公司 XML格式引用 \textit{G.Muratore}和\textit{C.Schneider},J.Symb。计算。112164-181(2022年;Zbl 1487.14115) 全文: 内政部 arXiv公司
劳伦·伯克·惠洛克;Dessislava A.帕查马诺娃。 可接受的集合主题建模。 (英语) Zbl 1490.68179号 欧洲药典。物件。 299,第2号,653-673(2022).MSC公司:68T05型 68T50型 90立方厘米 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{L.Berk Wheelock}和\textit{D.A.Pachamanova},欧洲期刊Oper。第299号决议,第2号,653--673(2022年;Zbl 1490.68179) 全文: 内政部
阿霍,阿尔弗雷德五世。 编程语言和编译器设计中的计算思维。 (英语) Zbl 07765137号 Khuller,Samir(编辑)等人,第53届ACM SIGACT计算理论年度研讨会论文集,STOC’21,虚拟,意大利,2021年6月21日至25日。纽约州纽约市:计算机协会(ACM)。1 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.V.Aho},in:第53届ACM SIGACT计算理论研讨会论文集,STOC’21,虚拟,意大利,2021年6月21-25日。纽约州纽约市:计算机协会(ACM)。1(2021;Zbl 07765137) 全文: 内政部
Titus H.克林格。;詹姆斯·拉思罗普。;彼得·迈克尔·奥塞拉;艾莉森·罗杰斯 Reactamole:功能性反应分子编程。 (英语) Zbl 07741401号 Lakin,Matthew R.(编辑)等人,第27届DNA计算和分子编程国际会议。DNA 27,英国牛津(虚拟会议),2021年9月13日至16日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。205,第10条,第20页(2021年)。MSC公司:2007年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.H.Klinge}等人,LIPIcs——莱布尼茨国际程序。通知。205,第10条,第20页(2021;Zbl 07741401) 全文: 内政部
迪维亚·巴贾杰;马丁·埃尔维格;丹尼尔·费多林;盖伊,凯 适用于程序解释的跟踪。 (英语) 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) 全文: 内政部
de Nivelle,H。 递归定义子类型的递归包含检查器。 (英语) Zbl 1517.68067号 模型。分析。Inf.姐妹。 28,第4号,414-433(2021).MSC公司:68甲15 68N20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.de Nivelle},模型。分析。Inf.姐妹。28,编号414-433(2021;兹bl 1517.68067) 全文: 内政部 MNR公司
T·巴尔。;H.舒尔特。 关于使用KeYmaeraX证明稳定性的最新成就的说明。 (英语) Zbl 1517.68406号 模型。分析。Inf.姐妹。 28,第4号,326-336(2021).MSC公司:68伏15 93立方 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{T.Baar}和\textit{H.Schulte},模型。分析。Inf.姐妹。28,编号4,326--336(2021;Zbl 1517.68406) 全文: 内政部 MNR公司
延斯·Dörpinghaus;卡斯滕·杜宁;维拉·韦尔 利用具有多个约束的最小集覆盖结构在大型文献数据库中进行知识发现。 (英语) Zbl 1497.68150号 Fidanova,Stefka(编辑),计算优化的最新进展。2019年9月1日至4日在德国莱比锡举行的第十二届计算优化国际研讨会(WCO)的成果。查姆:斯普林格。螺柱计算。智力。920, 49-69 (2021).MSC公司:第68页,共15页 68T50型 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{J.Dörpinghaus}等人,Stud.Comput。智力。920、49-69(2021年;Zbl 1497.68150) 全文: 内政部
吕云龙;高,王;马思奇;孙启斌;李娟如 松雀鹰:通过数据驱动的源代码注释进行内存安全缺陷检测。 (英语) Zbl 1490.68081号 Yu,Yu(编辑)等人,《信息安全与密码学》。第17届国际会议,Insicrypt 2021,虚拟活动,2021年8月12日至14日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13007, 129-148 (2021).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lyu}等人,Lect。注释计算。科学。13007,129--148(2021;Zbl 1490.68081) 全文: 内政部
伊尔金,I.A。;沃龙佐夫,K.V。 主题模型加性正则化算法的收敛性。 (英语。俄文原件) Zbl 07466408号 程序。Steklov Inst.数学。 315,补遗1,S128-S139(2021);翻译自Tr.Inst.Mat.Mekh。(叶卡捷琳堡)26,第3期,第56-68页(2020年)。MSC公司:68T50型 68T05型 68单位15 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Irkhin}和\textit{K.V.Vorontsov},程序。Steklov Inst.数学。315,S128--S139(2021;Zbl 07466408);翻译自Tr.Inst.Mat.Mekh。(叶卡捷琳堡)第26期,第3期,第56-68期(2020年) 全文: 内政部
胡安·德·拉腊;埃丝特·格拉 多层次模型产品线的语言家族工程。 (英语) Zbl 1522.68148号 正式Asp。计算。 第6期第33页,1173-1208页(2021).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.de Lara}和\textit{E.Guerra},正式Asp。计算。33,编号6,1173--1208(2021;Zbl 1522.68148) 全文: 内政部
尼古拉斯·希彭;尤利亚·利勒 在答案集语义下估计逻辑程序的基础大小。 (英语) Zbl 07437051号 Faber,Wolfgang(编辑)等人,《人工智能中的逻辑》。第17届欧洲会议,JELIA 2021,虚拟活动,2021年5月17日至20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12678, 346-361 (2021).MSC公司:第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{N.Hippen}和\textit{Y.Lierler},莱克特。注释计算。科学。12678346-361(2021年;兹bl 07437051) 全文: 内政部
横山,铁雄;Tomoo横山 具有几个异宿轨道的一般哈密顿流的完整过渡图。 (英语) 兹比尔1475.90121 离散数学。算法应用。 13,第2号,文章ID 2150023,第32页(2021).MSC公司:90立方厘米 37E35型 76B47码 PDF格式BibTeX公司 XML格式引用 \textit{T.Yokoyama}和\textit{T.Yokoyana},离散数学。算法应用。13,第2号,文章ID 2150023,32 p.(2021;Zbl 1475.90121) 全文: 内政部
伊拜·罗曼;桑塔纳,罗伯托;亚历山大·门迪布鲁;何塞·A·洛扎诺。 用于机器翻译编辑后工作量估计的高斯过程核的演化。 (英语) Zbl 07420370号 安。数学。Artif公司。智力。 89,编号8-9,835-856(2021).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{I.Roman}等人,《数学年鉴》。Artif公司。智力。89,编号8--9,835--856(2021;Zbl 07420370) 全文: 内政部
威尔默·里奇奥蒂;詹姆斯·切尼 查询起重。异构嵌套集合的语言集成查询。 (英语) Zbl 1473.68067号 Yoshida,Nobuko(编辑),《编程语言和系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12648, 579-606 (2021).MSC公司:第68页,共15页 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.里奇奥蒂}和\textit{J.切尼},莱克特。注释计算。科学。12648579-606(2021年;Zbl 1473.68067) 全文: 内政部 arXiv公司
廖明杰;王浩雷;张磊 Julia语言在材料模拟中的应用。 (中文。英文摘要) 兹比尔1488.68017 J.数字。方法计算。申请。 42,编号1,71-79(2021).MSC公司:68甲15 65日元 65Z05个 82立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Liao}等人,J.Numer。方法计算。申请。42,第1号,71-79(2021年;兹bl 1488.68017) 全文: 内政部
王毅;Lee,Joohyng先生 通过概率动作语言(p\mathcal{BC}+\)的决策论扩展,阐述了马尔可夫决策过程的容错表示。 (英语) Zbl 1522.68117号 理论与实践。日志。程序。 21,第3期,348-371(2021).MSC公司:68N17号 68T20型 第68页第27页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}和\textit{J.Lee},理论与实践。日志。程序。21,第3号,348--371(2021;Zbl 1522.68117) 全文: 内政部 arXiv公司
谢尔盖·库加林;谢尔盖·博尔祖诺夫 代数和几何与Python。 (英语) 1480.00002赞比亚比索 查姆:施普林格(ISBN 978-3-030-61540-6/hbk;978-3-0.30-61543-7/pbk;978-1-3030-61541-3/电子书)。十六、425页。(2021). 审核人:帕纳伊奥蒂斯·弗拉莫斯(Kérkyra) MSC公司:00-01 15-01 00A06号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kurgalin}和\textit{S.Borzunov},代数和几何与Python。查姆:施普林格(2021;Zbl 1480.00002) 全文: 内政部
维基尔·夸克;史勇;李成少 会计和金融环境中的数据挖掘应用程序。 (英语) Zbl 1452.91322号 Lee,Cheng Few(编辑)等人,《金融计量经济学、数学、统计学和机器学习手册》。第1卷。新泽西州哈肯萨克:《世界科学》。823-857 (2021).MSC公司:91克45 62P05号 62兰特 PDF格式BibTeX公司 XML格式引用 \textit{W.Kwak}等人,《金融计量经济学、数学、统计学和机器学习手册》。第1卷。新泽西州哈肯萨克:《世界科学》。823--857(2021;Zbl 1452.91322) 全文: 内政部
阿梅尔·哈姆扎·汗;曹新伟;李帅 复杂系统中的管理和智能决策:一种优化驱动的方法。 (英语) Zbl 1468.90002号 新加坡:Springer(ISBN 978-981-15-9391-8/pbk;978-981-5-9392-5/电子书)。xi,第83页。(2021). 审核人:彼得·基什卡(耶拿) MSC公司:90-02 90-10 90磅50英寸 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Khan}等人,《复杂系统中的管理和智能决策:优化驱动方法》。新加坡:施普林格(2021;Zbl 1468.90002) 全文: 内政部
Gálvez Ramírez,尼古拉斯;埃里克·蒙弗罗伊;沙特,弗雷德里克;卡洛斯·卡斯特罗 通过学习改进复杂的SMT策略。 (英语) Zbl 07767429号 国际事务处理。操作。物件。 27,第2期,1162-1188(2020).MSC公司:90倍X PDF格式BibTeX公司 XML格式引用 \textit{N.Gálvez Ramírez}等人,国际翻译。操作。第27号决议,第2号,1162--1188(2020;Zbl 07767429) 全文: 内政部
Jean-Pierre杜绍尔 无约束优化中信任区域类型算法的统一高效实现。 (英语) Zbl 1509.90195号 信息:信息系统。操作。物件。 58,第2期,290-309(2020年).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Dussault},信息:信息系统。操作。第58号决议,第2号,290--309(2020;Zbl 1509.90195) 全文: 内政部
金加尔巴苏;瓦拉纳西,萨拉特·钱德拉;法哈德·沙克林;戈帕尔·古普塔 SkuARE:基于语义的问答和推理引擎。 (英语) Zbl 07455707号 Ricca,Francesco(ed.)等人,《第36届逻辑编程(技术通信)国际会议论文集》,ICLP 2020,UNICAL,Rende(CS),意大利,2020年9月18日至24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32573-86(2020年)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{K.Basu}等人,《电子》。程序。西奥。计算。科学。(EPTCS)325、73--86(2020;Zbl 07455707) 全文: arXiv公司 链接
奥尔加·特维雷蒂纳;巴维尔·扎伊琴科夫;亚历克斯·沙法伦科 通过约束满足实现组件接口的非局部配置。 (英语) Zbl 1508.68404号 约束条件 25,编号3-4,121-159(2020).MSC公司:68单位35 68甲15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Tveretina}等人,《限制条件》25,No.3--4,121-159(2020;Zbl 1508.68404) 全文: 内政部 arXiv公司
弗朗西斯科·卡利默里;沃尔夫冈·费伯;马丁·格布瑟;乔瓦姆巴蒂斯塔·伊安尼;罗兰·卡明斯基;托马斯·克伦瓦尔纳;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡;托尔斯滕·绍布 ASP-Core-2输入语言格式。 (英语) Zbl 1472.68180号 理论与实践。日志。程序。 20,第2期,294-309(2020).MSC公司:68T20型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Calimeri}等人,《理论与实践》。日志。程序。20,第2号,294--309(2020;Zbl 1472.68180) 全文: 内政部 arXiv公司
吴,韩;王俊武;刘森;杨廷友 基于语言直觉模糊集和TOPSIS的地铁车站工程内涝灾害应急预案决策研究。 (英语) Zbl 1467.90012号 数学。Biosci公司。工程师。 17,第5期,4825-4851(2020年).MSC公司:90磅50英寸 90C08型 90摄氏度70 PDF格式BibTeX公司 XML格式引用 \textit{H.Wu}等人,数学。Biosci公司。工程17,编号5,4825--4851(2020;Zbl 1467.90012) 全文: 内政部
朱利安·麦凯;亚历克斯·波坦;乔纳森·奥尔德里奇;格罗夫斯,林赛 语法上限制可判定子类型的有界多态性。 (英语) Zbl 1476.68041号 Oliveira,Bruno C.d.S.(编辑),《编程语言和系统》。2020年11月30日至12月2日,日本福冈,APLAS 2020第18届亚洲研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12470, 125-144 (2020).MSC公司:68甲15 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Mackay}等人,Lect。注释计算。科学。12470125-144(2020年;Zbl 1476.68041) 全文: 内政部
de Souza Amorim,路易斯·爱德华多;埃尔科·维瑟 SDF3的多用途语法定义。 (英语) Zbl 1476.68040号 de Boer,Frank(编辑)等人,《软件工程和形式化方法》。第18届国际会议,SEFM 2020,荷兰阿姆斯特丹,2020年9月14-18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12310, 1-23 (2020).MSC公司:68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.E.de Souza Amorim}和\textit{E.Visser},Lect。注释计算。科学。12310,1--23(2020年;Zbl 1476.68040) 全文: 内政部
本杰明·穆拉德;Cimini,马泰奥 系统描述:lang-n-change–转换语言的工具。 (英语) Zbl 07368092号 Nakano,Keisuke(编辑)等人,《功能和逻辑编程》。第15届国际研讨会,FLOPS 2020,日本秋田,2020年9月14日至16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12073, 198-214 (2020).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Mourad}和\textit{M.Cimini},莱克特。注释计算。科学。12073,198--214(2020;Zbl 07368092) 全文: 内政部
鲁伊·大仓;Yukiyoshi Kameyama 具有嵌套数据结构和分组的语言集成查询。 (英语) Zbl 07368089号 Nakano,Keisuke(编辑)等人,《功能和逻辑编程》。第15届国际研讨会,FLOPS 2020,日本秋田,2020年9月14日至16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12073, 139-158 (2020).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Okura}和\textit{Y.Kameyama},Lect。注释计算。科学。12073、139--158(2020;Zbl 07368089) 全文: 内政部
Cimini,马泰奥 高阶逻辑编程在面向语言编程中的有效性。 (英语) Zbl 07368087号 Nakano,Keisuke(编辑)等人,《功能和逻辑编程》。第15届国际研讨会,FLOPS 2020,日本秋田,2020年9月14日至16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12073, 106-123 (2020).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Cimini},莱克特。注释计算。科学。12073、106-123(2020;Zbl 07368087) 全文: 内政部
高、开封;梅,刚;弗朗西斯科·皮夏利;萨尔瓦多科莫;屠敬之;泽南·霍 机器学习中的Julia语言:算法、应用程序和开放问题。 (英语) Zbl 1478.68285号 计算。科学。版次。 37,文章ID 100254,12 p.(2020).MSC公司:68T05型 68甲15 68T07型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Gao}等人,计算。科学。第37版,文章ID 100254,12页(2020;Zbl 1478.68285) 全文: 内政部 arXiv公司
Kerr,凯瑟琳;霍尔,特里;保拉·卡罗尔;雅库布·马雷切克 时间关系分类器的整数编程集成。 (英语) Zbl 1458.68261号 数据最小知识。迪斯科。 34,第2期,533-562(2020).MSC公司:68T50型 62H30型 68T05型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Kerr}等人,《数据最小知识》。迪斯科。34,第2号,533--562(2020;Zbl 1458.68261) 全文: 内政部 arXiv公司 链接
龚梦晓;谢惠阳 基于拓扑空间的C串函数的弱点分析。 (中文。英文摘要) Zbl 1463.68014号 合肥工业大学。,自然科学。 43,第1期,第52-56页(2020年).MSC公司:68甲15 54A05型 54二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{M.龚}和\textit{H.谢},J.合肥工业大学。,自然科学。43,编号1,52-56(2020;Zbl 1463.68014)
盛,冯;朱慧彪;何继峰;杨宗元;乔纳森·鲍文(Jonathan P.Bowen)。 基于UTP的MDESL指称语义的理论和实践方法。 (英语) Zbl 1458.68041号 正式Asp。计算。 32,编号2-3,275-314(2020).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Sheng}等人,正式Asp。计算。32,编号2--3,275--314(2020;Zbl 1458.68041) 全文: 内政部
杰克·J·加泽拉。;马雷克·巴拉诺夫斯基;何绍波;茨沃尼米尔·拉卡马里奇 利用编译器中间表示进行多语言和跨语言验证。 (英语) Zbl 1451.68071号 Beyer,Dirk(编辑)等人,《验证、模型检查和抽象解释》。第21届国际会议,VMCAI 2020,美国洛杉矶新奥尔良,2020年1月16-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11990, 90-111 (2020).MSC公司:68N20型 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Garzella}等人,Lect。注释计算。科学。11990,90-111(2020年;兹bl 1451.68071) 全文: 内政部
约瑟夫·巴伯;Lee,Joohyng先生 动作语言\(\mathcal{BC}+\)。 (英语) Zbl 1487.68236号 J.日志。计算。 30,第4期,899-922(2020).MSC公司:68T50型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Babb}和\textit{J.Lee},J.Log。计算。30,第4号,899--922(2020;Zbl 1487.68236) 全文: 内政部
亚历克桑德·沙雷夫 有限群的\(\西格玛\)-局部形成的格的定律。 (英语) Zbl 1481.20060号 梅迪特尔。数学杂志。 17,第3号,第75号论文,第13页(2020年).MSC公司:20日第10天 20日第15天 20日20时 20天30分 20立方米 第68季度第70季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Tsarev},梅迪特尔。数学杂志。17,第3号,第75号论文,13页(2020;Zbl 1481.20060) 全文: 内政部
库卡斯·扎伊卡 对共性类型的操作性解释。 (英语) Zbl 1528.68061号 日志。方法计算。科学。 16,第1号,第11号论文,49页(2020年).MSC公司:68甲18 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Ł.Czajka},日志。方法计算。科学。16,第1号,第11号论文,49页(2020年;Zbl 1528.68061) 全文: arXiv公司
弗雷德里克·奎斯内尔;盖伊,德索尼尔斯;弗朗索瓦·索米斯 针对语言约束的船员配对问题的分支和价格启发式算法。 (英语) Zbl 1441.90067号 欧洲药典。物件。 283,第3期,1040-1054(2020).MSC公司:90B35型 90B90型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{F.Quesnel}等人,《欧洲药典》。第283号决议,第3号,1040--1054(2020;Zbl 1441.90067) 全文: 内政部
王蒙;田聪;张楠;段振华;姚晨光 将Xd-C程序转换为MSVL程序。 (英语) Zbl 1436.68077号 西奥。计算。科学。 809, 430-465 (2020).MSC公司:68甲15 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}等人,Theor。计算。科学。809430-465(2020年;Zbl 1436.68077) 全文: 内政部 arXiv公司
阿莱西亚·安特尔米;Gennaro Cordasco公司;博古米卡米恩斯基;Pra at,Pawe;维托里奥·斯卡拉诺;卡明·斯帕格诺洛;普尔泽米斯劳·苏菲尔 SimpleHypergraphs.jl——超图建模和分析的新型软件框架。 (英语) Zbl 07805861号 Avrachenkov,Konstantin(编辑)等人,网络图的算法和模型。2019年7月6日至7日,澳大利亚昆士兰州布里斯班WAW 2019第16届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11631, 115-129 (2019).MSC公司:05-04 05C65号 PDF格式BibTeX公司 XML格式引用 \textit{A.Antelmi}等人,Lect。注释计算。科学。11631、115-129(2019;Zbl 07805861) 全文: 内政部
萨缪尔·布鲁;伊莎贝拉·马斯特罗埃尼 关于多语言结构。 (英语) 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 1524.68064号 弗雷德·梅斯纳德(编辑)等,基于逻辑的程序合成和转换。2018年9月4-6日在德国法兰克福举行的2018年LOPSTR第28届国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11408, 148-165 (2019).MSC公司:68甲19 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}和\textit{C.Olarte},莱克特。注释计算。科学。11408、148--165(2019年;Zbl 1524.68064) 全文: 内政部 arXiv公司
威廉·斯坦加特纳;瓦莱丽·诺维茨卡;沃尔夫冈·施莱纳 命令式语言的协同操作语义。 (英语) Zbl 1518.68066号 计算。通知。 38,第5期,1181-1209(2019).MSC公司:68号30 68甲15 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{W.Steingartner}等人,《计算》。通知。38,第5号,1181--1209(2019;Zbl 1518.68066) 全文: 内政部
伊戈尔·谢尔盖维奇(Igor’Sergeevich Anureev) 注释反射程序的操作语义。 (俄语。英文摘要) Zbl 1497.68084号 模型。分析。Inf.姐妹。 26,第4号,475-487(2019).MSC公司:68甲15 68问题55 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},模型。分析。Inf.姐妹。26,第4号,475--487(2019;Zbl 1497.68084) 全文: MNR公司
王毅;张世奇;Lee,Joohyng先生 通过概率动作语言将常识推理和概率规划联系起来。 (英语) Zbl 1434.68551号 理论与实践。日志。程序。 19,编号5-6,1090-1106(2019).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人,《理论与实践》。日志。程序。19,编号5--6,1090--1106(2019;Zbl 1434.68551) 全文: 内政部 arXiv公司
Arpit Sharma公司 在Winograd模式挑战中使用答案集编程进行常识推理。 (英语) Zbl 1434.68591号 理论与实践。日志。程序。 19,第5-6号,1021-1037(2019).MSC公司:68T50型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Sharma},理论与实践。日志。程序。19,编号5--6,1021--1037(2019;Zbl 1434.68591) 全文: 内政部 arXiv公司
Rajitha M.席尔瓦。;关玉平;蒂姆·B·斯沃茨。 测试分析中非标准问题的贝叶斯处理。 (英语) Zbl 1437.62058号 Metron公司 77,第3号,227-238(2019).MSC公司:62B15号机组 62H20个 第62页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Silva}等人,Metron 77,No.3,227--238(2019;Zbl 1437.62058) 全文: 内政部
托比亚斯·凯恩;汉斯·托姆皮茨 Uhura:使用受控自然语言指定应答程序的创作工具。 (英语) Zbl 1525.68009号 Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。2019年5月7日至11日,意大利伦德,第16届欧洲会议,JELIA 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11468, 559-575 (2019).MSC公司:68N17号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kain}和\textit{H.Tompits},莱克特。注释计算。科学。11468、559--575(2019年;Zbl 1525.68009) 全文: 内政部
贝尔纳多·卡特里;克里斯蒂安·雷亚尔;弗朗西斯科·里卡 基于逻辑的文化遗产问答系统。 (英语) Zbl 1525.68163号 Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。2019年5月7日至11日,意大利伦德,第16届欧洲会议,JELIA 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11468, 526-541 (2019).MSC公司:第68页第27页 68N17号 68立方英尺 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{B.Cuteri}等人,Lect。注释计算。科学。11468、526--541(2019年;Zbl 1525.68163) 全文: 内政部
吉姆·伍德科克;安娜·卡瓦尔坎蒂;西蒙·福斯特;亚历山大·莫塔;叶康峰 RoboChart的概率语义。最弱的完成方法。 (英语) Zbl 07168635号 Ribeiro,Pedro(编辑)等人,《统一编程理论》。2019年10月8日,在托尼·霍尔85岁生日之际,在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11885, 80-105 (2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Woodcock}等人,Lect。注释计算。科学。11885,80-105(2019;Zbl 07168635) 全文: 内政部
你好,托尼;乔治·斯特鲁斯;吉姆·伍德科克 空间、时间和因果关系的微积分:代数、几何、逻辑。 (英语) Zbl 07168631号 Ribeiro,Pedro(编辑)等人,《统一编程理论》。2019年10月8日,在托尼·霍尔85岁生日之际,在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11885, 3-21 (2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人,Lect。注释计算。科学。11885,3-21(2019年;兹bl 07168631) 全文: 内政部 链接
詹姆斯·霍伊;伊雷克·乌利多夫斯基 可逆命令式并行程序和调试。 (英语) Zbl 1527.68035号 Thomsen,Michael Kirkedal(编辑)等人,可逆计算。第11届国际会议,RC 2019,瑞士洛桑,2019年6月24日至25日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。11497, 108-127 (2019).MSC公司:68甲19 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoey}和\textit{I.Ulidowski},莱克特。注释计算。科学。11497,108-127(2019;Zbl 1527.68035) 全文: 内政部 链接
王毅;Lee,Joohyng先生 通过概率动作语言(p\mathcal{BC}+\)的决策论扩展,阐述了马尔可夫决策过程的容错表示。 (英语) Zbl 1522.68116号 Balduccini,Marcello(编辑)等人,《逻辑编程和非单调推理》。2019年6月3日至7日,第15届国际会议,LPNMR 2019,美国宾夕法尼亚州费城。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11481, 224-238 (2019).MSC公司:68N17号 68T20型 第68页第27页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}和\textit{J.Lee},Lect。注释计算。科学。11481224--238(2019年;Zbl 1522.68116) 全文: 内政部
迈克尔·盖尔芬德;张元林 基于ASP的语言中的恶性循环原理、集合和集合的形成。 (英语) Zbl 1478.68041号 Artif公司。智力。 275, 28-77 (2019).MSC公司:68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelfond}和\textit{Y.Zhang},Artif。智力。275、28-77(2019年;Zbl 1478.68041) 全文: 内政部
乌尔里希·伯杰;艾莉森·琼斯;莫尼卡·塞森伯格 应用于一元分析的程序提取。 (英语) Zbl 1452.68045号 J.日志。计算。 第4期第29页,第487-518页(2019年).MSC公司:68号30 03B70号 68甲18 68T50型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}等人,J.Log。计算。29,第487-518号(2019年;兹bl 1452.68045) 全文: 内政部 链接
斯特凡·埃弗特;菲利普·海因里希;克劳斯·亨塞尔曼;乌尔里希·拉宾斯坦;伊丽莎白·谢尔;马丁·施密特;卢茨·施罗德 在公司披露分类中结合机器学习和语义特征。 (英语) Zbl 1475.68399号 J.逻辑语言信息。 28,第2期,309-330(2019).MSC公司:68T50型 62H30型 68T05型 68立方英尺 90立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Evert}等人,J.Logic Lang.Inf.28,No.2,309--330(2019;Zbl 1475.68399) 全文: 内政部
Dan R.吉卡。;库洛德·阿利亚亚 使用LSTM对游戏模型进行潜在语义分析。 (英语) Zbl 1423.68086号 J.日志。阿尔盖布。方法计划。 106, 39-54 (2019).MSC公司:68甲15 68问题55 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Ghica}和\textit{K.Alyahya},J.Log。阿尔盖布。方法计划。106、39-54(2019年;Zbl 1423.68086) 全文: 内政部 链接
肖普,D.L。 介绍高性能科学计算。 (英语) Zbl 1453.65001号 软件-环境-工具30.宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 978-1-61197-563-5/pbk)。xiii,455页。(2019). 审核人:迈克尔·荣格(德累斯顿) MSC公司:65-01 65-04 2005年5月 65日元10 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Chopp},高性能科学计算简介。宾夕法尼亚州费城:工业和应用数学学会(SIAM)(2019;Zbl 1453.65001)
斯托扬·米霍夫;克劳斯·舒尔茨。 有限状态技术。自动机、转换器和自行车。 (英语) Zbl 1465.68006号 剑桥理论计算机科学丛书60.剑桥:剑桥大学出版社(ISBN 978-1-108-48541-8/hbk;978-1-108/75694-5/电子书)。x、 304页。(2019). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:68-02 20立方米 68甲18 2012年第68季度 65年第68季度 第68季度第70季度 68T50型 68周01 PDF格式BibTeX公司 XML格式引用 \textit{S.Mihov}和\textit{K.U.Schulz},有限状态技术。自动机、传感器和双机械。剑桥:剑桥大学出版社(2019;Zbl 1465.68006) 全文: 内政部
鲁道夫·勒皮格雷 PML2:ML中的集成程序验证。 (英语) Zbl 1528.68083号 Abel,Andreas(编辑)等人,第23届国际校样和程序类型会议,2017年5月24日至6月1日,匈牙利布达佩斯。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。104,第4条,第27页(2018年)。MSC公司:68号30 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Lepigre},LIPIcs——莱布尼茨国际程序。通知。104,第4条,第27页(2018;Zbl 1528.68083) 全文: 内政部 arXiv公司
小岛隆介;佐藤泰介 学习在PRISM中排名。 (英语) Zbl 1452.68152号 国际J近似推理 93, 561-577 (2018).MSC公司:68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kojima}和\textit{T.Sato},国际J.近似推理93,561--577(2018;Zbl 1452.68152) 全文: 内政部
阿德希尔·拉里贾尼,易卜拉欣;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 并发量子系统的自动等价性检查。 (英语) Zbl 1407.68276号 ACM事务处理。计算。日志。 第19条第4款第28条第32页(2018年).MSC公司:60年第68季度 2012年第68季度 68问题85 81页第45页 81页68 PDF格式BibTeX公司 XML格式引用 \textit{E.Ardeshir-Larijani}等人,ACM Trans。计算。日志。19,第4号,第28条,第32页(2018;Zbl 1407.68276) 全文: 内政部 链接
斯文·卡罗尔;托拜厄斯·奈特;杰罗尼莫·卡斯特里隆;斯巴尔扎里尼(Ivo F.Sbalzarini)。 用于并行粒子方法的特定于域的语言和编辑器。 (英语) Zbl 1484.68041号 ACM事务处理。数学。柔和。 44,第3号,第34条,第32页(2018年).MSC公司:68甲15 65N75型 2005年5月 PDF格式BibTeX公司 XML格式引用 \textit{S.Karol}等人,ACM Trans。数学。柔和。44,第3号,第34条,第32页(2018;Zbl 1484.68041) 全文: 内政部 arXiv公司
阿基尔·古迪瓦达;拉奥(Rao,Dhana L.)。 语言和语法。 (英语) Zbl 1403.68112号 Gudivada,Venkat N.(编辑)等人,《自然语言的计算分析和理解:原理、方法和应用》。阿姆斯特丹:爱思唯尔/北荷兰(ISBN 978-0-444-64042-0/hbk;978-0-64043-7/电子书)。《统计手册》38,15-29(2018)。MSC公司:65年第68季度 2012年第68季度 91层20 PDF格式BibTeX公司 XML格式引用 \textit{A.Gudivada}和\textit{D.L.Rao},Handb。Stat.38,15-29(2018;Zbl 1403.68112) 全文: 内政部
彼得·D·布鲁扎。 通过具有超图语义的概率程序建模上下文。 (英语) Zbl 1407.68073号 西奥。计算。科学。 752, 56-70 (2018).MSC公司:68甲15 05C65号 68问题55 第68季度87 PDF格式BibTeX公司 XML格式引用 \文本{P.D.Bruza},Theor。计算。科学。752、56-70(2018;Zbl 1407.68073) 全文: 内政部 arXiv公司
罗尔夫·施维特 用受控自然语言指定和描述答案集程序。 (英语) Zbl 1451.68295号 理论与实践。日志。程序。 18,编号3-4,691-705(2018).MSC公司:68T50型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Schwitter},理论与实践。日志。程序。18、编号3--4、691--705(2018;Zbl 1451.68295) 全文: 内政部 arXiv公司
达尼埃拉·因利赞;张庆林;马塞洛·巴尔杜奇尼;安库什·伊斯雷尼 一种ASP方法,用于理解关于陈规定型活动的叙述。 (英语) Zbl 1451.68294号 理论与实践。日志。程序。 18,编号3-4,535-552(2018).MSC公司:68T50型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Inclezan}等人,《理论与实践》。日志。程序。18、编号3--4、535--552(2018;Zbl 1451.68294) 全文: 内政部 arXiv公司
盖伊,大卫·M·。 重新审视非线性AMPL模型的表达式表示。 (英语) Zbl 1411.90321号 Al-Baali,Mehiddin(编辑)等人,《数值分析与优化》。根据2017年1月2日至5日在阿曼马斯喀特举行的第四届NAO-IV国际会议上的陈述,选出论文。查姆:斯普林格。Springer程序。数学。《法律总汇》第235卷,第99-118页(2018年)。MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gay},施普林格程序。数学。Stat.235,99--118(2018;Zbl 1411.90321) 全文: 内政部
贝萨尼·尼克尔森;约翰·D·西罗拉。;Jean-Paul Watson先生;维克多·扎瓦拉(Victor M.Zavala)。;Lorenz T.比格勒。 pyomo.dae型:用于微分方程和代数方程优化的建模和自动离散化框架。 (英语) Zbl 1402.49029号 数学。程序。计算。 10,第2期,187-223(2018).MSC公司:49立方米 68甲15 90-04 93A30型 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{B.Nicholson}等人,数学。程序。计算。10,第2号,187--223(2018;Zbl 1402.49029) 全文: 内政部
马尔文·加廷格;工资制造者,贾纳 网络动态八卦分析凯特. (英语) Zbl 1518.68034号 Desharnais,Jules(编辑)等人,《计算机科学中的关系和代数方法》。2018年10月29日至11月1日在荷兰格罗宁根举行的第17届RAMiCS 2018国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11194, 280-297 (2018).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Gattinger}和\textit{J.Wagemaker},莱克特。注释计算。科学。11194280-297(2018;Zbl 1518.68034) 全文: 内政部
杰弗里·马克·西斯金德;巴拉克·A·皮尔默特。 没有用户注释的任意程序的分治检查点。 (英语) Zbl 1455.65037号 最佳方案。方法软件。 33,编号4-6,1288-1330(2018);更正同上36,第6号,1317-1318(2021)。MSC公司:65D25个 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Siskind}和\textit{B.A.Pearlmutter},Optim。方法软件。33,编号4--6,1288--1330(2018;Zbl 1455.65037) 全文: 内政部 arXiv公司
C.G.佩特拉。;F·羌。;M.鲁宾。;J·休歇特。 关于使用Julia中的边推进算法进行高效Hessian计算。 (英语) Zbl 1407.90310号 最佳方案。方法软件。 33,第4-6号,1010-1029(2018).MSC公司:90立方 65D25个 90C05(二氧化碳) 90C06型 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Petra}等人,Optim。方法软件。33,编号4--61010--1029(2018;Zbl 1407.90310) 全文: 内政部 链接
野村,精一 C语言编程与数值分析:简介。 (英语) Zbl 1397.65001号 机械工程综合讲座13.加州圣拉斐尔:Morgan&Claypool出版社(ISBN 978-1-68173-313-5/hbk;978-1-681 73-311-1/pbk;978-1-68173-312-8/ebook)。xiii,184页。(2018). 审核人:Efstratios Rappos(奥邦) MSC公司:65-01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Nomura},C编程和数值分析:简介。加利福尼亚州圣拉斐尔:Morgan&Claypool出版社(2018;Zbl 1397.65001) 全文: 内政部
休伯特·加拉维;弗雷德里克·朗;温德林·塞维 从LOTOS到LNT。 (英语) Zbl 1498.68062号 Katoen,Joost-Pieter(编辑)等,建模教育,测试教育,信任教育。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10500, 3-26 (2017).MSC公司:68甲15 68N20型 60年第68季度 68问题65 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人,Lect。注释计算。科学。10500,3-26(2017年;兹bl 1498.68062) 全文: 内政部 哈尔
你,珍;薛、缙云 Apla+语言中的编排组合符。 (英语) Zbl 1461.68050号 刘少英(主编)等,结构化面向对象形式语言和方法。2016年11月15日,第六届国际研讨会,SOFL+MSVL 2016,日本东京。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10189,3-14(2017)。MSC公司:68甲15 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Z.You}和\textit{J.Xue},Lect。注释计算。科学。10189,3-14(2017;Zbl 1461.68050) 全文: 内政部
于克斯特尤克。L。 LL(1)语法的有效翻译,以编程语言为例。 (俄语。英文摘要) Zbl 07311434号 普里克尔。Diskretn公司。材料。 2017年第3号(37)、90-99号(2017).MSC公司:68倍 90倍X PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Kostyuk},Prikl。Diskretn公司。材料2017,编号3(37),90-99(2017;Zbl 07311434) 全文: 内政部 MNR公司 链接
Sarah J.Berkemer。;克里斯蒂安·Höner zu Siederdessen;彼得·斯塔德勒(Peter F.Stadler)。 树上的代数动态规划。 (英语) Zbl 1461.68094号 算法(巴塞尔) 10,第4号,第135号论文,31页(2017年).MSC公司:2012年第68季度 68甲18 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Berkemer}等人,《算法(巴塞尔)》10,第4期,论文编号135,31 p.(2017;Zbl 1461.68094) 全文: 内政部
保拉·詹尼尼;阿尔伯特·沙奇里 将函数式语言编译成脚本语言的一种经证明是正确的。 (英语) Zbl 1424.68028号 科学。Ann.计算。科学。 27,第1号,19-76(2017).MSC公司:68甲15 68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Giannii}和\textit{A.Shaqiri},科学。Ann.计算。科学。27,第1号,19--76(2017;Zbl 1424.68028) 全文: 内政部
拉斐尔·里乌·赫尔夫特;克劳德·马奇;纪尧姆·梅尔金德 如何获得一个有效且经过验证的任意决策整数库。 (英语) Zbl 1403.68026号 Paskevich,Andrei(编辑)等人,《验证软件》。理论、工具和实验。第九届国际会议,2017年7月22日至23日,德国海德堡,VSTTE 2017。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-72307-5/pbk;978-3-3169-72308-2/电子书)。计算机科学课堂讲稿10712,84-101(2017)。MSC公司:68甲15 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{R.Rieu-Helft}等人,Lect。注释计算。科学。10712,84-101(2017;Zbl 1403.68026) 全文: 内政部 哈尔
马克·斯科尔德曼 验证Why3中的无分支装配代码。 (英语) Zbl 1403.68027号 Paskevich,Andrei(编辑)等人,《验证软件》。理论、工具和实验。2017年7月22日至23日,德国海德堡,第九届国际会议,VSTTE 2017。修订了选定的论文。商会:施普林格出版社(ISBN 978-3-319-72307-5/pbk;978-3-319-72308-2/ebook)。计算机科学课堂讲稿10712,66-83(2017)。MSC公司:68甲15 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Schoolderman},莱克特。注释计算。科学。10712、66-83(2017;Zbl 1403.68027) 全文: 内政部