×

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

100
马查克斯

Petri网可达性分析的一种延迟查询方案。 (英语) Zbl 1489.68161

Buchs,Didier(ed.)等人,Petri网和并发的应用和理论。第42届国际会议,PETRI网2021年,虚拟事件,2021年6月23-25日。会议记录。查姆:斯普林格。选择。笔记计算。科学。12734360-378(2021年)。
理学硕士:6885年 68Q60型 68周05分
PDF格式 BibTeX公司 XML 引用
全文: 内政部 哈尔

直接观察Petri网的平坦性和复杂性。 (英语) Zbl 07559501

Konnov,Igor(ed.)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。171,第45条,第19页(2020年)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部

案例研究:统一作战指挥控制模型中的可达性和可扩展性。 (英语) Zbl 07368097

Schmitz,Sylvain(编辑)等人,可达性问题。第14届国际会议,RP 2020,法国巴黎,2020年10月19-21日。会议记录。查姆:斯普林格。选择。笔记计算。科学。12448,52-66(2020年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部

可达序列的实现问题。 (英语) Zbl 1477.68219

Kim,Donghyun(编辑)等,《计算与组合学》。第26届国际会议,COCOON 2020,美国佐治亚州亚特兰大,2020年8月29-31日。会议记录。查姆:斯普林格。选择。笔记计算。科学。12273274-286(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

使用ImageStars验证深卷积神经网络。 (英语) Zbl 1478.68180号

Lahiri,Shuvendu Kumar(编辑)等人,计算机辅助验证。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21-24日。会议记录。第一部分:查姆:斯普林格。选择。笔记计算。科学。12224,18-42(2020年)。
PDF格式 BibTeX公司 XML 引用

随机触发混合Petri网的经典和非预测模型检验。 (英语) Zbl 07300851

第23届ACM混合系统国际会议记录:计算和控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机械协会(ACM)。第10条,第11页(2020年)。
理学硕士:68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

混合自动机可达性分析中分解聚合的动力学感知子空间辨识。 (英语) Zbl 07300844号

第23届ACM混合系统国际会议记录:计算和控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机械协会(ACM)。第3条,第11页(2020年)。
理学硕士:68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

利用依赖关系获得可达集的子集。 (英语) Zbl 07300842

第23届ACM混合系统国际会议记录:计算和控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机械协会(ACM)。第1条,第10页(2020年)。
理学硕士:68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用

广义可达随机对策的逼近值。 (英语) Zbl 1455.91035

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8-11日,纽约:计算机械协会(ACM)。102-115(2020年)。
理学硕士:91A15型 68周25分 68周40
PDF格式 BibTeX公司 XML 引用

离散时间切换系统的分析与综合。一种准时变方法。 (英语) Zbl 1426.93001号

系统、决策与控制研究244.查姆:斯普林格(ISBN 978-3-030-25811-5/hbk;978-3-030-25812-2/电子书)。十三,210页。(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

高指标线性微分代数方程的可达性分析。 (英语) Zbl 1441.93021

André,Étienne(ed.)等人,时间系统的形式化建模与分析。第17届国际会议,2019年8月27日至29日,荷兰阿姆斯特丹。会议记录。查姆:斯普林格。选择。笔记计算。科学。11750、160-177(2019年)。
PDF格式 BibTeX公司 XML 引用

在近线性时间内,强连接分量的递减性和单源可达性。 (英语) Zbl 1433.68637

Charikar,Moses(ed.)等人,《第51届ACM-SIGACT计算理论研讨会论文集》,STOC'19,美国亚利桑那州凤凰城,2019年6月23-26日,纽约:计算机械协会(ACM)。365-376(2019年)。
理学硕士:68周40 68R10型
PDF格式 BibTeX公司 XML 引用

Petri网的可达性问题不是初等的。 (英语) Zbl 1433.68245

Charikar,Moses(ed.)等人,《第51届ACM-SIGACT计算理论研讨会论文集》,STOC'19,美国亚利桑那州凤凰城,2019年6月23-26日,纽约:计算机械协会(ACM)。24-33(2019年)。
理学硕士:6885年 68问17 68问25
PDF格式 BibTeX公司 XML 引用

增广区间马尔可夫链的可达性。 (英语) Zbl 07121138

Filiot,Emmanuel(ed.)等人,可达性问题。第13届国际会议,RP 2019年,比利时布鲁塞尔,2019年9月11日至13日。会议记录。查姆:斯普林格。选择。笔记计算。科学。11674、79-92(2019年)。
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 07120164

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

TIRA:区间可达性分析工具箱。 (英语) Zbl 07120158

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

基于回归多项式规则推理的神经反馈系统可达性分析。 (英语) Zbl 07120151

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

juliarach:基于集合的可达性工具箱。 (英语) Zbl 07120139

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

控制系统验证的内外可达性。 (英语) Zbl 07120136

第22届ACM混合系统国际会议记录:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约,纽约:计算机械协会(ACM)。2019年11月22日。
理学硕士: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 引用
全文: 内政部

基于正交模式集的可达性分析。 (英语) Zbl 07513446

Sanguinetti,Guido(ed.)等人,《第七届静态分析与系统生物学国际研讨会论文集》(SASB 2016),英国苏格兰爱丁堡大学,2016年9月7日。阿姆斯特丹:爱思唯尔。电子。理论笔记。计算机。科学。33527-48(2018年)。
理学硕士:92C42型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

脉冲限制控制作用下可达域的奇异性。 (英语。俄文原件) Zbl 1467.93026

机械。固体 53,补遗2,76-86(2018年); 翻译自Prikl。马特。梅克。第82期,第5期,631-643页(2018年)。
理学硕士:93B03型 93C70型 93C05型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

\网格图可达性问题的(\tilde{O}(n^{1/3})空间算法。 (英语) Zbl 1489.68180号

Speckmann,Bettina(ed.)等人,第34届计算几何国际研讨会,SoCG 2018,2018年6月11日至14日,匈牙利布达佩斯。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。99,第5条,第13页(2018年)。
PDF格式 BibTeX公司 XML 引用

有向图可达性的近似有效并行算法。 (英语) Zbl 1428.68360

Diakonikolas,Ilias(ed.)等人,《第50届ACM SIGACT计算理论研讨会论文集》,STOC'18,加利福尼亚州洛杉矶,美国,2018年6月25日至29日。纽约,纽约:计算机械协会(ACM)。457-470(2018年)。
PDF格式 BibTeX公司 XML 引用

概率状态约束可达集数值计算的Hamilton-Jacobi-Bellman方法。 (英语) Zbl 1412.60114号

Falcone,Maurizio(ed.)等人,最优控制问题的数值方法。研讨会论文集,意大利罗马,2017年6月19-23日。查姆:斯普林格。斯普林格·英达姆爵士。2018年1月29日1-22日。
PDF格式 BibTeX公司 XML 引用
全文: 内政部 哈尔

不确定非线性系统的精确可达性分析。 (英语) Zbl 1417.93062

第21届ACM混合系统国际会议记录:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11日至13日。纽约,纽约:计算机械协会(ACM)。61-70(2018年)。
理学硕士:93B03型 93C41型 93C10型 93B40型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

通过对低维集合和高维矩阵的分解达到集合逼近。 (英语) Zbl 1417.93059

第21届ACM混合系统国际会议记录:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11日至13日。纽约,纽约:计算机械协会(ACM)。41-50(2018年)。
理学硕士:93B03型 93C05型 93B40型
PDF格式 BibTeX公司 XML 引用

具有可计数有色噪声随机系统的快速光滑二阶滑模控制。 (英语) Zbl 1385.93017号

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

筛选结果依据…

文件类型

审查状态

全部的 前5名

作者