克里斯蒂安·劳赫;马库斯·霍尔泽 置换自动机上操作的接受状态复杂性。 (英语) Zbl 07799055号 西奥·雷罗。通知。申请。 57,第9号论文,20页(2023年).MSC公司:04年第68季度 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Rauch}和\textit{M.Holzer},RAIRO,Theor。通知。申请。57,第9号论文,20页(2023;Zbl 07799055) 全文: 内政部 arXiv公司 OA许可证
托达蓬·昆当;索拉萨克Leeratanavalee 带有固定变量的部分多列项代数和公式算数。 (英语) Zbl 07781230号 讨论。数学。,生成代数应用。 43,第2期,339-362(2023).MSC公司:08A02级 08A40号 08A70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kumduang}和\textit{S.Leeratanavale},讨论。数学。,生成代数应用。43,编号2,339--362(2023;Zbl 07781230) 全文: 内政部 OA许可证
斯特凡·霍夫曼 交换正则语言上迭代洗牌的正则性条件。 (英语) Zbl 07770236号 发现的国际期刊。计算。科学。 34,第8期,923-957(2023).MSC公司:68季度xx 2000万 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Hoffmann},国际期刊发现。计算。科学。34,编号8,923--957(2023;Zbl 07770236) 全文: 内政部
R.M.巴巴科夫。;Barkalov,A.A。 一种矩阵方法,用于检测具有转换数据路径的有限状态机的代数综合问题的形式解。 (英语。乌克兰原文) Zbl 1510.68006号 赛博。系统。分析。 59,第2期,190-198(2023); 翻译自Kibern。修女。分析。59,第2期,第18-26页(2023年)。MSC公司:2007年7月68日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Babakov}和\textit{A.Barkalov},Cybern。系统。分析。59,第2号,190--198(2023;Zbl 1510.68006);翻译自Kibern。修女。分析。59、第2、18--26号(2023年) 全文: 内政部
Fabien Schang先生 不,不,不。 (英语) Zbl 07740528号 Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用螺栓。日志。,491-512 (2022).MSC公司:03A05号 03Bxx号 01A25号 01A55号 03B35型 03B05号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{F.Schang},in:逻辑有问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019)上的会谈。查姆:Birkhäuser。491-512(2022年;兹bl 07740528) 全文: 内政部
彼得·格约尔·詹森;安德烈·基维里加;Guldstrand Larsen,金;乌尔里克·尼曼;阿德里亚娜·米亚契卡;杰佩·Höiris Mortensen 蒙特卡罗树搜索定价时间自动机。 (英语) Zbl 1522.68273号 布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 381-398 (2022).MSC公司:65年第68季度 68T20型 90立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。13479,381--398(2022;Zbl 1522.68273) 全文: 内政部 链接
M.杜塔。;南卡利塔。;香港赛基亚。 自动机中的图形。 (英语) Zbl 1513.05322号 电子。数学杂志。分析。申请。 10,编号2,105-114(2022).MSC公司:05C76号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Dutta}等人,《电子》。数学杂志。分析。申请。10,编号2,105--114(2022;Zbl 1513.05322) 全文: 链接
奥利弗·A·S·里昂。;凯·萨洛马 站点定向插入的非确定性状态复杂性。 (英语) Zbl 07584602号 J.汽车。语言梳。 27,编号1-3,187-197(2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.A.S.Lyon}和\textit{K.Salomaa},J.Autom。语言梳。27,编号1-3187-197(2022;兹bl 07584602) 全文: 链接
于诺曼斯卡娅。五、。;O.D.鲍里森科。;贝洛博罗多夫,I.B。;RAS Avetisyan,A.I.院士。 软件系统lingvodoc及其为ob-ugric语言的文档和分析提供的可能性。 (英语。俄文原件) Zbl 07583222号 多克。数学。 105,第3期,187-206(2022); Dokl翻译。罗斯。阿卡德。恶心,Mat.Inform。Protsessy升级。504, 60-82 (2022).MSC公司:68倍 90倍X PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Normanskaja}等人,Dokl。数学。105,第3号,187--206(2022;Zbl 07583222);Dokl翻译。罗斯。阿卡德。恶心,Mat.Inform。Protsessy升级。504, 60--82 (2022) 全文: 内政部
奥利弗·A·S·里昂。;凯·萨洛马 站点定向删除的非确定性状态复杂性。 (英语) Zbl 07572322号 Caron,Pascal(编辑)等人,《自动机的实现和应用》。第26届国际会议,CIAA 2022,法国鲁昂,2022年6月28日至7月1日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13266, 189-199 (2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.A.S.Lyon}和\textit{K.Salomaa},莱克特。注释计算。科学。13266189-199(2022;Zbl 07572322) 全文: 内政部
斯特凡·霍夫曼 交换正则语言上迭代洗牌的自动机理论正则性刻画。 (英语) 兹比尔07571007 Diekert,Volker(编辑)等人,《语言理论的发展》。第26届国际会议,DLT 2022,美国佛罗里达州坦帕,2022年5月9日至13日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13257/164-176(2022年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.霍夫曼},莱克特。注释计算。科学。13257、164--176(2022;Zbl 07571007) 全文: 内政部
悉达多·班纳吉;丹尼尔·弗伦德;利库里斯、多罗里斯 共享车辆系统中的定价和优化:近似框架。 (英语) 兹比尔1497.90066 操作。物件。 70,编号3,1783-1805(2022).MSC公司:90B22型 68平方米 60K25码 90B06型 65年第68季度 90B05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Banerjee}等人,Oper。第70号决议,第3号,1783-1805(2022年;Zbl 1497.90066) 全文: 内政部 arXiv公司
林廷南;黄范 具有多状态决策单元和动态系统配置的两阶段干预决策系统。 (英语) Zbl 1485.90030号 安·Oper。物件。 311,编号1,255-277(2022).MSC公司:90B25型 91B12号机组 62号05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Lin}和\textit{H.Pham},Ann.Oper。311号决议,第1号,255--277(2022年;Zbl 1485.90030) 全文: 内政部
纳吉,贝内德克 运营工会复杂性。 (英语) Zbl 07488458号 Inf.计算。 284,文章ID 104692,9 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Nagy},信息计算。284,文章ID 104692,9 p.(2022;Zbl 07488458) 全文: 内政部
弗朗西斯科·贝拉莫利;朱迪塔·佛朗哥;卡里、莉拉;西尔维娅·兰皮斯;蒂莫西·吴;王子豪 共轭词混合:XPCR的形式模型和实验实现。 (英语) Zbl 1530.68077号 自然计算。 20,第4期,647-658(2021).MSC公司:2007年第68季度 65年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Bellamoli}等人,《自然计算》。20,编号4,647--658(2021;Zbl 1530.68077) 全文: 内政部
斯特凡·霍夫曼 交换正则语言上迭代洗牌的正则性条件。 (英语) Zbl 07495102号 Maneth,Sebastian(编辑),自动机的实现和应用。第25届国际会议,CIAA 2021,虚拟活动,2021年7月19-22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12803, 27-38 (2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{S.Hoffmann},Lect。注释计算。科学。12803、27-38(2021;Zbl 07495102) 全文: 内政部 arXiv公司
托达蓬·昆当;Khwancheewa Wattanatripop公司;Thahat长相 具有固定变量的树语言及其代数结构。 (英语) Zbl 1499.08012号 国际数学杂志。计算。科学。 16,第4期,1683-1696(2021).MSC公司:08A70号 08A40号 20立方米 第68季度第70季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kumduang}等人,《国际数学杂志》。计算。科学。16,编号4,1683-1696(2021;兹bl 1499.08012) 全文: 链接
拜纳姆(Michael L.Bynum)。;加布里埃尔·A·哈克贝尔。;威廉·E·哈特。;卡尔·D·莱尔德。;Nicholson,Bethany L。;约翰·D·西罗拉。;Jean-Paul Watson先生;大卫·L·伍德拉夫。 Pyomo–Python中的优化建模。第3版。 (英语) Zbl 1462.90001号 弹簧优化及其应用67.查姆:施普林格出版社(ISBN 978-3-030-68927-8/hbk;978-3-0.30-68930-8/pbk;978-1-030-68928-5/电子书)。十七、225页。(2021).MSC公司:90-01 00安培71 第68页第15页 68瓦30 90-04 90摄氏度 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Bynum}等人,Pyomo——Python中的优化建模。第三版。查姆:施普林格(2021;Zbl 1462.90001) 全文: 内政部
费尔科特,Sándor P。;罗伯特·格梅尔;萨布丽娜·雨果;菲利普·凯尔德尼奇;克里斯蒂安·谢弗;阿恩·施密特 CADbots:用有限自动机操作可编程物质的算法方面。 (英语) Zbl 1508.68109号 算法 83,编号1,387-412(2021).MSC公司:2009年第68季度 65年第68季度 68T40型 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Fekete}等人,Algorithmica 83,No.1,387--412(2021;Zbl 1508.68109) 全文: 内政部 arXiv公司 OA许可证
卢卡·蒂门斯;Dana S.斯科特。;克里斯托夫·本兹穆勒;米罗斯拉夫·本达 计算机支持的类模型分类公理化探索。 (英语) Zbl 1509.68328号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12062, 302-317 (2020).MSC公司:68V20型 03B35型 03C07号机组 03立方厘米99 第18页第15页 2018年11月20日 PDF格式BibTeX公司 XML格式引用 \textit{L.Tiemens}等人,Lect。注释计算。科学。12062、302-317(2020年;Zbl 1509.68328) 全文: 内政部 arXiv公司
阿克沙伊阿格拉瓦尔;斯蒂芬·博伊德 严格的拟凸规划。 (英语) Zbl 1459.90148号 最佳方案。莱特。 14,第7期,1643-1657(2020).MSC公司:90C25型 90-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Agrawal}和\textit{S.Boyd},Optim。莱特。14,第7号,1643-1657(2020;Zbl 1459.90148) 全文: 内政部 arXiv公司
卡拉·金特罗;何塞·阿吉拉尔;埃里克·尼尔;劳伦特·彼得拉克 实现热带自动化产品,最大限度地减少全球完成时间。 (英语) Zbl 1463.90076号 计算。申请。数学。 39,第3号,第221号论文,27页(2020年).MSC公司:90立方厘米35 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Quintero}等人,计算。申请。数学。39,第3号,第221号论文,27页(2020年;Zbl 1463.90076) 全文: 内政部
让·内罗 完整的可变长度代码:对单词编辑操作的偏移。 (英语) Zbl 1437.68103号 Leporati,Alberto(编辑)等人,《语言和自动机理论与应用》。第14届国际会议,2020年3月4日至6日,意大利米兰,LATA 2020。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。12038, 437-448 (2020).MSC公司:65年第68季度 94A45型 PDF格式BibTeX公司 XML格式引用 \textit{J.Néraud},莱克特。注释计算。科学。12038、437--448(2020年;Zbl 1437.68103) 全文: 内政部 arXiv公司
马特·考夫曼;J Strother摩尔 一阶设置中的有限二阶功能。 (英语) Zbl 1468.68291号 J.汽车。推理 64,第3号,391-422(2020).MSC公司:第68卷第15页 03B35型 第68页第15页 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.考夫曼}和\textit{J S.摩尔},J.Autom。推理64,No.3,391--422(2020;Zbl 1468.68291) 全文: 内政部
亚历山大·梅杜纳;克里姆亚奥,拉迪姆;亚当·科瓦里;祖扎纳贝尼奇科娃 关于语言家族的操作。 (英语) Zbl 1445.68125号 计算。科学。J.模具。 27,第3号(81),255-282(2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meduna}等人,计算。科学。J.模具。27,第3号(81),255-282(2019;Zbl 1445.68125) 全文: 链接
克里斯托弗·林奇;安德鲁·马歇尔。;凯瑟琳·梅多斯;纳伦德兰,帕里斯;维埃娜·拉维珊卡 同态异或理论的非对称统一。 (英语) Zbl 1435.68373号 Herzig,Andreas(编辑)等人,《组合系统的前沿》。2019年9月4日至6日,第12届国际研讨会,FroCoS 2019,英国伦敦。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11715, 297-312 (2019).MSC公司:第68卷第15页 03B35型 2012年第68季度 65年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Lynch}等人,Lect。注释计算。科学。11715、297--312(2019;Zbl 1435.68373) 全文: 内政部 arXiv公司
Mikołaj博扬奇克;巴托克·克林 一种由无限树组成的非正则语言,可由排序有限代数识别。 (英语) Zbl 1427.68178号 日志。方法计算。科学。 15,第4号,第11号论文,第13页(2019年).MSC公司:第68季度第70季度 08A40号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk}和\textit{B.Klin},Log。方法计算。科学。15,第4号,第11号论文,第13页(2019年;Zbl 1427.68178) 全文: arXiv公司
帕里斯(Pawe Parys) Caucal层次的扩展? (英语) Zbl 1425.03005号 Martín-Vide,Carlos(编辑)等人,《语言和自动机理论与应用》。2019年3月26日至29日在俄罗斯圣彼得堡举行的第13届LATA国际会议,会议记录。查姆:斯普林格。莱克特。注释计算。科学。11417, 368-380 (2019).MSC公司:03B15号机组 05年3月 05C76号 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.帕里斯},莱克特。注释计算。科学。11417,368--380(2019;Zbl 1425.03005) 全文: 内政部
赵大中;Han、Yo-Sub;凯·萨洛马;泰勒·J·史密斯。 站点定向插入:语言方程和决策问题。 (英语) Zbl 1435.68151号 西奥。计算。科学。 798, 40-51 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.-J.Cho}等人,Theor。计算。科学。798,40-51(2019年;兹bl 1435.68151) 全文: 内政部
Lekkoksung,N.(北卡罗来纳州)。;Denecke,K。 线性树语言的部分克隆。 (英语。俄文原件) Zbl 1435.08003号 同胞。数学。J。 60,第3期,497-507(2019); 来自Sib的翻译。材料Zh。60,第3期,640-654页(2019年)。 审核人:伊万·查伊达(Přerov) MSC公司:08A40号 65年第68季度 08A55号 PDF格式BibTeX公司 XML格式引用 \textit{N.Lekkoksung}和\textit{K.Denecke},Sib。数学。J.60,No.3,497--507(2019;Zbl 1435.08003);来自Sib的翻译。材料Zh。60,第3号,640--654(2019) 全文: 内政部
赵大中;Han、Yo-Sub;金,胡 限量递减复制系统。 (英语) Zbl 1430.68141号 西奥。计算。科学。 793, 152-168 (2019).MSC公司:65年第68季度 2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.-J.Cho}等人,Theor。计算。科学。793152-168(2019年;Zbl 1430.68141) 全文: 内政部
罗伯特·费伦斯;Szykuła,马雷克 无双变量正则语言的复杂性。 (英语) Zbl 1429.68110号 西奥。计算。科学。 787, 14-27 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ferens}和\textit{M.Szykuła},Theor。计算。科学。787,14-27(2019年;兹比尔1429.68110) 全文: 内政部 arXiv公司
乔伊·埃雷蒙迪;奥斯卡·H·伊巴拉。;McQuillan,伊恩 确定性可逆有界计数器上的插入操作。 (英语) Zbl 1423.68250号 J.计算。系统。科学。 104, 244-257 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eremondi}等人,J.Compute。系统。科学。104、244--257(2019;Zbl 1423.68250) 全文: 内政部 arXiv公司
奥斯卡·H·伊巴拉。;McQuillan,伊恩 店内语言和应用程序。 (英语) Zbl 1422.68151号 Inf.计算。 267, 28-48 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{I.McQuillan},Inf.Comput。267、28-48(2019年;Zbl 1422.68151) 全文: 内政部 arXiv公司
安德烈斯·安巴尼斯;马尼克·巴尼克;阿努巴夫·查图尔维迪;德米特里·克拉夫琴科;阿舒托什·雷 奇偶性遗忘(d)级随机接入码和一类非文本不等式。 (英语) Zbl 1417.81020号 量子信息处理。 18,第4号,第111号论文,20页(2019年).MSC公司:第81页,共13页 第81页,共15页 65年第68季度 81页70 81页68 81页40页 PDF格式BibTeX公司 XML格式引用 \textit{A.Ambainis}等人,《量子信息处理》。18,第4号,第111号文件,第20页(2019年;兹bl 1417.81020) 全文: 内政部 arXiv公司 OA许可证
克里斯蒂娜·申克 书评:W.E.Hart等人,Pyomo–Python中的优化建模。第2版。 (英语) 兹比尔1409.00040 SIAM版本。 61,第1期,223-225(2019).MSC公司:00年11月17日 90-01 00安培71 第68页第15页 68瓦30 90-04 90摄氏度 PDF格式BibTeX公司 XML格式引用 \textit{C.Schenk},SIAM Rev.61,No.1,223--225(2019;Zbl 1409.00040) 全文: 内政部
米迦·霍弗里;霍萨姆·马哈茂德。 非均匀性算法:工具和范例。 (英语) Zbl 1402.68004号 离散数学及其应用佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4987-5071-4/hbk;978-1-4997-5072-1/电子书)。xix,569页。(2019). 审核人:Irina Ioana Mohorianu(牛津) MSC公司:68-01 68-02 68第05页 68页第10页 2005年第68季度 65年第68季度 87年第68季度 68卢比 68兰特 68瓦01 68周05 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofri}和\textit{H.M.Mahmoud},《非均匀性算法:工具和范式》。佛罗里达州博卡拉顿:CRC出版社(2019;Zbl 1402.68004) 全文: 链接
路易斯·马里·丹多;西尔万·伦巴第 关于Hadamard级数和旋转自动机。 (英语) Zbl 1510.68033号 Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。117,第6条,第14页(2018年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.-M.Dando}和\textit{S.Lombardy},LIPIcs——莱布尼茨国际程序。通知。117,第6条,第14页(2018;Zbl 1510.68033) 全文: 内政部
邱思奇;穆罕默德·萨拉克;沃尔特·施恩;亨利·X·G·明。 一种基于评估的系统方法,用于基于信念规则的专家系统的风险评估。 (英语) 兹比尔1441.68250 信息科学。 466, 323-336 (2018).MSC公司:68层35 68层37 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Qiu}等人,《信息科学》。466323-336(2018年;Zbl 1441.68250) 全文: 内政部
阿夫·根格尔巴赫;Tjark韦伯 定义理论的模型理论保守扩展。 (英语) Zbl 1434.03028号 Alves,Sandra(编辑)等人,逻辑和语义框架与应用第十二次研讨会论文集(LSFA 2017),巴西巴西利亚,2017年9月23日至24日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。338, 133-145 (2018).MSC公司:03B35型 03年11月16日 03C07号机组 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Gengelbach}和\textit{T.Weber},电子。注释Theor。计算。科学。338133-145(2018年;Zbl 1434.03028) 全文: 内政部
乌迪·博克 为什么是这些自动机类型? (英语) Zbl 1415.68122号 Barthe,Gilles(编辑)等人,LPAR-22。第22届编程逻辑、人工智能和推理国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 143-163 (2018).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker},EPiC Ser(EPiC服务器)。计算。57、143-163(2018;Zbl 1415.68122) 全文: 内政部
哈利什·加格 区间值直觉模糊环境下多准则决策过程的一些鲁棒改进几何聚合算子。 (英语) Zbl 1412.90064号 J.工业管理。最佳方案。 14,第1期,283-308(2018).MSC公司:90B50型 62A86号 03E72型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{H.Garg},J.Ind.管理。最佳方案。14,第1号,283--308(2018;Zbl 1412.90064) 全文: 内政部
卡瓦略、莉莲·卡瓦卡米;吴义钦;Raymond Kwong先生;圣菲拉福顿 监控系统中各类攻击的检测和缓解。 (英语) Zbl 1406.93006号 Automatica公司 97, 121-133 (2018).MSC公司:93甲13 93元65角 65年第68季度 93-04 93A30型 93个B05 90磅18英寸 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{L.K.Carvalho}等人,Automatica 97,121--133(2018;Zbl 1406.93006) 全文: 内政部 arXiv公司
郭玉奇 基于动态模型的城市快速路切换比例积分状态观测器设计与交通密度估计。 (英语) Zbl 1403.93050号 欧洲药典控制 44, 103-113 (2018).MSC公司:93个B07 90B20型 93立方 93二氧化碳 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Guo},欧洲期刊控制44,103--113(2018;Zbl 1403.93050) 全文: 内政部
弗里德里希·奥托 在确定性有序重启删除自动机上。 (英语) Zbl 1517.68210号 Hoshi,Mizuho(编辑)等,《语言理论的发展》。第22届国际会议,DLT 2018,日本东京,2018年9月10日至14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11088, 529-540 (2018).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto},莱克特。注释计算。科学。11088529-540(2018年;兹比尔1517.68210) 全文: 内政部
赵大中;Han、Yo-Sub;金,胡;凯·萨洛马 站点定向删除。 (英语) Zbl 1517.68180号 Hoshi,Mizuho(编辑)等,《语言理论的发展》。第22届国际会议,DLT 2018,日本东京,2018年9月10日至14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11088, 219-230 (2018).MSC公司:65年第68季度 2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.-J.Cho}等人,Lect。注释计算。科学。11088、219--230(2018;Zbl 1517.68180) 全文: 内政部
贝萨尼·尼克尔森;约翰·D·西罗拉。;Jean-Paul Watson先生;维克多·扎瓦拉(Victor M.Zavala)。;Lorenz T.比格勒。 pyomo.dae型:用于微分方程和代数方程优化的建模和自动离散化框架。 (英语) Zbl 1402.49029号 数学。程序。计算。 2018年第2期第10期第187-223页.MSC公司:49立方米7 第68页第15页 90-04 93A30型 90摄氏度 PDF格式BibTeX公司 XML格式引用 \textit{B.Nicholson}等人,数学。程序。计算。10,第2号,187--223(2018;Zbl 1402.49029) 全文: 内政部
巴拉兹·班纳莱伊;Csendes,Tibor公司;巴拉兹·莱瓦伊;拉兹洛·帕尔;达尼尔·宗博里 GLOBAL优化算法。最新更新Java实现和并行化。 (英语) Zbl 1496.90002号 SpringerBriefs优化.商会:施普林格出版社(ISBN 978-3-030-02374-4/pbk;978-3-030-02375-1/电子书)。九、111页。(2018).MSC公司:90-01 90-04 90C26型 90立方厘米 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{B.Bánhelyi}等人,《全局优化算法》。最新更新Java实现和并行化。查姆:施普林格(2018;Zbl 1496.90002) 全文: 内政部
拉莫斯,蒂亚戈·门登萨·费雷拉;塞萨尔·穆尼奥斯;毛里西奥·阿亚拉·林科恩;玛丽亚诺·莫斯卡托;亚伦·杜特尔;安东尼·纳卡维奇 函数式语言停顿问题不可判定性的形式化。 (英语) Zbl 1509.03049号 Moss,Lawrence S.(编辑)等人,《逻辑、语言、信息和计算》。2018年7月24日至27日在哥伦比亚波哥大举行的2018年WoLLIC第25届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10944, 196-209 (2018).MSC公司:03B35型 03日第10天 03第35页 第68页第15页 68甲18 PDF格式BibTeX公司 XML格式引用 \文本{T.M.F.Ramos}等人,Lect。注释计算。科学。10944,196-209(2018;Zbl 1509.03049) 全文: 内政部
梅克·施瓦姆伯格 证明自治城市交通安全的抽象模型。 (英语) Zbl 1400.68126号 西奥。计算。科学。 744, 143-169 (2018).MSC公司:第68季度第60季度 03B70号 65年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \发短信{M.Schwammberger},Theor。计算。科学。744143-169(2018;Zbl 1400.68126) 全文: 内政部
吉拉塞克,乔泽夫·琼。;加琳娜·吉尔亚斯科娃;尤拉吉·谢贝吉 对明确有限自动机的操作。 (英语) Zbl 1403.68115号 发现的国际期刊。计算。科学。 29,第5号,861-876(2018).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Jirásek jun.}等人,《国际法学杂志》发现。计算。科学。29,第5号,861--876(2018;Zbl 1403.68115) 全文: 内政部
杰森,你是爸爸;尼古拉斯·普洛斯卡斯 多标准决策辅助。方法、示例和Python实现。 (英语) Zbl 1408.90151号 弹簧优化及其应用136.查姆:施普林格(ISBN 978-3-319-91646-0/hbk;978-3-3169-91648-4/电子书)。十七、173页。(2018). 审核人:Efstratios Rappos(奥邦) MSC公司:90B50型 90C29型 90-02 90-04 91B06型 第68页第15页 90C08型 PDF格式BibTeX公司 XML格式引用 \textit{J.Papathanasiou}和\textit{N.Ploskas},多标准决策辅助。方法、示例和Python实现。查姆:施普林格(2018;Zbl 1408.90151) 全文: 内政部
克里斯蒂安·多兹卡尔;格特·斯莫尔卡 Coq构造型理论中的正则语言表示。 (英语) Zbl 1451.68146号 J.汽车。推理 61,编号1-4,521-553(2018).MSC公司:65年第68季度 03B25号 03B35型 05年3月 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Doczkal}和\textit{G.Smolka},J.奥托姆。推理61,No.1--4,521--553(2018;Zbl 1451.68146) 全文: 内政部 哈尔
阿尔卡迪Bolotin 基于非经典语义学的哈代悖论。 (英语) Zbl 1391.81012号 数学杂志。物理学。 59,No.6,062101,8 p.(2018).MSC公司:81第05页 第81页,共15页 81兰特25 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotin},J.数学。物理学。59,第6号,062101,8页(2018;Zbl 1391.81012) 全文: 内政部 arXiv公司
弗里德里希·奥托;肯特·奎 无状态确定性有序重启自动机的描述复杂性。 (英语) Zbl 1390.68412号 Inf.计算。 259,第2部分,277-302(2018).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto}和\textit{K.Kwee},Inf.Compute。259,第2部分,277--302(2018;Zbl 1390.68412) 全文: 内政部
穆,恩里克;米拉格罗斯佩雷拉·罗哈斯 使用超级决策进行实际决策v3。层次分析法简介。 (英语) Zbl 1380.90002号 Springer运筹学简介查姆:施普林格(ISBN 978-3-319-68368-3/pbk;978-3-3169-68369-0/电子书)。xix,115页。(2018).MSC公司:90-02 90B50型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{E.Mu}和\textit{M.Pereyra-Rojas},使用超级决策的实际决策v3。层次分析法简介。查姆:施普林格(2018;Zbl 1380.90002) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog);梅克·施瓦姆伯格 用时间自动机形式化危险警告通信协议。 (英语) Zbl 1431.68011号 Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 640-660 (2017).MSC公司:68个M12 65年第68季度 90B20型 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{M.Schwammberger},莱克特。注释计算。科学。10460、640--660(2017;Zbl 1431.68011) 全文: 内政部
斯鲁扬·库马尔·恩甘蒂;奥斯卡·H·伊巴拉。;卡里、莉拉;斯特芬·科佩基 关于字符串和语言的重叠汇编。 (英语) Zbl 1415.68127号 自然计算。 16,第1期,175-185(2017).MSC公司:65年第68季度 2005年第68季度 2010年第68季度 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Enaganti}等人,《自然计算》。16,第1号,175--185(2017;Zbl 1415.68127) 全文: 内政部
刘军;莫志文;孙素琴 扰动值模糊有限状态机的连接。 (中文。英文摘要) Zbl 1424.68087号 模糊系统。数学。 31,第1期,174-178(2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人,《模糊系统》。数学。31,第1号,174--178(2017;Zbl 1424.68087)
乔治·林菲尔德;佩妮,约翰 介绍自然灵感优化。 (英语) Zbl 1397.90003号 阿姆斯特丹:爱思唯尔/学术出版社(ISBN 978-0-12-803636-5/pbk;978-0-12-803666-2/电子书)。十七、238页。(2017). 审核人:弗拉迪米尔·拉科(科希策) MSC公司:90-01 90 C59 第68页第15页 90立方厘米 90C29型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Lindfield}和\textit{J.Penny},《自然启发优化导论》。阿姆斯特丹:爱思唯尔/学术出版社(2017;Zbl 1397.90003) 全文: 链接
安东·马利舍夫;伊戈尔·帕克 Mealy自动机Schreier图的提升、去中心化和直径。 (英语) Zbl 1413.05159号 组合数学 37,第4期,733-765(2017). 审核人:罗伯特·贾凯(特雷·豪特) MSC公司:05C25号 2010年1月20日 第68季度第70季度 05C75号 05C76号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malyshev}和\textit{I.Pak},Combinatorica 37,No.4,733--765(2017;Zbl 1413.05159) 全文: 内政部 arXiv公司
S.Mehdi,瓦希迪普尔;穆罕默德·礼萨;迈赫迪·埃斯纳沙里 使用学习自动机和自适应随机Petri网寻找随机图中的最短路径。 (英语) Zbl 1377.68153号 国际J.不确定。模糊知识-基于系统。 25,第3期,427-455(2017).MSC公司:68问题85 65年第68季度 90B15号机组 90立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Vahidipour}等人,国际期刊《不确定性》。模糊知识-基于系统。25,第3号,427--455(2017;Zbl 1377.68153) 全文: 内政部
赵大中;Han、Yo-Sub;蒂莫西·吴;凯·萨洛马 外固定引导插入。 (英语) Zbl 1382.68133号 西奥。计算。科学。 701,70-84(2017).MSC公司:65年第68季度 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{D.-J.Cho}等人,Theor。计算。科学。701、70-84(2017年;Zbl 1382.68133) 全文: 内政部 arXiv公司
乔伊·埃雷蒙迪;奥斯卡·H·伊巴拉。;McQuillan,伊恩 确定性自动机族上的删除操作。 (英语) Zbl 1376.68089号 Inf.计算。 256, 237-252 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eremondi}等人,《信息计算》。256237--252(2017年;Zbl 1376.68089) 全文: 内政部 arXiv公司
赵大中;Han、Yo-Sub;金,胡 有限自动机和嵌套复制系统上的重复数据消除。 (英语) Zbl 1486.68062号 Patitz,Matthew J.(编辑)等人,《非传统计算与自然计算》。2017年6月5日至9日在美国阿肯色州费耶特维尔举行的第16届UCNC国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10240, 194-205 (2017).MSC公司:2007年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.-J.Cho}等人,Lect。注释计算。科学。10240194-205(2017;Zbl 1486.68062) 全文: 内政部
布尔佐夫斯基,Janusz A。;科尔文·辛纳蒙 右处理、前缀封闭和无前缀正则语言的复杂性。 (英语) Zbl 1389.68040号 《网络学报》。 第1号,第23页,第9-41页(2017年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Brzozowski}和\textit{C.Sinnamon},《网络学报》。23、第1号、第9--41号(2017;Zbl 1389.68040) 全文: 内政部 arXiv公司
尼古拉斯·普洛斯卡斯;尼古拉斯·萨马拉斯 使用MATLAB进行线性规划。 (英语) Zbl 1386.90003号 弹簧优化及其应用127.查姆:施普林格(ISBN 978-3-319-65917-6/hbk;978-3-3169-65919-0/电子书)。十七、637页。(2017). 审核人:Efstratios Rappos(奥邦) MSC公司:90-01 90C05(二氧化碳) 90-08 90-04 第68页第15页 65千5 PDF格式BibTeX公司 XML格式引用 \textit{N.Ploskas}和\textit{N.Samaras},使用MATLAB进行线性编程。查姆:施普林格(2017;Zbl 1386.90003) 全文: 内政部
乔治·泽采;迪特里赫·库斯克;马库斯·洛伊 在布尔闭合的全三重奏和有理克里普克框架上。 (英语) Zbl 1366.68155号 理论计算。系统。 60,第3号,438-472(2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Zetzsche}等人,《理论计算》。系统。60,第3号,438--472(2017;Zbl 1366.68155) 全文: 内政部 链接
穆罕默德·哈提卜;安托万·吉拉德;Thao Dang先生 定时合同下嵌入式控制器的调度。 (英语) Zbl 1369.93359号 第20届ACM混合系统国际会议论文集:计算与控制,HSCC 2017,美国宾夕法尼亚州匹兹堡,2017年4月18日至20日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4590-3)。131-140 (2017).MSC公司:93元57 65年第68季度 90立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{M.Al-Khatib}等人,《第20届ACM混合系统国际会议论文集:计算与控制》,HSCC 2017,匹兹堡,宾夕法尼亚州,美国,2017年4月18-20日。纽约州纽约市:计算机协会(ACM)。131-140(2017年;Zbl 1369.93359) 全文: 内政部 哈尔
塞戈维亚·埃尔南德斯,胡安·加布里埃尔;戈梅斯·卡斯特罗,费尔南多·以色列 使用Aspen Plus进行随机流程优化。 (英语) Zbl 1375.90005号 佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4987-8510-5/hbk;978-1-4977-8511-2/电子书)。十七、223页。(2017). 审核人:Efstratios Rappos(奥邦) MSC公司:90-04 90立方厘米 97N80型 第68页第15页 97M60毫米 97M50型 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Segovia-Hernández}和\textit{F.I.Gómez-Castro},使用Aspen Plus进行随机过程优化。佛罗里达州博卡拉顿:CRC出版社(2017;Zbl 1375.90005) 全文: 链接
曼纽尔·博迪尔斯基;施耐德、弗里德里希·马丁 可数结构的自同态幺半群的拓扑特征。 (英语) 兹比尔1423.20065 代数大学。 77,第3期,251-269(2017).MSC公司:20立方米 03C07号机组 03立方厘米15 20平方米 08A40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{F.M.Schneider},代数大学。77,第3号,251--269(2017;Zbl 1423.20065) 全文: 内政部 arXiv公司
何塞·梅塞盖尔;斯蒂芬·斯基里克 初始有序代数中的方程公式和模式运算。 (英语) 兹比尔1362.68054 正式Asp。计算。 29,第3期,423-452(2017).MSC公司:68号30 03B70号 第68页第15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik},正式Asp。计算。29,第3号,423--452(2017;Zbl 1362.68054) 全文: 内政部
伊恩·邓宁;乔伊·休切特;卢宾,迈尔斯 JuMP:用于数学优化的建模语言。 (英语) Zbl 1368.90002号 SIAM版本。 59,第2期,295-320(2017).MSC公司:90-04 90C05(二氧化碳) 90C06型 90立方 65D25个 PDF格式BibTeX公司 XML格式引用 \textit{I.Dunning}等人,SIAM Rev.59,No.2,295--320(2017;Zbl 1368.90002) 全文: 内政部 arXiv公司
威廉·哈特(William E.Hart)。;卡尔·D·莱尔德。;Jean-Paul Watson先生;大卫·L·伍德拉夫。;加布里埃尔·A·哈克贝尔。;Nicholson,Bethany L。;约翰·D·西罗拉。 Pyomo–Python中的优化建模。第二版。 (英语) Zbl 1370.90003号 弹簧优化及其应用67.商会:施普林格出版社(ISBN 978-3-319-58819-3/hbk;978-3-319-58821-6/ebook)。十八、277页。(2017).MSC公司:90-01 00安培71 第68页第15页 68瓦30 90-04 90摄氏度 PDF格式BibTeX公司 XML格式引用 \textit{W.E.Hart}等人,Pyomo——Python中的优化建模。第二版。查姆:施普林格(2017;Zbl 1370.90003) 全文: 内政部
斯鲁扬·库马尔·恩甘蒂;奥斯卡·H·伊巴拉。;卡里、莉拉;斯特芬·科佩基 关于DNA重叠组装的进一步说明。 (英语) Zbl 1359.68069号 Inf.计算。 253,第1部分,143-154(2017).MSC公司:2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Enaganti}等人,《信息计算》。253,第1部分,143--154(2017;Zbl 1359.68069) 全文: 内政部
欧文·格里菲斯 推理和量化。 (英语) Zbl 1417.03213号 圣母院J.形式逻辑 58,第1期,107-113(2017).MSC公司:03B65号 03年10月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{O.Griffiths},《圣母院J.形式逻辑》58,第1期,第107-113页(2017;Zbl 1417.03213) 全文: 内政部
阿诺德·奥斯特拉;达尼埃拉·迪亚斯 代数、拓扑和逻辑中的自由布尔代数。 (西班牙语)。英文摘要) Zbl 07802831号 博尔。材料(N.S.) 23,第2期,143-163(2016).MSC公司:03克05 03B65号 05年6月 06至75 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{A.Oostra}和\textit{D.Díaz},波尔。材料(N.S.)23,编号2,143--163(2016;Zbl 07802831) 全文: 链接
奥斯卡·H·伊巴拉。 语言类关于生物运算的可判定性和闭包性质。 (英语) Zbl 1415.68131号 自然计算。 15,第2期,225-234(2016).MSC公司:65年第68季度 2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra},自然计算。15,第225-234号(2016年;兹bl 1415.68131) 全文: 内政部
李宁;赵忠英;周,荣;张勇;冯胜忠 实时频道推荐:一边看电视一边灵活切换。 (英语) Zbl 1475.68375号 朱大明(编辑)等,算法的前沿。2016年6月30日至7月2日,中国青岛,一汽2016年第十届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9711, 183-193 (2016).MSC公司:68层35 68周27 68瓦40 90立方厘米35 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Ning}等人,Lect。注释计算。科学。9711、183--193(2016年;Zbl 1475.68375) 全文: 内政部
马蒂亚斯·昆泽;马蒂亚斯·韦斯克 行为模型。从建模有限自动机到分析业务流程。 (英语) Zbl 1382.68003号 查姆:施普林格(ISBN 978-3-319-44958-6/hbk;978-3-3169-44960-9/电子书)。xii,279页。(2016).MSC公司:68-01 65年第68季度 第68季度第60季度 68问题85 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kunze}和\textit{M.Weske},行为模型。从建模有限自动机到分析业务流程。查姆:斯普林格(2016;Zbl 1382.68003) 全文: 内政部
塞扎尔·坎帕努;内尔玛·莫雷拉;罗杰里奥·里斯 区分操作和关闭。 (英语) 兹比尔1373.68278 芬丹。通知。 148,编号3-4,243-266(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Cámpeanu}等人,Fundam。通知。148,编号3--4,243--266(2016;Zbl 1373.68278) 全文: 内政部 arXiv公司
海松·埃姆;Han、Yo-Sub;加琳娜·吉尔亚斯科娃 说明非返回正规语言基本操作的复杂性。 (英语) Zbl 1357.68105号 芬丹。通知。 144,第2期,161-182(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-S.Eom}等人,Fundam。通知。144,No.2,161--182(2016;Zbl 1357.68105) 全文: 内政部
贾努斯·布尔佐夫斯基;西尔维·戴维斯;刘伯阳维克多 最复杂的常规理想语言。 (英语) 兹比尔1401.68214 离散数学。西奥。计算。科学。 18,第3号,第15号论文,25页(2016年).MSC公司:第68季度第70季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Brzozowski}等人,《离散数学》。西奥。计算。科学。18,第3号,第15号论文,25页(2016;Zbl 1401.68214) 全文: arXiv公司 链接
马丁·希尔舍尔;梅克·施瓦姆伯格 证明自治城市交通安全的抽象模型。 (英语) 兹比尔1401.68199 Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格(ISBN 978-3-319-46749-8/pbk;978-3-3169-46750-4/电子书)。《计算机科学讲义》9965、274-292(2016)。MSC公司:第68季度第60季度 03B70号 65年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hilscher}和\textit{M.Schwammberger},莱克特。注释计算。科学。9965274-292(2016年;Zbl 1401.68199) 全文: 内政部
卡隆,帕斯卡;Jean-Gabriel卢克;卢多维奇·米格诺;布鲁诺·帕特鲁 结合布尔运算的链式的状态复杂性:一种统一的方法。 (英语) Zbl 1351.68137号 发现的国际期刊。计算。科学。 27,第6号,675-703(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Caron}等人,国际期刊发现。计算。科学。27,第6号,675--703(2016;Zbl 1351.68137) 全文: 内政部 arXiv公司
克劳斯·里希特 C++中的优化。基础和算法。(C++中的Optimierung。Grundlagen und Algorithmen。) (德语) Zbl 1428.90002号 Weinheim:Wiley-VCH(ISBN 978-3-527-34107-8/pbk;978-3-537-80080-3/电子书)。xiv,202页。(2016).MSC公司:90-01 90C05(二氧化碳) 90立方 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Richter},C++中的Optimierung。格兰德拉根与算法。Weinheim:Wiley VCH(2016年;兹bl 1428.90002)
克里斯蒂安·沃尔姆;蒂姆·利希特 普通代数中语言歧义的正确处理。 (英语) Zbl 1478.03062号 Annie Foret(编辑)等人,《形式语法》。第20届和第21届国际会议,FG 2015,西班牙巴塞罗那,2015年8月。修订了选定的论文。2016年8月,意大利博赞,FG 2016。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9804, 306-322 (2016).MSC公司:03B65号 91层20 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{C.Wurm}和\textit{T.Lichte},莱克特。注释计算。科学。9804306--322(2016;Zbl 1478.03062) 全文: 内政部
赵大中;Han、Yo-Sub;蒂莫西·吴;凯·萨洛马 Outfix-guided插入(扩展抽象)。 (英语) Zbl 1436.68166号 Brlek,Srečko(编辑)等人,《语言理论的发展》。2016年7月25日至28日,第20届国际会议,DLT 2016,加拿大蒙特利尔。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9840, 102-113 (2016).MSC公司:65年第68季度 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{D.-J.Cho}等人,Lect。注释计算。科学。9840、102-113(2016年;Zbl 1436.68166) 全文: 内政部
让-纪尧姆大仲马;多米尼克·杜瓦尔;伯拉克·埃基奇;Damien Pous;珍妮·克劳德·雷纳德 异常的相对Hilbert-Post完整性。 (英语) Zbl 1460.68024号 Kotsireas,Ilias S.(编辑)等人,《计算机和信息科学的数学方面》。2015年11月11日至13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9582, 596-610 (2016).MSC公司:第68页第15页 03B35型 03B70号 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.-G.Dumas}等人,Lect。注释计算。科学。9582596--610(2016;Zbl 1460.68024) 全文: 内政部 哈尔
丹尼尔·卡舍克 书评:J.C.Nash,使用R工具的非线性参数优化。 (英语) Zbl 1336.00036号 生物。J。 58,第2期,428-429(2016).MSC公司:00年11月17日 90-01 90立方 90-08 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Kaschek},生物。J.58,第2号,428--429(2016;Zbl 1336.00036) 全文: 内政部
卡蒂亚·洛塞曼;维姆·马滕斯;马蒂亚斯·尼沃思 确定性正则表达式的闭包属性和描述复杂性。 (英语) Zbl 1338.68154号 西奥。计算。科学。 627,54-70(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Losemann}等人,Theor。计算。科学。627、54-70(2016年;Zbl 1338.68154) 全文: 内政部
亚历山大·帕卢达基斯;凯·萨洛马;塞利姆·G·阿克尔。 有限不确定性一元NFA的操作状态复杂度。 (英语) Zbl 1332.68125号 西奥。计算。科学。 610,A部分,108-120(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Palioudakis}等人,Theor。计算。科学。610,A部分,108-120(2016;Zbl 1332.68125) 全文: 内政部
卡兰迪卡尔,P。;尼沃思,M。;Schnoebelen博士。 关于包含子单词和超词的正则语言的闭包和内部的状态复杂性。 (英语) Zbl 1332.68118号 西奥。计算。科学。 610,A部分,91-107(2016).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Karandikar}等人,Theor。计算。科学。610,A部分,91-107(2016;Zbl 1332.68118) 全文: 内政部 arXiv公司
赵大中;Han、Yo-Sub;Ko、Sang-Ki;凯·萨洛马 反演操作的状态复杂性。 (英语) Zbl 1332.68110号 西奥。计算。科学。 610,A部分,2-12(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.-J.Cho}等人,Theor。计算。科学。610,A部分,2--12(2016;Zbl 1332.68110) 全文: 内政部
大卫·布雷索林;卢卡·杰雷蒂;里卡多·穆拉多尔;保罗·菲奥里尼;蒂齐亚诺别墅 应用于机器人手术的形式验证。 (英语) Zbl 1403.93140号 van Schuppen,Jan H.(编辑)等人,《分布式系统的协调控制》。商会:施普林格出版社(ISBN 978-3-319-10406-5/pbk;978-3-319-10407-2/ebook)。《控制与信息科学课堂讲稿》456347-355(2015)。MSC公司:93C85号 93个B03 90B25型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Lect。票据控制信息科学。456347-355(2015年;Zbl 1403.93140) 全文: 内政部
苏荣 计算有限makespan可控子语言的多项式时间算法。 (英语) Zbl 1360.68888号 IEEE传输。自动。控制 60,第2期,534-539(2015).MSC公司:68周05 65年第68季度 65年第68季度 90立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{R.Su},IEEE传输。自动。控制60,No.2,534--539(2015;Zbl 1360.68888) 全文: 内政部
梁天一;内斯塔·齐斯卡里泽;安德鲁·雷诺兹;塞萨尔·蒂内利;克拉克·巴雷特 无界字符串上正则成员资格和长度约束的决策过程。 (英语) Zbl 1471.68119号 Lutz,Carsten(编辑)等人,《组合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9322135-150(2015年)。MSC公司:65年第68季度 03B25号 03B35型 68T20型 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Liang}等人,Lect。注释计算。科学。9322,135-150(2015;Zbl 1471.68119) 全文: 内政部
克里斯·希恩;马尔蒂·卡沃宁 可逆单子计算。 (英语) Zbl 1351.68100号 Ghica,Dan(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319217-237,仅电子版(2015)。MSC公司:2005年第68季度 18个C20 18立方厘米50 18日第15天 第81页,共15页 81页68 PDF格式BibTeX公司 XML格式引用 \textit{C.Heunen}和\textit{M.Karvonen},电子。注释Theor。计算。科学。319、217--237(2015;Zbl 1351.68100) 全文: 内政部 arXiv公司
乔伊·埃雷蒙迪;奥斯卡·H·伊巴拉。;McQuillan,伊恩 确定性可逆有界计数器上的插入操作。 (英语) Zbl 1423.68249号 Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8977, 200-211 (2015).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eremondi}等人,Lect。注释计算。科学。8977,200--211(2015;Zbl 1423.68249) 全文: 内政部 arXiv公司
海因里希·奥迪 多通道空间逻辑的不可解释性结果。 (英语) Zbl 1471.03049号 Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9399, 404-421 (2015).MSC公司:03B45号 03B25号 65年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Ody},莱克特。注释计算。科学。9399、404--421(2015;Zbl 1471.03049) 全文: 内政部