×

找到135个文档(结果1-100)

具有小分隔符的图中证明标记方案的显式时空权衡。 (英语) Zbl 07832762号

Bramas,Quentin(ed.)等人,第25届分布式系统原理国际会议,OPODIS 2021,法国斯特拉斯堡,2021年12月13日至15日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。217,第21条,第22页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

极其深刻的证据。 (英语) Zbl 07829302号

Mark Braverman(编辑),《理论计算机科学会议的第13次创新》,ITCS 2022,美国加州伯克利,2022年1月31日至2月3日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。215,第70条,第23页(2022年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带噪声的学习奇偶性的内存采样下限。 (英语) Zbl 07768405号

Mary Wootters(编辑)等人,《近似、随机化和组合优化》。算法和技术。2021年8月16日至18日,美国华盛顿州西雅图华盛顿大学第24届国际会议(约2021年)和第25届国际会议,RANDOM 2021(虚拟会议)。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。207,第60条,第19页(2021年)。
MSC公司:68瓦20 68周25 90C27型
PDF格式BibTeX公司 XML格式引用

近似近邻分类的边界敏感方法。 (英语) Zbl 07740899号

Mutzel,Petra(编辑)等人,第29届欧洲算法年会。欧洲航天局2021年,葡萄牙里斯本(虚拟会议),2021年9月6日至8日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。204,第44条,第15页(2021)。
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用浮点数值误差开发经过验证的神经网络。 (英语) 兹比尔1497.68309

Drágoi,Cezara(编辑)等人,《静态分析》。第28届国际研讨会,SAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17日至19日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12913, 191-205 (2021).
PDF格式BibTeX公司 XML格式引用

计算奇偶函数的阈值电路的大小、深度和能量。 (英语) Zbl 07765412号

曹一新(编辑)等,第31届算法与计算国际研讨会,国际会计准则委员会2020年,中国香港,虚拟会议,2020年12月14日至18日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。181,第54条,第13页(2020年)。
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

区分Goldreich的PRG的分发和安全应用的时空权衡。 (英语) Zbl 07758323号

Byrka,Jarosław(编辑)等,近似、随机化和组合优化。算法和技术。第23届国际会议,约2020年,第24届国际会议(RANDOM 2020,2020年8月17日至19日),虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。176,第21条,第18页(2020年)。
MSC公司:68瓦20 68周25 90C27型
PDF格式BibTeX公司 XML格式引用

重新审视二进制误差LWE的硬度。 (英语) Zbl 1464.68122号

Liu,Joseph K.(编辑)等人,《信息安全与隐私》。2020年11月30日至12月2日,澳大利亚西澳大利亚州珀斯,第25届澳大拉西亚会议,ACISP 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12248, 425-444 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

两次学习的时间-空间下限。 (英语) 兹伯利07564422

Shpilka,Amir(编辑),第34届计算复杂性会议,CCC 2019,新泽西州新不伦瑞克,2019年7月18-20日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。137,第22条,第39页(2019年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用随机预言机计算自然函数的二次时空下限。 (英语) Zbl 07559099号

Blum,Avrim(编辑),第十届理论计算机科学创新大会,2019年1月10日至12日,美国加利福尼亚州圣地亚哥,ITCS 2019。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。124,第56条,第20页(2019年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无线模型中两个机器人疏散的时间-能量权衡。 (英语) Zbl 1477.68312号

Censor-Hillel,Keren(编辑)等人,《结构信息和通信复杂性》。第26届国际学术讨论会,2019年7月1日至4日,意大利拉奎拉,SIROCCO 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11639, 185-199 (2019).
PDF格式BibTeX公司 XML格式引用

分布式证明中的冗余。 (英语) Zbl 1497.68297号

Schmid,Ulrich(编辑)等人,第32届分布式计算国际研讨会,DISC 2018,美国路易斯安那州新奥尔良,2018年10月15日至19日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。121,第24条,第18页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

全动态箱包装,很少重新包装。 (英语) Zbl 1499.68411号

Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第51条,第24页(2018年)。
MSC公司:68周27 90C27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语义一次读取分支程序的函数组合困难。 (英语) Zbl 1441.68071号

Servedio,Rocco A.(编辑),第33届计算复杂性会议,CCC 2018,2018年6月22日至24日,美国加利福尼亚州圣地亚哥。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。102,第15条,第22页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

简要声明:分布式验证的时空权衡。 (英语) Zbl 1374.68270号

2016年7月25日至28日,美国伊利诺伊州芝加哥,2016年ACM分布式计算原理研讨会论文集,PODC’16。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3964-3)。357-359 (2016).
PDF格式BibTeX公司 XML格式引用

容易取胜,难掌握:有成本的平价游戏中的最佳策略。 (英语) Zbl 1369.68247号

Regnier,Laurent(编辑)等人,2016年8月29日至9月1日,法国马赛CSL’16,第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(ISBN 978-3-95977-022-4)。LIPIcs–莱布尼茨国际信息学学报62,第31条,第17页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

更快的稀疏后缀排序。 (英语) Zbl 1359.68338号

Mayr,Ernst W.(编辑)等人,第31届计算机科学理论方面国际研讨会,STACS’14,法国里昂,2014年3月5日至8日。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-65-1)。LIPIcs–莱布尼茨国际信息学论文集25,386-396(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全擦除的有效证明。 (英语) Zbl 1378.94051号

Abdalla,Michel(编辑)等人,《网络安全与加密》。2014年9月3日至5日,第九届国际会议,SCN 2014,意大利阿马尔菲。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-10878-0/pbk)。计算机科学讲座笔记8642,520-537(2014)。
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

(k\)-sum的空间效率随机化算法。 (英语) Zbl 1425.68453号

Schulz,Andreas S.(编辑)等人,《算法——2014年欧洲账户体系》。2014年9月8日至10日在波兰Wrocław举行的第22届年度欧洲研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8737, 810-829 (2014).
MSC公司:68瓦20 68卢比 68瓦40
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分辨率的时空权衡,超线性空间的超多项式下限。 (英语) Zbl 1286.68180号

Karloff,Howard J.(编辑)等人,第44届ACM计算理论年度研讨会论文集,STOC 2012。2012年5月19日至22日,美国纽约州纽约市。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1245-5)。213-232 (2012).
MSC公司:2017年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

近似多边形成员资格查询。 (英语) 兹比尔1288.68219

第43届ACM计算理论年会论文集,STOC’11。2011年6月6日至8日,美国加利福尼亚州圣何塞。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0691-1)。579-586 (2011).
PDF格式BibTeX公司 XML格式引用

扩展正则表达式:简洁性和可判定性。 (英语) Zbl 1230.68129号

Schwentick,Thomas(编辑)等人,STACS 2011。2011年3月10日至12日,第28届计算机科学理论方面国际研讨会,德国多特蒙德。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-25-5)。LIPIcs–莱布尼茨国际信息学会议录9,507-518,仅电子版(2011年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

改进穷举搜索意味着超多项式下限。 (英语) Zbl 1293.68177号

第42届ACM计算理论年会论文集,STOC’10。2010年6月5日至8日,美国马萨诸塞州剑桥市。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-817-9)。231-240 (2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不相交的一个强直积定理。 (英语) Zbl 1293.68146号

第42届ACM计算理论年会论文集,STOC’10。2010年6月5日至8日,美国马萨诸塞州剑桥市。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-817-9)。77-86 (2010).
PDF格式BibTeX公司 XML格式引用

替代交易证明、线性规划和下限(扩展抽象)。 (英语) Zbl 1230.68187号

Marion,Jean-Yves(编辑)等人,STACS 2010。第27届计算机科学理论方面国际研讨会,法国南希,2010年3月4-6日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-16-3)。LIPIcs–莱布尼茨国际信息学会议录5669-680,仅电子版(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

确定性次指数时间非奇异矩阵完备性的弱化假设。 (英语) Zbl 1230.68093号

Marion,Jean-Yves(编辑)等人,STACS 2010。第27届计算机科学理论方面国际研讨会,法国南希,2010年3月4-6日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-16-3)。LIPIcs–莱布尼茨国际信息学会议录5465-476,仅电子版(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

针对单向函数和PRG攻击的时空权衡。 (英语) Zbl 1283.94061号

Tal Rabin(编辑),《密码学进展-密码2010》。第30届密码学年会,2010年8月15日至19日,美国加利福尼亚州圣巴巴拉。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14622-0/pbk)。计算机科学课堂讲稿6223649-665(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

AM的低端均匀硬度与随机性的权衡。 (英语) Zbl 1232.68059号

STOC'07年。2007年6月11日至13日,美国加利福尼亚州圣地亚哥,第39届ACM计算理论年会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-631-8)。430-439 (2007).
PDF格式BibTeX公司 XML格式引用

一种新的量子下限方法,应用于直接积定理和时空权衡。 (英语) Zbl 1301.81041号

Kleinberg,Jon M.(编辑),第38届ACM计算理论年会论文集,STOC 2006。2006年5月21日至23日,美国华盛顿州西雅图。纽约州纽约市:ACM出版社(ISBN 1-59593-134-1)。618-633 (2006).
MSC公司:81页68
PDF格式BibTeX公司 XML格式引用
全文: 内政部

国际数据加密算法IDEA的并行和串行实现的权衡。 (英语) Zbl 1006.68718号

Koç,Ch etin K.(编辑)等人,《密码硬件和嵌入式系统-CHES 2001》。第三届国际研讨会,法国巴黎,2001年5月14日至16日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2162, 333-347 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

光放大通信系统的可靠性建模。 (英语) Zbl 0910.90152号

Jewell,Nicholas P.(编辑)等人,《寿命数据:可靠性和生存分析模型》。1994年6月15日至17日,美国马萨诸塞州剑桥哈佛大学国际研究会议。多德雷赫特:Kluwer学术出版社。65-69页(1996年)。
MSC公司:90B25型
PDF格式BibTeX公司 XML格式引用

估计密度估计模型中的线性泛函。 (英语) 兹比尔0789.62030

Gupta,Shanti S.(编辑)等人,《统计决策理论及相关主题V.第五届普渡统计决策理论与相关主题国际研讨会论文集》,普渡大学,西拉斐特,印第安纳州(美国),1992年6月14-19日。纽约:Springer-Verlag。99-106 (1994).
MSC公司:62G07年
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件