×

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

最新的 引文 关联
德米特里·奥夫桑尼科夫（Dmitri Ovsyannikov，Aleksandrovich）;科蒂娜、埃琳娜·德米特里夫纳

轨道梁程序控制的若干问题。二、。 （俄语。英文摘要） Zbl 07832080号

伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 47, 3-11 (2024).
MSC公司：49公里15 第78页第35页 94A08型
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Ovsyannikov}和\textit{E.D.Kotina}，Izv。伊尔库茨克。戈斯。州立大学。材料47，3--11（2024；Zbl 07832080）
全文： 内政部 链接
德米特里·奥夫桑尼科夫（Dmitri Ovsyannikov，Aleksandrovich）;科蒂娜、埃琳娜·德米特里夫纳

轨道梁程序控制的若干问题。一、。 （俄语。英文摘要） Zbl 07792279号

伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 46, 51-65 (2023).
MSC公司：94A08型 92 C55 49公里21
PDF格式BibTeX公司 XML格式引用
\textit｛D.A.Ovsyannikov｝和\textit｛E.D.Kotina｝，Izv。伊尔库茨克。戈斯。州立大学。材料46、51-65（2023；Zbl 07792279）
全文： 内政部 链接
陶安·黄;亚伦·费伯;田远东;比斯特拉·迪尔基纳;本诺伊·斯坦纳

整数线性规划的局部分支松弛启发式算法。 （英语） Zbl 07745655号

Andre A.Cire（编辑），《约束编程、人工智能和运筹学的集成》。2023年5月29日至6月1日，第20届国际会议，CPAIOR 2023，法国尼斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13884, 96-113 (2023).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit｛T.Huang｝等人，Lect。注释计算。科学。13884，96-113（2023；Zbl 07745655）
全文： 内政部 arXiv公司
阿波法兹·拉瓦伊;路易吉·迪·利洛;玛格丽塔·阿泽伊;安德烈·塞西;埃米利奥·弗雷佐利

海报摘要：有正式保证的自动驾驶汽车碰撞风险的数据驱动估计。 （英语） Zbl 07807735号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第27号文件，第2页（2022）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Lavaei}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第27号论文，第2页（2022；Zbl 07807735）
全文： 内政部
奎西·拉特利奇;内克米耶·奥扎伊

使用双线性优化对未知线性系统进行正确构造的探索和开发。 （英语） Zbl 07807716号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第8号文件，第11页（2022）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{K.Rutledge}和\textit{N.Ozay}，in：第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰和虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第8号论文，第11页（2022；Zbl 07807716）
全文： 内政部
西尔维亚·博伊德;约瑟夫·切里扬;罗伯特·卡明斯;灌浆，Logan;莎拉·易卜拉欣普尔;佐尔坦，斯齐盖蒂;王璐

半积分情形下最小2-边连通多子图问题的（frac{4}{3}）-近似算法。 （英语） Zbl 07572599号

SIAM J.离散数学。 36，编号3，1730-1747（2022）.
MSC公司：68兰特 90C27型 90立方厘米 05C40号 05C85号
PDF格式BibTeX公司 XML格式引用
\textit{S.Boyd}等人，SIAM J.离散数学。36，编号3，1730--1747（2022；Zbl 07572599）
全文： 内政部 arXiv公司
阿波法兹·拉瓦伊;阿梅内·内贾蒂;普什巴克·贾格塔普;马吉德·扎马尼

未知连续时间系统的形式化安全验证：一种数据驱动的方法。 （英语） Zbl 07807702号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第29号论文，第2页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Lavaei}等人，in：第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第29号论文，第2页（2021；Zbl 07807702）
全文： 内政部
陈景凯;布莱恩·威廉姆斯。;樊楚楚

线性混杂系统的最优混合离散连续规划。 （英语） Zbl 07807681号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第8号论文，第12页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛J.Chen｝等人，在：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS物联网周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第8号论文，第12页（2021；Zbl 07807681）
全文： 内政部 arXiv公司
邢少鹏;王佳婉;卜、雷;陈欣;李宣东

基于分类的无导数优化的近似最优混合控制综合。 （英语） Zbl 07807680号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第7号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Xing}等人，《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第7号论文，第11页（2021；Zbl 07807680）
全文： 内政部
苏梅加加格;科塔里，Pravesh K。;刘鹏达;兰·拉兹

带噪声的学习奇偶性的内存采样下限。 （英语） Zbl 07768405号

Mary Wootters（编辑）等人，《近似、随机化和组合优化》。算法和技术。2021年8月16日至18日，美国华盛顿州西雅图华盛顿大学第24届国际会议（约2021年）和第25届国际会议，RANDOM 2021（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。207，第60条，第19页（2021）。
MSC公司：68瓦20 68周25 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Garg}等人，LIPIcs——莱布尼茨国际程序。通知。207，第60条，第19页（2021；Zbl 07768405）
全文： 内政部 arXiv公司
威廉·霍扎（William M.Hoza）。

用于空间边界计算的更好的伪分布和去噪。 （英语） Zbl 07768373号

Mary Wootters（编辑）等人，《近似、随机化和组合优化》。算法和技术。2021年8月16日至18日，美国华盛顿州西雅图华盛顿大学第24届国际会议（约2021年）和第25届国际会议，RANDOM 2021（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。207，第28条，第23页（2021年）。
MSC公司：68瓦20 68周25 90C27型
PDF格式BibTeX公司 XML格式引用
\textit｛W.M.Hoza｝，LIPIcs——莱布尼茨国际会议记录。通知。207，第28条，第23页（2021；Zbl 07768373）
全文： 内政部
索拉维，Porncharenwase;詹姆斯·博恩霍尔特;埃米娜·托拉克

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

Beyer，Dirk（编辑）等人，《验证、模型检查和抽象解释》。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11990, 44-67 (2020).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Porncharenwase}等人，Lect。注释计算。科学。11990，44-67（2020；Zbl 07228501）
全文： 内政部
海科·贝克尔;伊娃·达鲁洛娃;玛格努斯·奥·米林。;扎卡里·塔特洛克

结冰：在经过验证的编译器中支持快速数学风格的优化。 （英语） 兹伯利07805822

Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。11562, 155-173 (2019).
MSC公司：68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Becker}等人，Lect。注释计算。科学。11562、155--173（2019；Zbl 07805822）
全文： 内政部
布兰登，费尔南多·G.S.L。;阿米尔·卡列夫;李同阳;Lin、Cedric Yen-Yu;克雷斯塔·斯沃雷（Krysta M.Svore）。;吴晓迪

量子SDP解算器：大规模加速、优化和量子学习应用。 （英语） Zbl 07561520号

Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第27条，第14页（2019）。
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{F.G.S.L.Brandáo}等人，LIPIcs——莱布尼茨国际程序。通知。132，第27条，第14页（2019年；Zbl 07561520）
全文： 内政部 arXiv公司
伊恩·米切尔（Ian M.Mitchell）。;雅各布·巴兹斯;安德烈·博利亚切韦

海报摘要：不变量、生存性和通过分区缩放进行的区分内核近似。 （英语） Zbl 07120167号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。268-269（2019年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{I.M.Mitchell}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克，加拿大，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。268--269（2019；Zbl 07120167）
全文： 内政部
Shromona Ghosh公司;索米尔·班萨尔;阿尔贝托Sangiovanni-Vincentelli;Sanjit A.Seshia。;克莱尔·汤姆林

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

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。185-196 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghosh}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。185-196（2019年；Zbl 07120154）
全文： 内政部 arXiv公司
Yaghoubi，沙基巴;乔治·费内科斯

带有机器学习组件的控制系统的灰箱对抗测试。 （英语） Zbl 07120153号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。179-184 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Yaghoubi}和\textit{G.Fainekos}，in：第22届ACM混合系统国际会议论文集：计算和控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。179-184（2019年；Zbl 07120153）
全文： 内政部 arXiv公司
塞尔吉·博戈莫洛夫;戈兰·弗雷斯;阿米特·古龙;李东旭;乔治·马蒂乌斯;Rayarshi Ray

使用符号可达性和轨迹拼接对混合系统进行伪造。 （英语） Zbl 07120135号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。1-10 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Bogomolov}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克，加拿大，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。1-10（2019；Zbl 07120135）
全文： 内政部
Gonçalves，Max L.N。;杰斐逊·G·梅洛。;雷纳托·D·C·蒙泰罗。

改进了正则化ADMM和正则化非欧几里德HPE框架的逐点迭代复杂性。 （英语） Zbl 06693803号

SIAM J.Optim公司。 27，第1期，379-407（2017）.
MSC公司：47时05分 47J22型 49平方米27 90C25型 90立方厘米 90C60型 65K10像素
PDF格式BibTeX公司 XML格式引用
\textit{M.L.N.Gonçalves}等人，SIAM J.Optim。27，第1号，379--407（2017；Zbl 06693803）
全文： 内政部 arXiv公司
T.I.Belykh。;布拉托夫，V.P。

凸规划中的支持锥和单形方法及其在物理化学系统中的应用。 （俄语。英文摘要） Zbl 07814485号

Zh公司。维奇尔。Mat.Mat.Fiz公司。 48，第11期，1952-1967（2008）；计算中的翻译。数学。数学。物理学。48，第11期，1955-1970（2008）。
MSC公司：65K10像素
PDF格式BibTeX公司 XML格式引用
\textit{T.I.Belykh}和\textit{V.P.Bulatov}，Zh。维奇尔。Mat.Mat.Fiz公司。48，第11号，1952-1967（2008；Zbl 07814485）；计算中的翻译。数学。数学。物理学。1955年11月48日-1970年（2008年）
全文： 内政部 跨国公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件