×

找到255个文档(结果1–100)

更高层次的结构同一性原理。 (英语) Zbl 1498.03027号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。53-66 (2020).
PDF格式BibTeX公司 XML格式引用

定向湿陷性(研究)。 (英语) Zbl 1440.55013号

Acu,Bahar(编辑)等人,《数学科学进展》。AWM研究研讨会,美国德克萨斯州休斯顿,2019年4月6日至7日。查姆:斯普林格。女性数学协会。序列号。21, 255-271 (2020).
PDF格式BibTeX公司 XML格式引用

持久1循环:定义、计算及其应用。 (英语) Zbl 1524.68393号

Marfil,Rebeca(编辑)等人,《图像环境中的计算拓扑》。2019年1月24日至25日,西班牙马拉加,第七届国际研讨会,CTIC 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11382, 123-136 (2019).
PDF格式BibTeX公司 XML格式引用

计算共识减半和Borsuk-Ulam定理的精确解。 (英语) Zbl 1498.68120号

Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第138条,第14页(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

半代数集同调计算的最新进展。 (英语) Zbl 1434.55003号

Manea,Florin(编辑)等人,《前瞻性和工业计算》。2019年7月15日至19日在英国达勒姆举行的第十五届欧洲可计算性会议(CiE 2019)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11558, 1-12 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

部分高维自动机中的树。 (英语) Zbl 1524.68202号

Bojañczyk,Mikołaj(编辑)等人,《软件科学和计算结构基础》。第22届国际会议FOSSACS 2019,作为欧洲软件理论与实践联合会议的一部分,于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11425, 224-241 (2019).
PDF格式BibTeX公司 XML格式引用

有效计算\(\mathbb{R}^3\)中的高度持久性和同源性生成器。 (英语) Zbl 1432.68475号

Chan,Timothy M.(编辑),《第30届ACM-SIAM离散算法年度研讨会论文集》,2019年1月6日至9日,美国加利福尼亚州圣地亚哥,SODA 2019。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。2649-2662 (2019).
PDF格式BibTeX公司 XML格式引用

用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 (英语) Zbl 1498.03045号

Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27773-87(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

函数的同调理论:非均匀布尔复杂性分离和通过代数拓扑的VC维界,以及同调Farkas引理。 (英语) Zbl 1462.68063号

Karlin,Anna R.(编辑),第九届理论计算机科学创新会议,ITCS 2018,美国马萨诸塞州剑桥,2018年1月11-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。94,第56条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交错距离的计算复杂性。 (英语) Zbl 1489.68103号

Speckmann,Bettina(编辑)等人,第34届计算几何国际研讨会,2018年6月11日至14日,匈牙利布达佩斯,SoCG 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。99,第13条,第15页(2018年)。
PDF格式BibTeX公司 XML格式引用

关于最优同伦的复杂性。 (英语) Zbl 1403.68315号

Czumaj,Artur(编辑),第29届年度ACM-SIAM离散算法研讨会论文集,2018年SODA,美国洛杉矶新奥尔良,2018年1月7日至10日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)(ISBN 978-1-61197-503-1/电子书)。1121-1134 (2018).
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

在单纯形复数中寻找2个球体的参数化复杂性。 (英语) 兹比尔1402.68084

Vollmer,Heribert(编辑)等人,第34届计算机科学理论方面研讨会(STACS 2017),德国汉诺威,2017年3月8-11日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-028-6)。LIPIcs–莱布尼茨国际信息学学报66,第18条,第14页(2017年)。
PDF格式BibTeX公司 XML格式引用

持续同源性和嵌套剥离。 (英语) Zbl 1409.68306号

Krauthgamer,Robert(编辑),第27届ACM-SIAM离散算法年度研讨会论文集,SODA 2016,弗吉尼亚州阿灵顿,美国,2016年1月10日至12日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1234-1245 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

曲面嵌入图的最小圈和同调基。 (英语) Zbl 1387.05053号

Fekete,Sándor(编辑)等人,第32届计算几何国际研讨会,SoCG’16,美国马萨诸塞州波士顿,2016年6月14-17日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-009-5)。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学杂志51,第23条,第15页(2016)。
PDF格式BibTeX公司 XML格式引用

确定紧密性的高效算法。 (英语) Zbl 1387.52008年

Fekete,Sándor(ed.)等人,第32届计算几何国际研讨会,SoCG’16,美国马萨诸塞州波士顿,2016年6月14日至17日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-009-5)。LIPIcs–莱布尼茨国际信息学论文集51,第12条,第15页(2016)。
PDF格式BibTeX公司 XML格式引用

保护立方类型理论:保护递归的路径相等。 (英语) Zbl 1370.68052号

Regnier,Laurent(编辑)等人,2016年8月29日至9月1日,法国马赛CSL’16,第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-022-4)。LIPIcs–莱布尼茨国际信息学学报62,第23条,第17页。(2016).
MSC公司:68纳米30 03B15号机组 03B70号 03G30型 55单位40 68问题55 68吨15
PDF格式BibTeX公司 XML格式引用

定向同伦假说。 (英语) Zbl 1369.55013号

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

读/写协议复合体是可折叠的。 (英语) Zbl 1398.68358号

Kranakis,Evangelos(编辑)等人,《拉丁语2016:理论信息学》。第12届拉丁美洲研讨会,墨西哥恩塞纳达,2016年4月11日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-49528-5/pbk;978-3-562-49529-2/电子书)。计算机科学讲义9644179-191(2016)。
PDF格式BibTeX公司 XML格式引用

有向代数拓扑和并发。有莫里斯·赫利希的前言和塞缪尔·米姆拉姆的前言。 (英语) Zbl 1338.68003号

施普林格应用科学与技术简介数学方法。查姆:施普林格(ISBN 978-3-319-15397-1/pbk;978-3-316-15398-8/电子书)。xi,第167页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于Betti数的计算复杂性:矩阵秩的约简。 (英语) Zbl 1423.55033号

Chekuri,Chandra(编辑),第25届ACM-SIAM离散算法年度研讨会论文集,SODA 2014,波特兰,俄勒冈州,美国,2014年1月5-7日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。152-160 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过组合拓扑进行分布式计算。 (英语) Zbl 1341.68004号

阿姆斯特丹:Elsevier/Morgan Kaufmann(ISBN 978-0-12-404578-1/pbk;978-0-14-404728-0/电子书)。xiv,319页。(2014).
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份