阿伦·阿斯拉纳吉奇;佩雷斯(Jorge A.Pérez)。;安达·阿梅利亚帕拉马里厄克 \(\pi\)-演算的最小会话类型。 (英语) Zbl 07825551号 Inf.计算。 297,文章ID 105148,67 p.(2024).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Arslanagić}等人,《Inf.Compute》。297,文章ID 105148,67页(2024;Zbl 07825551) 全文: 内政部 arXiv公司
斯迪安·利贝奇 反射式高阶微积分:可编码性、典型性和分离性。 (英语) Zbl 07825550号 Inf.计算。 297,文章ID 105138,33 p.(2024).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lybech},Inf.计算。297,文章ID 105138,33 p.(2024;Zbl 07825550) 全文: 内政部
尼尔·卢茨;D.M.斯图尔。 使用有效维数的投影定理。 (英语) Zbl 07825549号 Inf.计算。 297,文章ID 105137,第21页(2024).MSC公司:68问题30 PDF格式BibTeX公司 XML格式引用 \textit{N.Lutz}和\textit{D.M.Stull},信息计算。297,文章ID 105137,21 p.(2024;Zbl 07825549) 全文: 内政部
乔治·巴姆帕利亚斯;张晓燕 路径不可压缩树的生长和不可约性。 (英语) Zbl 07825548号 Inf.计算。 297,文章ID 105136,13 p.(2024).MSC公司:68问题30 PDF格式BibTeX公司 XML格式引用 \textit{G.Barmpalias}和\textit{X.Zhang},Inf.Compute。297,文章ID 105136,13 p.(2024;Zbl 07825548) 全文: 内政部 arXiv公司
伊利亚·齐洛蒂;艾曼纽拉·奥西尼;彼得·斯科尔;巴里·范·列文 Scooby:改进的基于FHE的多方同态秘密共享。 (英语) 兹伯利07825546 Inf.计算。 297,文章ID 105133,18 p.(2024).MSC公司:94A62型 94A60型 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Chillotti}等人,《信息计算》。297,文章ID 105133,18 p.(2024;Zbl 07825546) 全文: 内政部
保罗·C·贝尔。;Mika Hirvensalo;伊戈尔·波塔波夫 \(\operatorname的子半群的成员问题{德国}_2(\mathbb{Z})\)是NP公司-完整。 (英语) Zbl 07790926号 Inf.计算。 296,文章ID 105132,27 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.C.Bell}等人,信息计算。296,文章ID 105132,27 p.(2024;Zbl 07790926) 全文: 内政部
塞巴斯蒂安·马内思;赫尔穆特·塞德尔;马丁·乌 自上而下的树型传感器组成的功能是可以确定的。 (英语) Zbl 07790925号 Inf.计算。 296,文章ID 105131,26 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Maneth}等人,《信息计算》。296,文章ID 105131,26 p.(2024;Zbl 07790925) 全文: 内政部
Yu Matiyasevich。 朝向黎曼-泽塔函数零点的非迭代计算。 (英语) 兹伯利07790924 Inf.计算。 296,文章ID 105130,13 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Yu.Matiyasevich},信息计算。296,文章ID 105130,13 p.(2024;Zbl 07790924) 全文: 内政部
巴拉兹·格伦茨埃尔(Gerencsér,Balázs);桑博尔·瓦尔科尼 非齐次随机自动机的快速同步。 (英语) Zbl 07790923号 Inf.计算。 296,文章ID 105129,4 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Gerencsér}和\textit{Z.Várkonyi},Inf.Comput。296,文章ID 105129,4 p.(2024;Zbl 07790923) 全文: 内政部 arXiv公司
罗伯特·布雷德里克;罗俊杰 基于前提的简单公式聚合中操纵和贿赂的复杂性。 (英语) Zbl 07790922号 Inf.计算。 296,文章ID 105128,31 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Bredereck}和\textit{J.Luo},Inf.Compute。296,文章ID 105128,31 p.(2024;Zbl 07790922) 全文: 内政部
奥尔加·马蒂诺娃 图行走自动机和星型子图平铺的空性问题的复杂性。 (英语) Zbl 07790921号 Inf.计算。 296,文章ID 105127,19 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.Martynova},Inf.计算。296,文章ID 105127,第19页(2024;Zbl 07790921) 全文: 内政部 arXiv公司
阿什温·巴斯卡;M·普拉文。 约束LTL的可实现性问题。 (英语) Zbl 07790920号 Inf.计算。 296,文章ID 105126,25 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Bhaskar}和\textit{M.Praveen},Inf.Comput。296,文章ID 105126,25 p.(2024;Zbl 07790920) 全文: 内政部 arXiv公司
王寿达;郑伟杰;本杰明·多尔 根据复杂性理论的提示选择正确的算法。 (英语) Zbl 07790919号 Inf.计算。 296,文章ID 105125,28 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Wang}等人,《信息计算》。296,文章ID 105125,28 p.(2024;Zbl 07790919) 全文: 内政部 arXiv公司
吉里什·巴拉克里什南;桑卡迪普查克拉波蒂;纳拉亚纳斯瓦米,新南威尔士州。;Kunihiko Sadakane 简化路径图的数据结构。 (英语) Zbl 07790918号 Inf.计算。 296,文章ID 105124,28 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Balakrishnan}等人,《信息计算》。296,文章ID 105124,28 p.(2024;Zbl 07790918) 全文: 内政部 arXiv公司
苏里亚·特加加夫瓦;S.、Karthik C。;沙拉特·普纳 聚类分类数据:软舍入\(k\)-模式。 (英语) 兹伯利07790917 Inf.计算。 296,文章ID 105115,11 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.T.Gavva}等人,《信息计算》。296,文章ID 105115,11 p.(2024;Zbl 07790917) 全文: 内政部 arXiv公司
艾萨克·麦基;拉胡比尔·奇尼;苏建文 及早检测时间约束冲突。 (英语) Zbl 07790916号 Inf.计算。 296,文章ID 105114,19 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{I.Mackey}等人,《信息计算》。296,文章ID 105114,19 p.(2024;Zbl 07790916) 全文: 内政部
索马耶·戈拉扎德;纳斯林·索尔坦哈 关于达到第四权的广义Reed-Muller码的码字。 (英语) Zbl 07790915号 Inf.计算。 296,文章ID 105113,10 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Golazadeh}和\textit{N.Soltankhah},信息计算。296,文章ID 105113,10 p.(2024;Zbl 07790915) 全文: 内政部
阿里·沙勒;利尼尔·扎米尔;梅赫达·诺朱米安 后量子密码标准化路线图:副通道攻击和对策。 (英语) Zbl 07798825号 Inf.计算。 295,B部分,文章ID 105112,19 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Shaller}等人,《信息计算》。295,B部分,文章ID 105112,19 p.(2023;Zbl 07798825) 全文: 内政部
马丁·伯格伦德;亨利克·比约克隆德;约翰娜·比约克隆德;阿德里安·博伊雷特 通过折叠将树转换为图形。 (英语) Zbl 07798824号 Inf.计算。 295,B部分,文章ID 105111,25 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Berglund}等人,信息计算。295,B部分,文章ID 105111,25 p.(2023;Zbl 07798824) 全文: 内政部
张金山;唐波;尹建伟 拟阵约束下不可分割货物的交换。 (英语) 兹伯利07798823 Inf.计算。 295,B部分,文章ID 105110,14 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人,《信息计算》。295,B部分,文章ID 105110,14 p.(2023;Zbl 07798823) 全文: 内政部
滨野正弘 s-有限跃迁核和概率相干空间中的线性指数余弦。 (英语) Zbl 07798822号 Inf.计算。 295,B部分,文章ID 105109,34 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Hamano},信息计算。295,B部分,文章ID 105109,34 p.(2023;Zbl 07798822) 全文: 内政部 arXiv公司
冯、范;安德烈亚斯·马莱蒂 加权双向传感器。 (英语) Zbl 07798821号 Inf.计算。 295,B部分,文章ID 105094,12 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Feng}和\textit{A.Maletti},Inf.Compute。295,B部分,文章ID 105094,12 p.(2023;Zbl 07798821) 全文: 内政部
Peter Kostolányi Bideterministic加权自动机。 (英语) Zbl 07798820号 Inf.计算。 295,B部分,文章ID 105093,17 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Kostolányi},信息计算。295,B部分,文章ID 105093,17 p.(2023;Zbl 07798820) 全文: 内政部
让·内罗 错误检测可变长度代码的拓扑。 (英语) Zbl 07798819号 Inf.计算。 295,B部分,文章ID 105092,第22页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Néraud},Inf.计算。295,B部分,文章ID 105092,22 p.(2023;Zbl 07798819) 全文: 内政部 arXiv公司
Angelopulos、Spyros 带提示的在线搜索。 (英语) Zbl 07798818号 Inf.计算。 295,B部分,文章ID 105091,16 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Angelopulos},Inf.计算。295,B部分,文章ID 105091,16 p.(2023;Zbl 07798818) 全文: 内政部 arXiv公司
王彩霞;杨瑜(Yang,Yu);徐寿军 单位圆盘图中安全控制的算法方面。 (英语) 兹伯利07798817 Inf.计算。 295,B部分,文章ID 105090,11 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.-X.Wang}等人,《信息计算》。295,B部分,文章ID 105090,11 p.(2023;Zbl 07798817) 全文: 内政部
亨宁费尔瑙;佩特拉·沃尔夫;山崎富代 同步确定性下推自动机可能非常困难。 (英语) Zbl 07798816号 Inf.计算。 295,B部分,文章ID 105089,12 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}等人,《信息计算》。295,B部分,文章ID 105089,12 p.(2023;Zbl 07798816) 全文: 内政部
詹斯·奥利弗·古斯菲尔德;马库斯·穆勒·奥尔姆;克里斯蒂安·迪利茨 带有语言参数的时序逻辑。 (英语) Zbl 07798814号 Inf.计算。 295,A部分,文章ID 105087,22 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.O.Gutsfeld}等人,《信息计算》。295,A部分,文章ID 105087,22 p.(2023;Zbl 07798814) 全文: 内政部
斯特凡·霍夫曼 原始置换群的新特征及其在同步自动机中的应用。 (英语) Zbl 07798813号 Inf.计算。 295,A部分,文章ID 105086,15 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.霍夫曼},Inf.计算。295,A部分,文章ID 105086,15 p.(2023;Zbl 07798813) 全文: 内政部
斯特凡·霍夫曼 对于同步字集具有最大状态复杂度的二进制和循环自动机。 (英语) Zbl 07798812号 Inf.计算。 295,A部分,文章ID 105076,14 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.霍夫曼},Inf.计算。295,A部分,文章ID 105076,14 p.(2023;Zbl 07798812) 全文: 内政部
Vaandrager,Frits公司;马苏德·易卜拉希米;布洛克,罗德里克 用一个计时器学习Mealy机器。 (英语) Zbl 07798811号 Inf.计算。 295,A部分,文章ID 105013,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Vaandrager}等人,《信息计算》。295,A部分,文章ID 105013,21 p.(2023;Zbl 07798811) 全文: 内政部
塞米扬·彼得罗夫;亚历山大·奥霍金 关于双向有限自动机到明确有限自动机的转换。 (英语) Zbl 07798810号 Inf.计算。 295,A部分,文章ID 104956,26 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Petrov}和\textit{A.Okhotin},Inf.Comput。295,A部分,文章ID 104956,26 p.(2023;Zbl 07798810) 全文: 内政部
博尔祖·博纳克达尔普尔;莎莱·申瓦尔德 有限字超语言。 (英语) 兹伯利07798809 Inf.计算。 295,A部分,文章ID 104944,18 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}和\textit{S.Sheinvald},Inf.Comput。295,A部分,文章ID 104944,18 p.(2023;Zbl 07798809) 全文: 内政部
萨宾·布罗达;安东尼奥·马基雅维罗;内尔玛·莫雷拉;罗杰里奥·里斯 带有洗牌和交集的正则表达式的位置自动机。 (英语) Zbl 07798808号 Inf.计算。 295,A部分,文章ID 104917,第21页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Broda}等人,信息计算。295,A部分,文章ID 104917,21 p.(2023;Zbl 07798808) 全文: 内政部
费比安·伯克曼;斯特凡·米利厄斯;海宁·乌尔巴特 没有布尔运算的艾伦伯格多样性定理。 (英语) Zbl 07798807号 Inf.计算。 295,A部分,文章ID 104916,第30页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Birkmann}等人,《信息计算》。295,A部分,文章ID 104916,30 p.(2023;Zbl 07798807) 全文: 内政部
大卫·贝朗格;高自远;桑杰·贾恩;李伟;弗兰克·斯蒂芬 可学习性和正等价关系。 (英语) Zbl 07798806号 Inf.计算。 295,A部分,文章ID 104913,21 p.(2023).MSC公司:68问题32 03D25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Belanger}等人,《信息计算》。295,A部分,文章ID 104913,21 p.(2023;Zbl 07798806) 全文: 内政部 arXiv公司
米哈伊尔·克里金;亚历山大·奥霍金 一维细胞自动机最难的语言。 (英语) 兹伯利07798805 Inf.计算。 295,A部分,文章ID 104891,17 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Mrykhin}和\textit{A.Okhotin},Inf.Compute。295,A部分,文章ID 104891,17 p.(2023;Zbl 07798805) 全文: 内政部
乔瓦尼·皮奇奇尼;布拉尼斯拉夫·罗万;萨多夫斯克,西蒙 信息的有用性和一元正则语言的可分解性。 (英语) Zbl 07798804号 Inf.计算。 295,A部分,文章ID 104868,19 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Pighizini}等人,《信息计算》。295,A部分,文章ID 104868,第19页(2023;Zbl 07798804) 全文: 内政部
卡洛斯·马丁·维德(编辑);比安卡·特鲁特(编辑) 特刊:第十五届语言与自动机理论与应用国际会议论文集,LATA 2021。 (英语) 兹伯利07798803 Inf.计算。 295,A部分,文章ID 105101,3 p.(2023).MSC公司:00亿Bxx 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Martín-Vide}(编辑)和\textit{B.Truthe}(主编),Inf.Comput。295,A部分,文章ID 105101,3 p.(2023;Zbl 07798803) 全文: 内政部
迪亚斯·多明古兹,迭戈;冈萨洛·纳瓦罗 使用字符串压缩为重复文本高效构建BWT。 (英语) Zbl 07742417号 Inf.计算。 294,文章ID 105088,31 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Díaz-Domínguez}和\textit{G.Navarro},Inf.Comput。294,文章ID 105088,第31页(2023;Zbl 07742417) 全文: 内政部 arXiv公司
彭俊强;肖明宇 SAT在公式长度方面的进一步改进。 (英语) Zbl 07742416号 Inf.计算。 294,文章ID 105085,25 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Peng}和\textit{M.Xiao},Inf.Compute。294,文章ID 105085,25 p.(2023;Zbl 07742416) 全文: 内政部
弗洛里安·布鲁斯;马丁·兰格 定时递归CTL的尾部递归片段。 (英语) Zbl 07742415号 Inf.计算。 294,文章ID 105084,第18页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Bruse}和\textit{M.Lange},信息计算。294,文章ID 105084,18 p.(2023;Zbl 07742415) 全文: 内政部
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 Pspace(Pspace)-子区间和后缀的时间逻辑的完整性。 (英语) Zbl 07742414号 Inf.计算。 294,文章ID 105083,20 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。294,文章ID 105083,20 p.(2023;Zbl 07742414) 全文: 内政部
杰斯珀·詹森;Mampentzidis、Konstantinos;桑迪亚,T.P。 构建一个小型且信息丰富的系统发育超级树。 (英语) Zbl 07742413号 Inf.计算。 294,文章ID 105082,19 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Jansson}等人,《信息计算》。294,文章ID 105082,19 p.(2023;Zbl 07742413) 全文: 内政部
马西莫·贝内雷塞蒂;法比奥·莫加维罗;阿德里亚诺·佩隆 驯服策略逻辑:非重复碎片。 (英语) Zbl 07742412号 Inf.计算。 294,文章ID 105081,25 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Beneresetti}等人,信息计算。294,文章ID 105081,25 p.(2023;Zbl 07742412) 全文: 内政部
奥斯卡·H·伊巴拉。;伊恩·麦克奎伦 关于某些类机器和应用程序的决策问题的复杂性。 (英语) Zbl 07742411号 Inf.计算。 294,文章ID 105080,第21页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{I.McQuillan},Inf.Comput。294,文章ID 105080,21 p.(2023;Zbl 07742411) 全文: 内政部
罗布·范格拉贝克 在具有超时的进程代数中建模互斥。 (英语) Zbl 07742410号 Inf.计算。 294,文章ID 105079,36 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},Inf.计算。294,文章ID 105079,36 p.(2023;Zbl 07742410) 全文: 内政部 arXiv公司
杰克·H·卢茨。;尼尔·卢茨;埃尔维拉·马约多莫 扩大了点对集原则的适用范围。 (英语) Zbl 07742409号 Inf.计算。 294,文章ID 105078,第19页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.H.Lutz}等人,《信息计算》。294,文章ID 105078,19 p.(2023;Zbl 07742409) 全文: 内政部 arXiv公司
安德烈亚斯·马莱蒂;莉娜·卡塔琳娜·希弗 组合范畴文法作为加权森林的生成器。 (英语) Zbl 07742407号 Inf.计算。 294,文章ID 105075,24 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Maletti}和\textit{L.K.Schiffer},Inf.Compute。294,文章ID 105075,24 p.(2023;Zbl 07742407) 全文: 内政部
拉斐尔·吉安卡洛;乔瓦尼·曼齐尼;安东尼奥·雷斯蒂沃;乔瓦娜·罗森;玛丽内拉·西奥蒂诺 压缩文本索引的一类新的字符串转换。 (英语) Zbl 07742406号 Inf.计算。 294,文章ID 105068,16 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Giancarlo}等人,《信息计算》。294,文章ID 105068,16 p.(2023;Zbl 07742406) 全文: 内政部 arXiv公司
丹尼尔、雷努·玛丽;安妮莎·托马斯;以利亚·拉辛格祝福;塞拉斯,萨拉贾 基于标准CDH假设的一种增强的基于eCK安全身份的认证密钥协商协议。 (英语) 兹伯利07742405 Inf.计算。 294,文章ID 105067,20 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.M.Daniel}等人,《信息计算》。294,文章ID 105067,20 p.(2023;Zbl 07742405) 全文: 内政部
冯伟明;郭恒;王佳恒 外场铁磁伊辛模型的Swendsen-Wang动力学。 (英语) Zbl 07742404号 Inf.计算。 294,文章ID 105066,34 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{W.Feng}等人,《信息计算》。294,文章ID 105066,34 p.(2023;Zbl 07742404) 全文: 内政部 arXiv公司
柯蒂斯·戴瑞森(Curtis E.Dyreson)。;阿赫桑,M.A.马纳齐尔 使用日志分段时间戳实现有序SQL。 (英语) Zbl 07742403号 Inf.计算。 294,文章ID 105065,24 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.E.Dyreson}和\textit{M.A.M.Ahsan},Inf.Comput。294,文章ID 105065,24 p.(2023;Zbl 07742403) 全文: 内政部
蔡金一;傅志国 八维模型的复杂性分类。 (英语) Zbl 07713428号 Inf.计算。 293,文章ID 105064,38 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Cai}和\textit{Z.Fu},信息计算。293,文章ID 105064,38 p.(2023;Zbl 07713428) 全文: 内政部 arXiv公司
卢克·亨斯伯格;罗伯托·波塞纳托 一种将具有不确定性的简单时间网络转换为可调度形式的更快算法。 (英语) Zbl 07713427号 Inf.计算。 293,文章ID 105063,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Hunsberger}和\textit{R.Posenato},信息计算。293,文章ID 105063,21 p.(2023;Zbl 07713427) 全文: 内政部
刘、莫;阿南塔·帕德马纳巴;拉马努贾姆,R。;王燕京 捆绑包对于一阶模态逻辑来说很划算吗? (英语) Zbl 07713426号 Inf.计算。 293,文章ID 105062,23 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Liu}等人,信息计算。293,文章ID 105062,23 p.(2023;Zbl 07713426) 全文: 内政部 arXiv公司
维拉·科波宁;费利克斯·魏特坎佩尔 有向图模型中部分连续聚合函数的渐近消去。 (英语) Zbl 07713425号 Inf.计算。 293,文章ID 105061,27 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{V.Koponen}和\textit{F.Weitkämper},Inf.Compute。293,文章ID 105061,27 p.(2023;Zbl 07713425) 全文: 内政部 arXiv公司
赫班特、克洛伊;大卫·波因契瓦尔 可追踪的恒定大小多权限凭证。 (英语) Zbl 07713424号 Inf.计算。 293,文章ID 105060,第22页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Hébant}和\textit{D.Pointcheval},Inf.Comput。293,文章ID 105060,22 p.(2023;Zbl 07713424) 全文: 内政部 哈尔
克洛伊·卡歇;索哈卜·艾哈迈德;卢克·德马雷斯特;塞雷娜·里巴克;阿里尔·哈姆林;本杰明·富勒 多随机投影内积加密,应用于虹膜生物特征的邻近搜索加密。 (英语) Zbl 07713423号 Inf.计算。 293,文章ID 105059,第27页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Cachet}等人,Inf.Comput。293,文章ID 105059,27 p.(2023;Zbl 07713423) 全文: 内政部
亚历克西斯·贝达德;西尔万·霍尔 事件流处理的形式验证:BeepBeep流处理管道的模型检查。 (英语) Zbl 07713422号 Inf.计算。 293,文章ID 105058,34 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Bédard}和\textit{S.Hallé},Inf.Comput。293,文章ID 105058,34 p.(2023;Zbl 07713422) 全文: 内政部
费多尔·福明。;Petr A.Golovach。;迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。 罗密欧和朱丽叶能见面吗?或者在图表上与对手进行约会游戏。 (英语) Zbl 07713421号 Inf.计算。 293,文章ID 105049,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.V.Fomin}等人,《信息计算》。293,文章ID 105049,21 p.(2023;Zbl 07713421) 全文: 内政部
爱丽丝·拉斐尔;马蒂奥·扎瓦特里 减少DTP中的析取数。 (英语) Zbl 07713420号 Inf.计算。 293,文章ID 105048,第7页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Raffaele}和\textit{M.Zavatteri},Inf.Comput。293,文章ID 105048,第7页(2023;Zbl 07713420) 全文: 内政部
安东尼奥·布恰雷利;迪莉娅·凯斯纳;亚历杭德罗·雷奥斯;安德烈斯·维索 重温了bang演算。 (英语) Zbl 07713419号 Inf.计算。 293,文章ID 105047,37 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Bucciarelli}等人,《信息计算》。293,文章ID 105047,37 p.(2023;Zbl 07713419) 全文: 内政部
陈兆华;邓小铁;黄文翰;李汉宇;李宇豪 近似纳什均衡的Tsaknakis-Spirakis下降法的紧性。 (英语) Zbl 07713418号 Inf.计算。 293,文章ID 105046,29 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}等人,《信息计算》。293,文章ID 105046,29 p.(2023;Zbl 07713418) 全文: 内政部 arXiv公司
Kirshanova,埃琳娜;亚历山大·梅 用提示打破基于Goppa的McEliece。 (英语) Zbl 07713417号 Inf.计算。 293,文章ID 105045,14 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{E.Kirshanova}和\textit{A.May},Inf.Compute。293,文章ID 105045,14 p.(2023;Zbl 07713417) 全文: 内政部
理查德·加纳 抽象环境中的超规范化。 (英语) Zbl 07713416号 Inf.计算。 293,文章ID 105044,27 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Garner},信息计算。293,文章ID 105044,27 p.(2023;Zbl 07713416) 全文: 内政部
新浪Shiehian 具有多项式模量的LWE的mrNISC。 (英语) Zbl 07713415号 Inf.计算。 293,文章ID 105043,11 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Shiehian},Inf.计算。293,文章ID 105043,11 p.(2023;Zbl 07713415) 全文: 内政部
关中李;李绿洲 具有可调参数的确定性量子搜索:实现和应用。 (英语) Zbl 07687228号 Inf.计算。 292,文章ID 105042,18 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Li}和\textit{L.Li},信息计算。292,文章ID 105042,18 p.(2023;Zbl 07687228) 全文: 内政部 arXiv公司
Hayato高桥 关于条件概率的随机序列的贝叶斯定义。 (英语) Zbl 07687227号 Inf.计算。 292,文章ID 105041,13 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{H.Takahashi},信息计算。292,文章ID 105041,13 p.(2023;Zbl 07687227) 全文: 内政部 arXiv公司
阿曼多·卡斯塔涅达;Aurélie胡罗;菲利普·奎因内克;罗伊,马蒂厄 并发算法的模块化证明任务。 (英语) Zbl 07687226号 Inf.计算。 292,文章ID 105040,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Castañeda}等人,《信息计算》。292,文章ID 105040,21 p.(2023;Zbl 07687226) 全文: 内政部 arXiv公司 哈尔
Soichiro Imoto公司;铃木,Yuichi;博通县卡库加瓦;丰田正泽 改进了空间、时间和本地时间复杂性的原子跨链交换。 (英语) Zbl 07687225号 Inf.计算。 292,文章ID 105039,11 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Imoto}等人,《信息计算》。292,文章ID 105039,11 p.(2023;Zbl 07687225) 全文: 内政部 arXiv公司
陈·阿文;范·杜伊恩(音);Maciej,帕库特;斯特凡·施密德 自调整电网。 (英语) Zbl 07687224号 Inf.计算。 292,文章ID 105038,14 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Avin}等人,《信息计算》。292,文章ID 105038,14 p.(2023;Zbl 07687224) 全文: 内政部
米歇尔·奥通;保罗·G·斯皮拉基斯。;米歇尔·西奥菲拉托斯 容错网络构造器。 (英语) Zbl 07687223号 Inf.计算。 292,文章ID 105037,22 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.Michail}等人,《信息计算》。292,文章ID 105037,22 p.(2023;Zbl 07687223) 全文: 内政部 arXiv公司
Shota Nagahama村;福下大田;井上美子 具有多个能见度的近视发光机器人的环形探索。 (英语) Zbl 07687222号 Inf.计算。 292,文章ID 105036,17 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Nagahama}等人,《信息计算》。292,文章ID 105036,17 p.(2023;Zbl 07687222) 全文: 内政部
阿曼多·卡斯塔涅达;皮埃尔·弗拉吉奥德;阿米·巴斯;塞尔吉奥·拉杰斯鲍姆;罗伊,马蒂厄;科伦汀·特拉弗斯 同步(t)-任意图中的弹性一致性。 (英语) Zbl 07687221号 Inf.计算。 292,文章ID 105035,16 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Castañeda}等人,《信息计算》。292,文章ID 105035,16 p.(2023;Zbl 07687221) 全文: 内政部
何康利;吴,衡阳;陈一香 关于发散敏感的弱概率双相似性。 (英语) 兹比尔07687220 Inf.计算。 292,文章ID 105033,15 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.He}等人,《信息计算》。292,文章ID 105033,15 p.(2023;Zbl 07687220) 全文: 内政部
冯伟志;李勇;安德烈亚·图里尼;莫舍·瓦尔迪。;张丽君 论Büchi补语中有限歧义的力量。 (英语) Zbl 07687219号 Inf.计算。 292,文章ID 105032,27 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{W.Feng}等人,《信息计算》。292,文章ID 105032,27 p.(2023;Zbl 07687219) 全文: 内政部 arXiv公司
奥尔加·马蒂诺娃;亚历山大·奥霍金 明确线性文法的互补非闭性。 (英语) Zbl 07687218号 Inf.计算。 292,文章ID 105031,6 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.Martynova}和\textit{A.Okhotin},Inf.Comput。292,文章ID 105031,6 p.(2023;Zbl 07687218) 全文: 内政部 arXiv公司
布鲁诺·吉隆;乔瓦尼·皮奇奇尼;卢卡·普里吉奥尼埃罗;Daniel Průsh a,丹尼尔 减重图灵机。 (英语) Zbl 07687217号 Inf.计算。 292,文章ID 105030,13 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Guillon}等人,《信息计算》。292,文章ID 105030,13 p.(2023;Zbl 07687217) 全文: 内政部 arXiv公司
Fuentes-Sepülveda,何塞;迭戈·加蒂卡;冈萨洛·纳瓦罗;罗德里格斯,M.安德里亚;塞科,迭戈 空间层次结构的紧凑表示,支持拓扑查询。 (英语) 兹伯利07687216 Inf.计算。 292,文章ID 105029,19 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Fuentes-Sepülveda}等人,《Inf.Compute》。292,文章ID 105029,19 p.(2023;Zbl 07687216) 全文: 内政部
克里斯托弗·波特。 通过2-随机序列的变换实现连续随机性。 (英语) Zbl 07687215号 Inf.计算。 292,文章ID 105028,7 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.P.波特},信息计算。292,文章ID 105028,7 p.(2023;Zbl 07687215) 全文: 内政部
奥斯卡·H·伊巴拉。;伊恩·麦克奎伦 指数、初等和非初等有时限图灵机的新特征。 (英语) Zbl 07687214号 Inf.计算。 292,文章ID 105027,12 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{I.McQuillan},Inf.Comput。292,文章ID 105027,12 p.(2023;Zbl 07687214) 全文: 内政部
汉斯·范·迪特马什 待宣布。 (英语) Zbl 07687213号 Inf.计算。 292,文章ID 105026,42 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch},信息计算。292,文章ID 105026,42 p.(2023;Zbl 07687213) 全文: 内政部 arXiv公司
利亚姆·乔登;菲利普·莫瑟 下压和Lempel-Ziv深度。 (英语) Zbl 07687212号 Inf.计算。 292,文章ID 105025,23 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Jordon}和\textit{P.Moser},Inf.Compute。292,文章ID 105025,第23页(2023;Zbl 07687212) 全文: 内政部 arXiv公司
尤里·古里维奇;安德烈亚斯·布拉斯 量子电路算法的软件科学观。 (英语) Zbl 07687211号 Inf.计算。 292,文章ID 105024,17 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich}和\textit{A.Blass},Inf.Comput。292,文章ID 105024,17 p.(2023;Zbl 07687211) 全文: 内政部 arXiv公司
玛丽亚·丘德诺夫斯基;黄、申伟;帕韦·鲁斯基;苏菲·斯皮克尔;钟明贤 遗传图类中(C_k)着色的复杂性。 (英语) Zbl 07687210号 Inf.计算。 292,文章ID 105015,19 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Chudnovsky}等人,《信息计算》。292,文章ID 105015,19 p.(2023;Zbl 07687210) 全文: 内政部
比恩,克里斯蒂安;比亚尔基古德蒙德松;托马斯·肯,马格努森;海宁市阿尔法森 网格模式的算法一致性分类。 (英语) 兹比尔07687209 Inf.计算。 292,文章ID 105014,18 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Bean}等人,《信息计算》。292,文章ID 105014,第18页(2023;Zbl 07687209) 全文: 内政部 arXiv公司
亚当·加恩佐兹;托马斯·尤金斯基;马特乌什·勒乌科;安德烈·佩尔克 短标签无线网络中的确定尺寸发现和拓扑识别。 (英语) Zbl 07687208号 Inf.计算。 292,文章ID 105010,22 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Gañczorz}等人,《信息计算》。292,文章ID 105010,22 p.(2023;Zbl 07687208) 全文: 内政部 arXiv公司
奥尔加·马蒂诺娃;亚历山大·奥霍金 将图形行走自动机转换为停止、返回和可逆的状态复杂性。 (英语) Zbl 1506.68048号 Inf.计算。 291,文章ID 105011,24 p.(2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Martynova}和\textit{A.Okhotin},信息计算。291,文章ID 105011,24 p.(2023;Zbl 1506.68048) 全文: 内政部
马西耶·加兹达;Robert M.Hierons。 删除冗余拒绝:故障跟踪语义的最小完整测试套件。 (英语) Zbl 1506.68059号 Inf.计算。 291,文章ID 105009,26 p.(2023).MSC公司:68问题85 03B45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Gazda}和\textit{R.M.Hierons},Inf.Compute。291,文章ID 105009,26 p.(2023;Zbl 1506.68059) 全文: 内政部
图鲁·赤城;三井县福纳科市;顺介英纳加 串式压缩机的灵敏度和重复性测量。 (英语) 兹比尔1506.68023 Inf.计算。 291,文章ID 104999,38 p.(2023).MSC公司:68页30 2012年第68季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{T.Akagi}等人,《信息计算》。291,文章ID 104999,38 p.(2023;Zbl 1506.68023) 全文: 内政部 arXiv公司
罗曼·德曼根;吉田、Nobuko 分布式进程的因果计算复杂性。 (英语) Zbl 07641117号 Inf.计算。 290,文章ID 104998,25 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Demangeon}和\textit{N.Yoshida},信息计算。290,文章ID 104998,25 p.(2023;Zbl 07641117) 全文: 内政部
蒂莫西·麦克尼科尔。;Diego A.罗哈斯。 实线上测度弱收敛的有效概念。 (英语) 兹伯利07641116 Inf.计算。 290,文章ID 104997,11 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.H.McNicholl}和\textit{D.A.Rojas},Inf.Compute。290,文章ID 104997,第11页(2023;Zbl 07641116) 全文: 内政部 arXiv公司
阿夫尼,盖伊;什巴希斯·古哈;奥尔纳库普弗曼 定时网络游戏。 (英语) Zbl 07641115号 Inf.计算。 290,文章ID 104996,27 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,《信息计算》。290,文章ID 104996,27 p.(2023;Zbl 07641115) 全文: 内政部
乔治·巴姆帕利亚斯;王伟 随机性低于完整的算术理论。 (英语) Zbl 07641114号 Inf.计算。 290,文章ID 104983,第10页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Barmpalias}和\textit{W.Wang},Inf.Compute。290,文章ID 104983,10 p.(2023;Zbl 07641114) 全文: 内政部 arXiv公司
阿夫沙里语、巴哈雷语;多米尼克·韦尔 非循环高阶递归格式的精确边界。 (英语) Zbl 07641113号 Inf.计算。 290,文章ID 104982,15 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Afshari}和\textit{D.Wehr},Inf.Comput。290,文章ID 104982,15 p.(2023;Zbl 07641113) 全文: 内政部
Jean-François拉斯金(编辑);大卫·布雷索林(编辑) 特刊:第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集(GandALF 2020)。 (英语) Zbl 07629169号 Inf.计算。 289,B部分,文章ID 104980,2 p.(2022).MSC公司:00亿Bxx 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Raskin}(编辑)和\textit{D.Bresolin}(主编),Inf.Compute。289,B部分,文章ID 104980,2 p.(2022;Zbl 07629169) 全文: 内政部
弗洛里安·布鲁斯;约格·克里克;马丁·兰格;马尔科·Sälzer 局部高阶不动点迭代。 (英语) 兹伯利07629168 Inf.计算。 289,B部分,文章ID 104963,17 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Bruse}等人,《信息计算》。289,B部分,文章ID 104963,17 p.(2022;Zbl 07629168) 全文: 内政部 arXiv公司
奥延德里拉·多贝;艾丽卡·阿尔布拉汉姆;埃齐奥·巴托西;博尔祖·博纳克达尔普尔 马尔可夫决策过程的模型检验超属性。 (英语) Zbl 07629167号 Inf.计算。 289,B部分,文章ID 104978,24 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.Dobe}等人,Inf.计算。289,B部分,文章ID 104978,24 p.(2022;Zbl 07629167) 全文: 内政部
简·Křetínsk;伊曼纽尔·拉姆尼安图;亚历山大·斯利文斯基;马克西米利安·威宁格 简单随机博弈算法的比较。 (英语) Zbl 07629166号 Inf.计算。 289,B部分,文章ID 104885,23 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk椯}et al.,《信息计算》。289,B部分,文章ID 104885,23 p.(2022;Zbl 07629166) 全文: 内政部