×

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

基于编程的形式语言和自动机理论。设计、实施、验证和证明。 (英语) Zbl 07786059号

计算机科学课文查姆:施普林格(ISBN 978-3-031-43972-8/hbk;978-3-331-43975-9/pbk;978-1-031-43973-5/电子书)。xxiii,第524页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

异步无等待运行时验证和线性化能力的实施。 (英语) Zbl 07824315号

Oshman,Rotem(ed.)等人,《第42届ACM分布式计算原理研讨会论文集》,PODC’23,美国佛罗里达州奥兰多,2023年6月19-23日。纽约州纽约市:计算机协会(ACM)。90-101 (2023).
MSC公司:64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用

意见验证矩最优选择的多智能体系统中的意见动力学。 (英语。俄文原件) Zbl 07819917号

多克。数学。 108,补充1,S75-S85(2023); Mat.Teor翻译。伊格尔·普里洛日。14,第4期,3-23页(2022年)。
MSC公司:91天30分
PDF格式BibTeX公司 XML格式引用
全文: 内政部

航天器机载控制系统的综合软件验证技术。 (英语。俄文原件) Zbl 07811374号

自动化。远程控制 84,编号10,1047-1054(2023); 来自Avtom的翻译。Telemekh公司。2023年,第10期,第48-58页(2023年)。
MSC公司:68新元
PDF格式BibTeX公司 XML格式引用
全文: 内政部

觅食蚂蚁集体行为的直观建模和形式分析。 (英语) Zbl 07810883号

Pang,Jun(编辑)等人,《系统生物学中的计算方法》。第21届国际会议,CMSB 2023,卢森堡市,卢森堡,2023年9月13日至15日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14137, 44-61 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证了平稳迭代线性解算器的正确性、准确性和收敛性:Jacobi方法。 (英语) Zbl 07810733号

Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14101, 206-221 (2023).
MSC公司:68伏xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

演示摘要:在微软飞行模拟器上通过伪造分析CPS安全性。 (英语) Zbl 07807971号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

海报摘要:战略调整的许可性。 (英语) Zbl 07807970号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第29号文件,第2页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

海报摘要:用于加速符号控制的工具链。 (英语) Zbl 07807969号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第28号论文,第2页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

海报摘要:实现混合动力控制的无缝反应。 (英语) Zbl 07807968号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

海报:ReLU网络的凸场景优化。 (英语) Zbl 07807967号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第26号论文,第2页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

海报摘要:基于采样的方法,用于不确定复杂系统的鲁棒STL综合。 (英语) Zbl 07807966号

第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第25号论文,第2页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

海报摘要:自动驾驶汽车的安全保障偏好学习方法。 (英语) Zbl 07807965号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第24号论文,第2页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

海报摘要:坐姿到站姿期间人体稳定性的可达性和受控不变性。 (英语) Zbl 07807964号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第23号论文,第2页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

海报摘要:参数随机系统的数据驱动的正确设计控制。 (英语) Zbl 07807963号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第22号论文,第2页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

海报摘要:平面概率分段常微分系统的稳定性分析。 (英语) Zbl 07807962号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第21号论文,第2页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

网络物理系统传感器攻击的定量稳健性分析。 (英语) Zbl 07807961号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第20号论文,第12页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Bern-NN:使用Bernstein多项式区间算法的神经网络紧界传播。 (英语) Zbl 07807960号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第19号论文,第11页(2023年)。
PDF格式BibTeX公司 XML格式引用

使用灵敏度分析的神经网络验证中的自动抽象细化。 (英语) Zbl 07807959号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第18号论文,第13页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 (英语) Zbl 07807958号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第17号论文,第12页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Wordgen:一个定时单词生成工具。 (英语) Zbl 07807957号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第16号论文,第7页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

秘密攻击形式化为伪造CPS安全性的STL公式。 (英语) Zbl 07807956号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第15号论文,第8页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数定时正则表达式的模式匹配和参数识别。 (英语) Zbl 07807955号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第14号文件,第13页(2023)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SySCoRe:通过随机耦合关系进行综合。 (英语) Zbl 07807954号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第13号论文,第11页(2023年)。
PDF格式BibTeX公司 XML格式引用

具有连续动作空间的区间马尔可夫决策过程。 (英语) Zbl 07807953号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第12号论文,第10页(2023年)。
PDF格式BibTeX公司 XML格式引用

切换随机系统的分布鲁棒策略综合。 (英语) Zbl 07807952号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第11号文件,第10页(2023年)。
PDF格式BibTeX公司 XML格式引用

阈值模式切换常微分方程和数字电路延迟模型的连续性。 (英语) Zbl 07807951号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2023年)。
PDF格式BibTeX公司 XML格式引用

基于状态的安全规范的符号输出反馈控制器的延迟综合。 (英语) Zbl 07807950号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第9号论文,第7页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用附加闭合模板的路径完整稳定性证书的排序特征。 (英语) 兹伯利07807949

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第8号论文,第10页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于预计算可达性序列的安全自触发控制。 (英语) Zbl 07807948号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第7号论文,第12页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有星可达性的递归神经网络的验证。 (英语) Zbl 07807947号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第6号论文,第13页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用支持函数的可达性分析对线性系统进行全自动验证。 (英语) Zbl 07807946号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第5号论文,第12页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用probstars对神经网络进行定量验证。 (英语) Zbl 07807945号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第4号论文,第12页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权信号时序逻辑控制综合的混合整数线性规划方法。 (英语) Zbl 07807944号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第3号论文,第12页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于STL的网络物理系统弹性控制方法。 (英语) Zbl 07807943号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第2号论文,第12页(2023年)。
PDF格式BibTeX公司 XML格式引用

随机过程STL需求的保形定量预测监测。 (英语) Zbl 07807942号

第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第1号论文,第11页(2023年)。
PDF格式BibTeX公司 XML格式引用

XMSS的机器检查安全性如RFC 8391和SPHINCS\textsuperscript{+}所示。 (英语) Zbl 07800240号

Handschuh,Helena(编辑)等人,《密码学进展——密码2023》。第43届年度国际密码学会议,2023年8月20日至24日,美国加利福尼亚州圣巴巴拉市,CRYPTO 2023。诉讼程序。第五部分查姆:施普林格。莱克特。注释计算。科学。14085, 421-454 (2023).
MSC公司:68第25页 94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

算术素描。 (英语) 兹比尔07799094

Handschuh,Helena(编辑)等人,《密码学进展——密码2023》。第43届年度国际密码学会议,2023年8月20日至24日,美国加利福尼亚州圣巴巴拉市,CRYPTO 2023。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。14081, 171-202 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动机理论。算法方法。 (英语) Zbl 07770922号

马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-04863-7/hbk;978-0-2262-37693-8/电子书)。xii,532页。,开放存取(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

Glushkov算法代数和自动并行计算设计。 (英语。乌克兰原文) Zbl 07765729号

赛博。系统。分析。 59,第5期,687-697(2023); 翻译自Kibern。修女。分析。59,第5期,第3-15页(2023年)。
MSC公司:68瓦01 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

近似函数的多项式形式验证。 (英语) Zbl 07761099号

最佳大师威斯巴登:Springer Vieweg;不来梅:不来梅大学(硕士论文)(ISBN 978-3-658-41887-8/pbk;978-3-558-41888-5/电子书)。x、 第79页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

程序作为图表。从类别可计算性到可计算类别。 (英语) Zbl 07761082号

可计算性理论与应用查姆:施普林格(ISBN 978-3-031-34826-6/hbk;978-3-331-34829-7/pbk;979-3-031-34.827-3/ebook)。十七、252页。(2023).
PDF格式BibTeX公司 XML格式引用

具有不确定性和偏置外部扰动的未知自回归对象的次优鲁棒镇定。 (英语。俄文原件) Zbl 1525.93341号

自动化。远程控制 84,第6号,579-593(2023); 来自Avtom的翻译。Telemekh公司。2023,编号6,26-48(2023)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于代数的回路分析。 (英语) Zbl 07760745号

Dickenstein,Alicia(编辑)等人,第48届符号和代数计算国际研讨会论文集,ISSAC,挪威特罗姆索,2023年7月24日至27日。纽约州纽约市:计算机协会(ACM)。41-42 (2023).
MSC公司:68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。 (英语) Zbl 07754282号

纽约州纽约市:计算机协会(ACM)(ISBN 979-8-4007-0033-0)。xi,30篇文章,未连续页码(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对对称矩阵\(P\)的\((P\时间P\)乘积进行矢量化的构造性算法。 (英语。俄文原件) Zbl 07752283号

计算。数学。数学。物理学。 63,编号9,1559-1570(2023); 从Zh。维奇斯。材质材质材质。63,第9期,1415-1427(2023)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第30届时间表征和推理国际研讨会,《时代》2023年,NCSR Demokritos,希腊雅典,2023年9月25-26日。 (英语) Zbl 1522.68013号

LIPIcs–莱布尼茨国际信息学会议录278.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-298-3)。xiv,22篇文章,非连续页面,仅电子版,开放存取(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件