×

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

从无状态硬件转向量子一次性存储器。 (英语) Zbl 1518.81032号

Steven T.弗拉米亚(编辑),第十五届量子计算、通信和密码学理论会议,2020年TQC,拉脱维亚里加,2020年6月9日至12日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。158,第6条,第25页(2020年)。
PDF格式BibTeX公司 XML格式引用

Weisfeiler和Leman从图同构到神经网络的不太可能的旅程(特邀演讲)。 (英语) Zbl 07650887号

Paul,Christophe(ed.)等人,第37届计算机科学理论方面国际研讨会,STACS 2020,法国蒙彼利埃,2020年3月10日至13日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。154,第2条,第1页(2020年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

求解低秩半定规划的量子激励次线性算法。 (英语) Zbl 07559394号

Esparza,Javier(ed.)等人,第45届计算机科学数学基础国际研讨会,MFCS 2020,2020年8月25日至26日,捷克共和国布拉格。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170,第23条,第15页(2020年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

种群连续时间马尔可夫链中的有界平均首次通过时间。 (英语) Zbl 1486.60093号

Gribaudo,Marco(编辑)等人,《系统的定量评估》。第17届国际会议,QEST 2020,奥地利维也纳,2020年8月31日至9月3日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12289, 155-174 (2020).
PDF格式BibTeX公司 XML格式引用

关于线性信号在有限/无限范围内欺骗卡尔曼滤波器的最佳性。 (英语) Zbl 1446.91028号

Alpcan,Tansu(编辑)等人,《安全决策与博弈论》。2019年10月30日至11月1日,第十届国际会议,2019年GameSec,瑞典斯德哥尔摩。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11836, 459-478 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CAMPARY:CUDA多精度算术库和应用程序。 (英语) Zbl 1435.65012号

Greuel,Gert Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11-14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9725, 232-240 (2016).
MSC公司:65-04年 65日元10
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

数学规划中的内部点革命及其在应用数学中的地位。 (英语) 兹比尔1344.90002

Kumar Sinha,Arun(编辑)等人,《数学、统计和计算机科学的最新进展》。国际会议记录,ICRAMSCS,印度比哈尔邦,2015年5月29日至31日。新泽西州哈肯萨克:《世界科学》(ISBN 978-981-4696-16-6/hbk;978-981-4704-84-7/ebook)。290-302 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

二次多项式不等式的插值综合及与EUF的结合。 (英语) Zbl 1475.03072号

Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9706, 195-212 (2016).
PDF格式BibTeX公司 XML格式引用

结合约束传播和基于离散椭球的搜索来解决精确的二次背包问题。 (英语) Zbl 1464.90080号

Michel,Laurent(编辑),约束编程中AI和OR技术的集成。2015年5月18日至22日在西班牙巴塞罗那举行的2015年CPAIOR第十二届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9075, 231-239 (2015).
MSC公司:90C27型 90 C59
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件