×

找到63个文档（结果1-63）

最新的 引文 关联
丹尼尔·科恩（Daniel C.Cohen）。;迈克尔·法伯;施穆尔·温伯格

平面内无碰撞运动规划的参数化拓扑复杂性。 （英语） Zbl 1509.55011号

安。数学。工件。智力。 90，编号10，999-1015（2022）.
审核人：恩里克·托雷斯-吉斯（兰利）
MSC公司：55系列40 55立方米 55卢比80 2005年第70季度
PDF格式BibTeX公司 XML格式引用
\textit{D.C.Cohen}等人，《数学年鉴》。工件。智力。90，第10号，999--1015（2022；Zbl 1509.55011）
全文： 内政部 arXiv公司
OA许可证
大卫·奥格;巴丁，德蒙乔伊·泽维尔;亚恩·斯特罗泽基

简单随机博弈的一种通用策略改进方法。 （英语） Zbl 07724185号

Filippo Bonchi等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。202，第12条，第22页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Auger}等人，LIPIcs——莱布尼茨国际程序。通知。202，第12条，22 p.（2021；Zbl 07724185）
全文： 内政部 arXiv公司
斯维特拉娜·塞利瓦诺娃;弗洛里安·斯坦伯格;霍尔格·蒂斯;马丁·齐格勒

偏微分方程线性分析系统解算子的精确实计算。 （英语） Zbl 07497965号

Boulier，François（编辑）等人，《科学计算中的计算机代数》。2021年9月13日至17日，俄罗斯索契，CASC 2021第23届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12865, 370-390 (2021).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{S.Selivanova}等人，Lect。注释计算。科学。12865、370-390（2021；Zbl 07497965）
全文： 内政部
恩斯特·奥尔特豪斯;莎拉·齐格勒

重温最优树分解：一种更简单的线性时间FPT算法。 （英语） Zbl 1479.05294号

Gentile，Claudio（编辑）等人，《图和组合优化：从理论到应用》。第18届科隆-温特图形与组合优化研讨会（CTW2020）会议记录，在线，2020年9月14日至16日。查姆：斯普林格。AIRO Springer系列。5, 67-78 (2021).
MSC公司：05立方厘米70 05二氧化碳 05C85号 68兰特 68宽10
PDF格式BibTeX公司 XML格式引用
\textit{E.Althaus}和\textit{S.Ziegler}，AIRO Springer Ser。5，67-78（2021年；兹比尔1479.05294）
全文： 内政部 arXiv公司
丹尼尔·科恩（Daniel C.Cohen）。;法伯，迈克尔;施穆尔·温伯格

参数化运动规划算法的拓扑结构。 （英语） Zbl 1473.55010号

SIAM J.应用。代数几何。 5，第2期，229-249（2021）.
审核人：JoséCalcines（拉古纳）
MSC公司：55系列40 55立方米 55卢比80 2005年第70季度
PDF格式BibTeX公司 XML格式引用
\textit{D.C.Cohen}等人，SIAM J.Appl。代数几何。5、编号2、229--249（2021；Zbl 1473.55010）
全文： 内政部 arXiv公司
蒂姆·哈特曼（Tim A.Hartmann）。;斯特凡·伦德尔;Gerhard J.Woeginger。

图形上的连续设施位置。 （英语） Zbl 1503.90148号

Daniel Bienstock（编辑）等人，《整数规划和组合优化》。第21届国际会议，IPCO 2020，英国伦敦，2020年6月8日至10日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。12125, 171-181 (2020).
MSC公司：90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Hartmann}等人，Lect。注释计算。科学。12125171--181（2020年；Zbl 1503.90148）
全文： 内政部
大卫·奥格;皮埃尔·库切尼;亚恩·斯特罗泽基

使用布兰德规则更快地求解随机节点较少的简单随机博弈。 （英语） Zbl 07559118号

Niedermeier，Rolf（ed.）等人，第36届计算机科学理论方面国际研讨会，STACS 2019，2019年3月13-16日，德国柏林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。126，第9条，第16页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛D.Auger｝等人，LIPIcs——莱布尼茨国际期刊。通知。126，第9条，第16页（2019年；Zbl 07559118）
全文： 内政部 arXiv公司
乌尔里希·鲍尔;阿披实·拉特霍德;乔纳森·斯普雷尔

膨胀高度的参数化复杂性。 （英语） Zbl 07525450号

Bender，Michael A.（编辑）等人，第27届欧洲算法年会，《2019年欧洲账户体系》，德国慕尼黑/加兴，2019年9月9日至11日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。144，第13条，第15页（2019年）。
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{U.Bauer}等人，LIPIcs——莱布尼茨国际程序。通知。144，第13条，第15页（2019年；Zbl 07525450）
全文： 内政部 arXiv公司
尼科洛·达尔·桑托;西蒙·德帕里斯;安德烈亚·曼佐尼

参数化椭圆对流扩散方程的多空间约化基预条件的数值研究。 （英语） 兹比尔1382.65384

Commun公司。申请。Ind.数学。 8，第1期，282-297（2017）.
MSC公司：65纳米30 35J25型 65F08个 65号55 65年20月 65层10
PDF格式BibTeX公司 XML格式引用
\textit{N.Dal Santo}等人，Commun。申请。Ind.数学。8，第1号，282--297（2017；Zbl 1382.65384）
全文： 内政部
OA许可证
杜珊·克诺普

将图划分为诱导子图。 （英语） Zbl 1487.68181号

Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 338-350 (2017).
MSC公司：68兰特 05立方厘米70 05C85号 68年第27季度 68周05
PDF格式BibTeX公司 XML格式引用
\textit{D.Knop}，莱克特。注释计算。科学。10168、338--350（2017；Zbl 1487.68181）
全文： 内政部 arXiv公司
安托万杜兰·加塞林;哈维尔·埃斯帕扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔

模型检查参数化异步共享内存系统。 （英语） 兹比尔1360.68584

形式方法系统。设计。 50，编号2-3，140-167（2017）.
MSC公司：60年第68季度 65年第68季度 第68季度第45季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Durand-Gasselin}等人，《形式方法系统》。设计。50，编号2--3，140-167（2017；Zbl 1360.68584）
全文： 内政部 arXiv公司
阿米尔·纳耶里;徐汉忠

关于计算曲面之间的Fréchet距离。 （英语） Zbl 1387.68271号

Fekete，Sándor（编辑）等人，第32届计算几何国际研讨会，SoCG’16，美国马萨诸塞州波士顿，2016年6月14-17日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-009-5）。LIPIcs–莱布尼茨国际信息学论文集51，第55条，第15页（2016年）。
MSC公司：68单位05 65年第68季度 68周25
PDF格式BibTeX公司 XML格式引用
\textit｛A.Nayyeri｝和\textit｛H.Xu｝，LIPIcs——莱布尼茨国际期刊。通知。51，第55条，第15页（2016年；Zbl 1387.68271）
全文： 内政部
M·普拉文。;卡马尔·洛达亚

1-安全Petri网的参数化复杂性结果。 （英语） Zbl 1238.68103号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901358-372（2011）。
审核人：Jörg Desel（哈根）
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Praveen}和\textit{K.Lodaya}，莱克特。注释计算。科学。6901358--372（2011年；Zbl 1238.68103）
全文： 内政部 arXiv公司
阿努吉·达瓦尔

结构和规范是复杂性的来源。 （英语） Zbl 1248.68240号

Kannan，Ravi（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15日至17日，印度坎普尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-13-2）。LIPIcs–莱布尼茨国际信息学会议录4，407-416，仅电子版（2009年）。
MSC公司：65年第68季度 19年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Dawar}，LIPIcs——莱布尼茨国际程序。通知。4407-416（2009年；兹比尔1248.68240）
全文： 内政部 链接
弗鲁姆，约格;马丁·格罗

参数化复杂性理论。 （英语） Zbl 1143.68016号

理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 3-540-29952-1/hbk）。xiii，493页。(2006).
审核人：马吕斯·齐曼德（汤森）
MSC公司：2015年第68季度 19年第68季度 65年第68季度 03C13号机组 05年3月 2015年3月1日 68-01 68-02
PDF格式BibTeX公司 XML格式引用
\textit{J.Flum}和\textit{M.Grohe}，参数化复杂性理论。柏林：施普林格（2006年；Zbl 1143.68016）
内奥米·西村;普拉巴卡尔·拉格德;迪米特里奥斯·蒂利科斯（Dimitrios M.Thilikos）。

顶点覆盖非平凡推广的快速固定参数可处理算法。 （英语） 兹比尔1080.05093

离散应用程序。数学。 152，编号1-3，229-245（2005）.
审核人：弗拉迪米尔·拉科（科希策）
MSC公司：05C85号 05C83号 05C75号
PDF格式BibTeX公司 XML格式引用
\textit{N.Nishimura}等人，《离散应用》。数学。152，编号1--3，229--245（2005；Zbl 1080.05093）
全文： 内政部
彼得·赫林

关于MSO逻辑中可定义的拟阵属性。 （英语） Zbl 1124.68373号

Rovan，Branislav（编辑）等人，《2003年计算机科学的数学基础》。2003年8月25-29日在斯洛伐克布拉迪斯拉发举行的第28届国际研讨会，MFCS 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40671-9/pbk）。莱克特。注释计算。科学。2747, 470-479 (2003).
MSC公司：65年第68季度 03B15号机组 05B35号 68卢比
PDF格式BibTeX公司 XML格式引用
\textit{P.Hliněn଑}，莱克特。注释计算。科学。2747、470--479（2003年；Zbl 1124.68373）
全文： 内政部
罗德尼·G·唐尼。;研究员Michael R。;Kenneth W.里根。

描述性复杂性和（W）层次结构。 （英语） Zbl 0897.03029号

Beame，Paul W.（编辑）等人，《证明复杂性和可行算术》。DIMACS研讨会论文，美国新泽西州罗格斯，1996年4月21日至24日。普罗维登斯，RI：美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。39, 119-134 (1998).
审核人：W.Merkle（海德堡）
MSC公司：03C13号机组 2015年3月1日 03日第10天 03D20日 03日30分 03天80 2015年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.G.Downey}等人，DIMACS，序列号。离散数学。西奥。计算。科学。39、119——134（1998；Zbl 0897.03029）
蔡丽明;陈建尔;罗德尼·G·唐尼。;研究员Michael R。

参数化可操纵性的建议等级。 （英语） 兹伯利0873.68071

Ann.纯粹应用。逻辑 84，第1期，119-138（1997）; 更正同上，第169号，第5号，463-465（2018）。
审核人：U.Schöning（乌尔姆）
MSC公司：2015年第68季度 2015年3月1日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Cai}等人，Ann.Pure Appl。逻辑84，No.1，119--138（1997；Zbl 0873.68071）
全文： 内政部
罗德尼·G·唐尼。;研究员Michael R。

参数化计算可行性。 （英语） Zbl 0834.68046号

Peter Clote（编辑）等人，《可行性数学II》。基于1992年5月28日至30日在美国纽约州伊萨卡市康奈尔大学举行的研讨会。马萨诸塞州波士顿：Birkhäuser。掠夺。计算。科学。申请。日志。13, 219-244 (1995).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.G.Downey}和\textit{M.R.Fellows}，程序。计算。科学。申请。日志。13、219--244（1995年；Zbl 0834.68046）
卡尔·A·亚伯拉罕森。;罗德尼·G·唐尼。;研究员Michael R。

固定参数的可处理性和完整性。IV： 关于W\（[\）P\（]\）和PSPACE类似物的完备性。 （英语） Zbl 0828.68077号

Ann.纯粹应用。逻辑 73，第3期，235-276（1995）.
审核人：U.Schöning（乌尔姆）
MSC公司：2015年第68季度 2015年3月1日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.A.Abrahamson}等人，Ann.Pure Appl。逻辑73，No.3，235--276（1995；Zbl 0828.68077）
全文： 内政部
沃尔克·魏斯芬宁

实代数的量词消去-立方情况。 （英语） Zbl 0919.03030号

Von zur Gatheren，Joachim（编辑）等人，国际标准化协会'94年。符号和代数计算国际研讨会论文集，英国牛津，1994年7月20日至22日。马里兰州巴尔的摩：ACM出版社。258-263 (1994).
MSC公司：03C10号机组 68瓦30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Weispfenning}，收录于：ISSAC’94。符号和代数计算国际研讨会论文集，英国牛津，1994年7月20日至22日。马里兰州巴尔的摩：ACM出版社。258--263（1994；Zbl 0919.03030）
卡尔·A·亚伯拉罕森。;罗德尼·G·唐尼。;研究员Michael R。

固定参数难以处理。二、。（扩展摘要）。 （英语） Zbl 0799.68086号

Patrice Enjalbert等人，STACS 93。第十届计算机科学理论方面年度研讨会，1993年2月25日至27日，德国瓦茨堡。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。665, 374-385 (1993).
MSC公司：2015年第68季度 65年第68季度 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit｛K.A.Abrahamson｝等人，Lect。注释计算。科学。665374-385（1993年；Zbl 0799.68086）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件