×

找到972份文件(结果1-100)

100
马查克斯

图形化旅行商问题的一种新的整数规划公式。 (英语) Zbl 1483.90132

Singh,Mohit(ed.)等人,《整数规划与组合优化》。第22届国际会议,IPCO 2021,亚特兰大,佐治亚州,美国,2021年5月19-21日。会议记录。查姆:斯普林格。选择。笔记计算。科学。12707458-472(2021年)。
理学硕士:90C27型 90摄氏度
PDF格式 BibTeX公司 XML 引用

几何偏微分方程的最优控制。 (英语) Zbl 1475.49005号

Bonito,Andrea(ed.)等人,《几何偏微分方程》。阿姆斯特丹:爱思唯尔/北荷兰。把手。数字。肛门。22213-270年(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

关于QCQPs铭文的凸壳。 (英语) Zbl 07602146

Bienstock,Daniel(ed.)等人,《整数规划与组合优化》。第21届国际会议,IPCO 2020,英国伦敦,2020年6月8日至10日,会议记录。查姆:斯普林格。选择。笔记计算。科学。12125419-432(2020年)。
理学硕士:90摄氏度 90C27型
PDF格式 BibTeX公司 XML 引用

供应链中断管理。使用随机混合整数规划。第二版。 (英语) Zbl 1484.90002号

运筹学与管理科学国际丛书291.查姆:斯普林格(ISBN 978-3-030-44813-4/hbk;978-3-030-44816-5/pbk;978-3-030-44814-1/电子书)。三十三,467页。(2020年)。
审核人:多伊纳鲤鱼
PDF格式 BibTeX公司 XML 引用
全文: 内政部

求解不完全信息线性终端控制问题的程序包方法。 (英语) Zbl 1451.49035

Tarasyev,Alexander(ed.)等人,稳定性,控制和微分对策。稳定性、控制和微分博弈国际会议记录(SCDG2019),叶卡捷琳堡,俄罗斯,2019年9月16-20日。Cham:Springer。选择。Notes控制信息科学-程序。,213-223(2020年)。
理学硕士:49N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

修复在符号计算下爆炸的代码。 (英语) Zbl 07228501

Beyer,Dirk(ed.)等人,验证,模型检查和抽象解释。第21届国际会议,VMCAI 2020,新奥尔良,洛杉矶,美国,2020年1月16-21日。会议记录。查姆:斯普林格。选择。笔记计算。科学。11990年,44-67年(2020年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

多子域Trefftz方法耦合有限元法。 (英语) 兹布1447.35130

PDF格式 BibTeX公司 XML 引用
全文: 内政部

量子SDP解算器:大加速,最优化,以及在量子学习中的应用。 (英语) Zbl 07561520

Baier,Christel(ed.)等人,《第46届自动机、语言和编程国际学术讨论会》,ICALP 2019年,希腊帕特拉斯,2019年7月9日至12日,会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。132,第27条,第14页(2019年)。
理学硕士:68牛顿 68季度
PDF格式 BibTeX公司 XML 引用

在对抗环境中使用安全控制屏障证书的线性时序逻辑满足。 (英语) 兹布1440.68038

Alpcan,Tansu(ed.)等人,《安全决策与博弈论》。第十届国际会议,2019年10月30日至11月1日,瑞典斯德哥尔摩。会议记录。查姆:斯普林格。选择。笔记计算。科学。11836385-403(2019年)。
PDF格式 BibTeX公司 XML 引用

关于生成非凸优化测试问题。 (英语) Zbl 1443.90278号

Khachay,Michael(ed.)等人,《数学优化理论与运筹学》。第18届国际会议,2019年7月8日至12日,俄罗斯叶卡捷琳堡,2019年汽车展。查姆:斯普林格。选择。笔记计算。科学。1154821-33(2019年)。
理学硕士:90C26型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

海报摘要:基于zonotope尺度的逼近下的不变、生存性和判别核。 (英语) Zbl 07120167

第22届ACM混合系统国际会议记录:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约,纽约:计算机械协会(ACM)。268-269(2019年)。
理学硕士:68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

一种新的用于确定具有未知动态系统的安全环境和控制器的仿真度量。 (英语) Zbl 07120154

第22届ACM混合系统国际会议记录:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约,纽约:计算机械协会(ACM)。185-196年(2019年)。
理学硕士:68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用

具有机器学习元件的控制系统灰盒对抗性测试。 (英语) Zbl 07120153

第22届ACM混合系统国际会议记录:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约,纽约:计算机械协会(ACM)。179-184(2019年)。
理学硕士:68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用

利用符号可达性和轨迹拼接对混合系统进行证伪。 (英语) Zbl 07120135

第22届ACM混合系统国际会议记录:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约,纽约:计算机械协会(ACM)。1-10(2019年)。
理学硕士:68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

文件类型

审查状态

全部的 前5名

作者