×

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

构建基于多分支设计的更好差异的有效策略:应用于Orthros。 (英语) Zbl 1522.94091号

Mike Rosulek(编辑),密码学主题–CT-RSA 2023。2023年4月24日至27日,在美国加利福尼亚州旧金山举行的RSA 2023年会议上,密码学家的足迹。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13871, 277-304 (2023).
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

约束满足问题(VRP)的组合设计。 (英语) Zbl 07392077号

Castillo,Oscar(编辑)等人,《神经和优化算法中的直觉和2型模糊逻辑增强:理论和应用》。查姆:斯普林格。螺柱计算。智力。862, 509-526 (2020).
MSC公司:68层37
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过可满足性检验研究幂等拟群的大集的存在性。 (英语) Zbl 1511.68315号

Galmiche,Didier(编辑)等人,《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018,作为联邦逻辑会议的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10900, 354-369 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

简单公式的长证明。 (英语) Zbl 1423.68463号

Sinz,Carsten(编辑)等人,《满意度测试的理论和应用——SAT 2014》。2014年7月14日至17日在奥地利维也纳举行的第17届国际会议,作为维也纳逻辑之夏的一部分,VSL 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8561, 121-137 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

组合测试数据的自动生成。 (英语) 兹比尔1329.68009

Springer计算机科学简介海德堡:施普林格(ISBN 978-3-662-43428-4/pbk;978-3-562-43429-1/电子书)。xi,90页。(2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Kramer-Mesner矩阵的分解。 (英语) Zbl 1296.05205号

Morse,Robert Fitzgerald(编辑)等人,《群论、组合学和计算》。2012年10月3日至8日,美国佛罗里达州博卡拉顿,纪念Daniela Nikolova-Popova诞辰60周年的国际会议记录。普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-0-8218-9435-4/pbk;978-1-4704-1524-2/电子书)。《当代数学》61189-120(2014)。
MSC公司:2018年5月
PDF格式BibTeX公司 XML格式引用

子模最大化技术。 (英语) 兹比尔1273.90174

Bezdek,Károly(编辑)等人,《离散几何与优化》。根据2011年9月19日至23日在加拿大多伦多举行的会议和研讨会上的演示文稿选出的论文。纽约州纽约市:施普林格出版社(ISBN 978-3-319-00199-9/hbk;978-3-3169-00200-2/电子书)。菲尔德研究所通信69,163-177(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

叠加代码和阈值组测试。 (英语) Zbl 1309.94185号

Aydinian,Harout(编辑)等人,《信息理论、组合学和搜索理论》。为了纪念鲁道夫·阿尔斯韦德。柏林:施普林格出版社(ISBN 978-3-642-36898-1/pbk)。计算机科学课堂讲稿7777509-533(2013)。
PDF格式BibTeX公司 XML格式引用

从路径宽度到连接的路径宽度。 (英语) Zbl 1229.05254号

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

零一设计产生小型硬SAT实例。 (英语) 兹比尔1306.68177

Strichman,Ofer(编辑)等人,《可满足性测试的理论和应用——SAT 2010》。2010年7月11日至14日,英国爱丁堡,第13届国际会议,SAT 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14185-0/pbk)。计算机科学课堂讲稿6175388-397(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Autometrics公司。 (英语) Zbl 1376.62101号

Castle,Jennifer L.(编辑)等人,《计量经济学的方法和实践》。纪念大卫·F·亨德利的节日。论文基于2007年8月牛津会议上的陈述。牛津:牛津大学出版社(ISBN 978-0-19-923719-7/hbk)。88-121 (2009).
MSC公司:62第20页 62K20型
PDF格式BibTeX公司 XML格式引用

代码和设计的分类算法。 (英语) Zbl 1089.05001号

数学中的算法和计算15.柏林:施普林格出版社(ISBN 3-540-28990-9/hbk)。xii,412页。(2006年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实验设计与分析。第二卷:高级实验设计。 (英语) Zbl 1085.62086号

概率统计中的威利级数新泽西州霍博肯:John Wiley&Sons(ISBN 0-471-55177-5/hbk;978-0-471-70994-7/电子书)。第二十二、780页。(2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

确定实验最佳设计的计算挑战。 (英语) 兹比尔1170.62354

Antoch,Jaromir(编辑),COMPSTAT。计算统计学论文集。第十六次研讨会,捷克共和国布拉格,2004年8月23日至27日。带CD-ROM。海德堡:Physica-Verlag(ISBN 3-7908-1554-3/pbk)。181-188 (2004).
MSC公司:62K05美元 62K25型 65C60个
PDF格式BibTeX公司 XML格式引用

构造D有效设计的混合算法。 (英语) Zbl 1170.62353号

Antoch,Jaromir(编辑),COMPSTAT。计算统计学论文集。第十六次研讨会,捷克共和国布拉格,2004年8月23日至27日。带CD-ROM。海德堡:Physica-Verlag(ISBN 3-7908-1554-3/pbk)。37-48 (2004).
MSC公司:62K05美元 65C60个 90 C59
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份