×

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

生存与剥削:脆弱假设下后门和主干的不透明性。 (英语) Zbl 1444.68128号

巴巴拉·卡塔尼亚(编辑)等人,《2019年SOFSEM:计算机科学的理论与实践》。第45届计算机科学理论与实践当前趋势国际会议,2019年1月27日至30日,斯洛伐克,11月斯莫科维奇。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11376247-259(2019年)。
PDF格式BibTeX公司 XML格式引用

可压缩集和可分级集的闭包和非闭包性质。 (英语) Zbl 1425.03014号

Martín-Vide,Carlos(编辑)等人,《语言和自动机理论与应用》。2019年3月26日至29日在俄罗斯圣彼得堡举行的第13届LATA国际会议,会议记录。查姆:施普林格。莱克特。注释计算。科学。11417, 177-189 (2019).
PDF格式BibTeX公司 XML格式引用

LWPP和WPP的鲁棒性,以及在图形重建中的应用。 (英语) Zbl 1512.68103号

Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第51条,第14页(2018年)。
PDF格式BibTeX公司 XML格式引用

分区选举控制的更自然模式。 (英语) Zbl 1405.91151号

沃尔什,托比(编辑),算法决策理论。第四届国际会议,ADT 2015,美国肯塔基州列克星敦,2015年9月27日至30日。诉讼程序。查姆:施普林格(ISBN 978-3-319-23113-6/pbk;978-3-3169-23114-3/电子书)。计算机科学讲义9346。《人工智能课堂讲稿》,396-413(2015)。
PDF格式BibTeX公司 XML格式引用

搜索与决策选举操纵问题。 (英语) Zbl 1354.91054号

Portier,Natacha(编辑)等人,第30届计算机科学理论方面国际研讨会,STACS’13,德国基尔,2013年2月27日至3月2日。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-50-7)。LIPIcs–莱布尼茨国际信息学论文集20,377-388(2013)。
PDF格式BibTeX公司 XML格式引用

连续选举中的在线选民控制。 (英语) Zbl 1327.68119号

De Raedt,Luc(编辑)等人,ECAI 2012。第20届欧洲人工智能会议,2012年8月27日至31日,法国蒙彼利埃。诉讼程序。包括第七届人工智能应用大会(PAIS-2012)的会议记录和系统演示轨道。阿姆斯特丹:IOS出版社(ISBN 978-1-61499-097-0/pbk;978-1-6499-098-7/ebook)。《人工智能和应用前沿》242,396-401(2012)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

批准投票的计算方面。 (英语) Zbl 1348.91101号

Laslier,Jean-François(编辑)等人,《批准投票手册》。柏林:施普林格出版社(ISBN 978-3-642-02838-0/hbk;978-3-662-26413-9/pbk;978-1-642-02839-7/电子书)。《选择与福利研究》,199-251(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

功率-电感比较的复杂性。 (英语) 兹比尔1143.91321

弗莱舍,鲁道夫(编辑)等人,《信息和管理中的算法方面》。2008年6月23日至25日,第四届国际会议,AAIM 2008,中国上海。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-68865-5/pbk)。计算机科学课堂讲稿5034177-187(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

科普兰投票完全抵制建设性控制。 (英语) Zbl 1143.91320号

弗莱舍,鲁道夫(编辑)等人,《信息和管理中的算法方面》。2008年6月23日至25日,第四届国际会议,AAIM 2008,中国上海。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-68865-5/pbk)。计算机科学课堂讲稿5034165-176(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于国王的复杂性。 (英语) Zbl 1135.68517号

Csuhaj-Varjü,Erzébet(编辑)等人,《计算理论基础》。2007年8月27日至30日在匈牙利布达佩斯举行的2007年FCT第16届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74239-5/pbk)。计算机科学课堂讲稿4639,328-340(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于近似最优加权游说,以及正确率与平均情况多项式时间的关系。 (英语) Zbl 1135.91343号

Csuhaj-Varjü,Erzébet(编辑)等人,《计算理论基础》。2007年8月27日至30日在匈牙利布达佩斯举行的2007年FCT第16届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74239-5/pbk)。计算机科学课堂讲稿4639,300-311(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

集群计算和边缘识别的威力。 (英语) Zbl 1178.68276号

Cai,Jin Yi(编辑)等人,计算模型的理论与应用。第三届国际会议,TAMC 2006,中国北京,2006年5月15日至20日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-34021-1/pbk)。计算机科学课堂讲稿3959283-294(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

P-选择性、免疫性和一位的功率。 (英语) Zbl 1175.03024号

Wiedermann,Jiří(编辑)等人,SOFSEM 2006:计算机科学的理论与实践。2006年1月21日至27日,第32届计算机科学理论与实践当前趋势会议,捷克共和国梅辛。诉讼程序。柏林:施普林格出版社(ISBN 3-540-31198-X/pbk)。计算机科学课堂讲稿3831323-331(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在复杂性理论中,对单向函数的结合性、交换性、整体性和强不可逆性进行强制和否定。 (英语) Zbl 1171.68482号

Coppo,Mario(编辑)等人,《理论计算机科学》。第九届意大利会议,2005年ICTCS,2005年10月12日至14日,意大利锡耶纳。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29106-7/pbk)。计算机科学课堂讲稿3701,265-279(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

查询单调图灵化简。 (英语) Zbl 1123.68333号

王璐生(编辑),计算与组合学。第十一届国际年会,COCOON 2005,中国昆明,2005年8月16-29日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28061-8/pbk)。计算机科学课堂讲稿3595895-904(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

查找顶级等效类成员的复杂性。 (英语) Zbl 1196.68107号

Farach-Colton,Martin(编辑),拉丁语2004:理论信息学。第六届拉丁美洲研讨会,阿根廷布宜诺斯艾利斯,2004年4月5-8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21258-2/pbk)。计算机科学课堂讲稿2976,90-99(2004)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

所有超线性逆格式都是coNP-hard格式。 (英语) Zbl 1096.68064号

吉·菲亚拉(编辑)等,《2004年计算机科学数学基础》。2004年8月22日至27日,第29届国际研讨会,MFCS,捷克共和国布拉格。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22823-3/pbk)。计算机科学课堂讲稿3153368-379(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

复杂性导致图形重建。 (英语) 兹比尔1096.68121

吉·菲亚拉(编辑)等,《2004年计算机科学数学基础》。2004年8月22日至27日,第29届国际研讨会,MFCS,捷克共和国布拉格。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22823-3/pbk)。计算机科学课堂讲稿3153287-297(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

完全没有空间开销的计算。 (英语) Zbl 1037.68060号

埃西克·佐尔坦(编辑)等人,《语言理论的发展》。第七届国际会议,DLT 2003,塞格德,匈牙利,2003年7月7日至11日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40434-1/pbk)。莱克特。注释计算。科学。2710, 325-336 (2003).
MSC公司:2005年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

竞争性校准仪产生了改进的Karp-Lipton坍塌结果。 (英语) Zbl 1035.68053号

Alt,Helmut(编辑)等人,STACS 2003。第20届计算机科学理论方面年度研讨会,德国柏林,2003年2月27日至3月1日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-00623-0/pbk)。莱克特。注释计算。科学。2607, 535-546 (2003).
MSC公司:2015年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

如果\(\text{P}\neq\text{NP}\),那么一些强不可逆函数是可逆的。 (英语) Zbl 0999.68076号

Freivalds,Rásiņsh(编辑),《计算理论基础》。2001年8月22日至24日,拉脱维亚里加,FCT,第13届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2138, 162-171 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

P-选择性的代数性质。 (英语) Zbl 0991.68026号

王杰(编辑),《计算与组合学》。第七届国际年会,COCOON 2001,中国桂林,2001年8月20日至23日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2108, 49-58 (2001).
MSC公司:2017年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

计算间隔大小的复杂性。 (英语) Zbl 0986.68043号

Orejas,Fernando(编辑)等人,《自动化、语言和编程》。2001年7月8日至12日在希腊克里特岛举行的第28届国际学术讨论会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2076, 1040-1051 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

带洞的P-免疫集缺乏自约性。 (英语) Zbl 0983.68077号

Calude,C.S.(编辑)等人,《组合数学、可计算性和逻辑》。第三届国际会议记录,DMTCS’01。会议是在弗兰克·哈雷教授80岁生日之际举行的。新西兰奥克兰大学和罗马尼亚康斯坦察大学,2001年。伦敦:施普林格。离散数学和理论计算机科学。115-124 (2001).
MSC公司:2015年第68季度
PDF格式BibTeX公司 XML格式引用

减少NP函数解的数量。 (英语) Zbl 0996.68063号

尼尔森、莫根斯(编辑)等人,《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1893, 394-404 (2000).
PDF格式BibTeX公司 XML格式引用

计算政治:选举制度。 (英语) Zbl 0996.68065号

尼尔森、莫根斯(编辑)等人,《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1893, 64-83 (2000).
PDF格式BibTeX公司 XML格式引用

限制性接受足以解决等价问题。 (英语) Zbl 0948.68091号

乔巴努、加布里埃尔(编辑)等,《计算理论基础》。第12届国际研讨会,FCT’99。1999年8月30日至9月3日,罗马尼亚伊阿什伊。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1684, 124-135 (1999).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

将向下折叠从1对2查询扩展到\(j)-对-(j+1)查询。 (英语) Zbl 0936.68048号

Meinel,Christoph(编辑)等人,STACS 99。1999年3月4日至6日在德国特里尔举行的第十六届计算机科学理论方面年度研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1563, 270-280 (1999).
MSC公司:2015年第68季度
PDF格式BibTeX公司 XML格式引用

稳健的削减。 (英语) Zbl 0912.68051号

徐文莲(编辑)等,《计算与组合学》。1998年8月12日至14日,第四届国际年会,COCOON’98,台湾台北。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1449, 174-183 (1998).
PDF格式BibTeX公司 XML格式引用

走向电路复杂性的第二步——莱斯定理的理论类比。 (英语) Zbl 0914.03051号

Brim,Luboš(编辑)等人,《计算机科学的数学基础》,1998年。第23届国际研讨会,MFCS’98。1998年8月24日至28日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1450, 418-426 (1998).
MSC公司:2015年3月1日 03D25号 65年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用

多项式层次结构中的查询顺序。 (英语) 兹比尔1507.68122

Chlebus,Bogdan S.(编辑)等人,《计算理论基础》。第11届国际研讨会,1997年9月1日至3日,波兰克拉科夫贾吉略大学FCT’97。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1279, 222-232 (1997).
MSC公司:2015年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多项式层次中的向下平移。 (英语) Zbl 1498.68115号

Reischuk,Rüdiger(编辑)等人,STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日,德国吕贝克。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1200, 319-328 (1997).
MSC公司:2015年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

道格森选举的准确分析:刘易斯·卡罗尔1876年的投票系统完全可以并行进入NP。 (英语) Zbl 1401.68097号

Degano,Pierpaolo(编辑)等人,《自动化,语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林:Springer-Verlag(ISBN 978-3-540-63165-1/pbk;978-3-540-69194-5/电子书)。计算机科学课堂讲稿1256214-224(1997)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

见证同构约简和局部搜索。 (英语) Zbl 0883.03023号

安德烈·索比(编辑),《复杂性、逻辑和递归理论》。纽约州纽约市:马塞尔·德克尔。莱克特。Notes纯应用。数学。187, 207-223 (1997).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段