尼古拉·苏沃罗夫(Nikolai M.Suvorov)。;伊琳娜·洛马佐娃(Irina A.Lomazova)。 数据软件过程模型的验证:检查数据Petri网的可靠性。 (英语) 兹比尔07820972 J.日志。代数。方法计划。 138,文章ID 100953,28 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.M.Suvorov}和\textit{I.A.Lomazova},J.Log。代数。方法计划。138,文章ID 100953,28 p.(2024;Zbl 07820972) 全文: 内政部
勒罗伊·周;弗里德里希·斯利沃夫斯基 在QBF中实现统一认证。 (英语) Zbl 07814922号 日志。计算方法。科学。 20,第1号,第14号文件,第42页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Chew}和\textit{F.Slivovsky},Log。计算方法。科学。20,第1号,第14号论文,42页(2024;Zbl 07814922) 全文: 内政部 arXiv公司
张奎泽 标记的实时自动机的基于状态的不透明性。 (英语) Zbl 07811872号 西奥。计算。科学。 987,文章ID 114373,20 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang},Theor(西奥)。计算。科学。987,文章ID 114373,20 p.(2024;Zbl 07811872) 全文: 内政部
宫岛、新亚 弱不可约非负张量Perron向量的一些性质及其在严格封闭中的应用。 (英语) Zbl 07810698号 线性代数应用。 687, 207-228 (2024).MSC公司:15A69号 15A06号 65H10型 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{S.Miyajima},线性代数应用。687、207--228(2024;Zbl 07810698) 全文: 内政部
薛安东;林德曼,拉尔斯;拉杰夫·阿鲁尔 基于SDP的神经网络验证的弦稀疏性。 (英语) Zbl 07806873号 Automatica公司 161,文章ID 111487,9 p.(2024).MSC公司:68T07型 90C25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Xue}等人,Automatica 161,文章ID 111487,9 p.(2024;Zbl 07806873) 全文: 内政部 arXiv公司
黄,齐;石景涛 反馈信息模式下的混合领导随机微分博弈及其应用。 (英语) Zbl 07803892号 Automatica公司 160,文章ID 111425,14 p.(2024).MSC公司:91A15型 91A65型 93B52号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Huang}和\textit{J.Shi},Automatica 160,文章ID 111425,14 p.(2024;Zbl 07803892) 全文: 内政部 arXiv公司
尤瓦拉吉·塞尔瓦拉吉;乔纳斯·克鲁克;沃尔夫冈·阿伦特;马丁·费比安 证明不安全的控制器不安全。 (英语) Zbl 07803184号 J.日志。代数。方法计划。 137,文章ID 100939,17 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Selvaraj}等人,J.Log。代数。方法计划。137,文章ID 100939,17 p.(2024;Zbl 07803184) 全文: 内政部
张元瑞;刘志明 具有分支形式的动态逻辑。 (英语) Zbl 07803173号 J.日志。代数。方法计划。 136,文章ID 100921,21 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}和\textit{Z.Liu},J.Log。代数。方法计划。136,文章ID 100921,21 p.(2024;Zbl 07803173) 全文: 内政部
拉胡尔·巴塔查吉;索努·塞尼;维尼·库马尔·古普塔;Anirudh S.拉纳。 稀有气体流过液滴:内部流动和外部流动之间的相互作用。 (英语) Zbl 07803135号 J.流体力学。 980,论文编号A4,39页(2024).MSC公司:76P05号机组 76T10型 76-05 PDF格式BibTeX公司 XML格式引用 \textit{R.Bhattacharjee}等人,《流体力学杂志》。980,论文编号A4,39页(2024;Zbl 07803135) 全文: 内政部 arXiv公司
van der Werf,Jan Martijn E.M。;安德烈·里夫金;马可·蒙塔利;Polyvyany,Artem公司 带标识符的Petri网的正确性概念。 (英语) Zbl 07801677号 芬达姆。通知。 190,编号2-4,159-207(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.M.E.M.van der Werf}等人,Fundam。通知。190,编号2--4,159-207(2024;Zbl 07801677) 全文: 内政部 arXiv公司
彼得·里兹;伊芙琳·桑德;托马斯·瓦纳 二嵌段共聚物模型中的循环对称诱导的干叉分叉。 (英语) Zbl 07789742号 离散Contin。动态。系统。,序列号。B类 29,2号,666-701(2024).MSC公司:37G40型 37米20 65G20个 65页30 37C81号 65G30型 74G60型 74N15型 PDF格式BibTeX公司 XML格式引用 \textit{P.Rizzi}等人,《离散Contin》。动态。系统。,序列号。B 29,编号2,666--701(2024;Zbl 07789742) 全文: 内政部 arXiv公司
刘凯荣;她,志坤 具有泊松跳变随机混杂系统一致矩指数稳定性的分析与验证。 (英语) Zbl 07789740号 离散Contin。动态。系统。,序列号。B类 29,第2号,601-626(2024).MSC公司:93E15型 93D23型 93立方 34A38型 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{K.Liu}和\textit{Z.She},离散Contin。动态。系统。,序列号。B 29,编号2,601--626(2024;Zbl 07789740) 全文: 内政部
马可·T·莫拉赞。 基于编程的形式语言和自动机理论。设计、实施、验证和证明。 (英语) Zbl 07786059号 计算机科学课文查姆:施普林格(ISBN 978-3-031-43972-8/hbk;978-3-331-43975-9/pbk;978-1-031-43973-5/电子书)。xxiii,第524页。(2024).MSC公司:68-01 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Morazán},基于编程的形式语言和自动机理论。设计、实施、验证和证明。查姆:施普林格(2024;Zbl 07786059) 全文: 内政部
黄、金和;Seo,Ki-Wan先生;金云杰;Kim、Ki-Seok 通过氢中的小冲击试验进行的断裂粗糙度评估显示出延性和延性-脆性断裂模式。 (英语) Zbl 07782767号 欧洲力学杂志。,A、 固体 103,文章ID 105193,12 p.(2024).MSC公司:74兰特 74兰特20 74S05号 第74页至第5页 PDF格式BibTeX公司 XML格式引用 \textit{J.-H.Hwang}等人,《欧洲力学杂志》。,A、 固体103,物品ID 105193,12 p.(2024;Zbl 07782767) 全文: 内政部
阿曼多·卡斯塔涅达;吉尔德·瓦莱里亚·罗德里格斯 异步无等待运行时验证和线性化能力的实施。 (英语) Zbl 07824315号 Oshman,Rotem(ed.)等人,《第42届ACM分布式计算原理研讨会论文集》,PODC’23,美国佛罗里达州奥兰多,2023年6月19-23日。纽约州纽约市:计算机协会(ACM)。90-101 (2023).MSC公司:64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.Castañeda}和\textit{G.V.Rodríguez},in:第42届ACM分布式计算原理研讨会论文集,PODC’23,美国佛罗里达州奥兰多,2023年6月19-23日。纽约州纽约市:计算机协会(ACM)。90-101(2023;Zbl 07824315) 全文: 内政部 arXiv公司
高,晶晶;E.M.帕里利纳。 意见验证矩最优选择的多智能体系统中的意见动力学。 (英语。俄文原件) Zbl 07819917号 多克。数学。 108,补充1,S75-S85(2023); Mat.Teor翻译。伊格尔·普里洛日。14,第4期,3-23页(2022年)。MSC公司:91天30分 PDF格式BibTeX公司 XML格式引用 \textit{J.Gao}和\textit{E.M.Parilina},Dokl。数学。108,S75--S85(2023;Zbl 07819917);Mat.Teor翻译。伊格尔·普里洛日。14、第4、3--23号(2022年) 全文: 内政部
V.V.库勒巴。;米克林,E.A。;巴甫洛夫。;索莫夫,S.K。 航天器机载控制系统的综合软件验证技术。 (英语。俄文原件) Zbl 07811374号 自动化。远程控制 84,编号10,1047-1054(2023); 来自Avtom的翻译。Telemekh公司。2023年,第10期,第48-58页(2023年)。MSC公司:68新元 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Kul’ba}等人,《汽车》。遥控器84,编号10,1047--1054(2023;Zbl 07811374);来自Avtom的翻译。Telemekh公司。2023年,第10号,第48-58号(2023年) 全文: 内政部
马克·韦兹林格;Kochdumper,尼克拉斯;斯坦利·巴克;马蒂亚斯·阿尔霍夫 使用可达集的内外近似对线性系统进行全自动验证。 (英语) Zbl 07811000号 IEEE传输。自动化。控制 68,第12号,7771-7786(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{M.Wetzlinger}等人,IEEE Trans。自动化。控制68,编号12,7771--7786(2023;Zbl 07811000) 全文: 内政部 arXiv公司
罗兰·施万;科林·琼斯。;丹尼尔·库恩 使用混合整数规划验证神经网络控制器的稳定性。 (英语) Zbl 07810983号 IEEE传输。自动化。控制 68,第12期,7514-7529(2023年).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{R.Schwan}等人,IEEE Trans。自动化。对照68,编号12,7514--7529(2023;Zbl 07810983) 全文: 内政部 arXiv公司
阿波法兹·拉瓦伊;萨代赫·苏贾尼;埃米利奥·弗雷佐利 一种用于大规模动力系统数据驱动安全验证的组合耗散方法。 (英语) Zbl 07810965号 IEEE传输。自动化。控制 68,编号12,7240-7253(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,IEEE Trans。自动化。控制68,编号12,7240--7253(2023;Zbl 07810965) 全文: 内政部
洛科·德尼古拉;卢卡·迪·斯特法诺;奥马尔·因弗索;塞雷内拉,瓦利亚尼 觅食蚂蚁集体行为的直观建模和形式分析。 (英语) Zbl 07810883号 Pang,Jun(编辑)等人,《系统生物学中的计算方法》。第21届国际会议,CMSB 2023,卢森堡市,卢森堡,2023年9月13日至15日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14137, 44-61 (2023).MSC公司:92D50型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,Lect。注释计算。科学。14137,44-61(2023;Zbl 07810883) 全文: 内政部
莫希特·特克里瓦尔;安德鲁·W·阿佩尔。;阿里尔·凯利森(Ariel E.Kellison)。;大卫·宾德尔;Jeannin、Jean-Baptiste 验证了平稳迭代线性解算器的正确性、准确性和收敛性:Jacobi方法。 (英语) Zbl 07810733号 Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14101, 206-221 (2023).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{M.Tekriwal}等人,Lect。注释计算。科学。14101206-221(2023;Zbl 07810733) 全文: 内政部
张瑜;张晨辉;姚廷福;张军 Cahn-Hilliard方程无条件能量稳定二阶方法的稳定性和收敛性分析。 (英语) Zbl 07808397号 数学杂志。Res.Appl.研究申请。 43,第6号,691-709(2023).MSC公司:35公里45 65J15年 65G20个 65个M12 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,J.Math。Res.Appl.研究申请。43,第6号,691--709(2023;Zbl 07808397) 全文: 内政部
Tanmay Khandait;阿尼鲁德·钱德拉特;瓦尔斯坦·巴普蒂斯塔;朱利亚·佩德里利;乔治·费内科斯 演示摘要:在微软飞行模拟器上通过伪造分析CPS安全性。 (英语) Zbl 07807971号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Khandait}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2023;Zbl 07807971) 全文: 内政部
阿什瓦尼·阿南德;纳亚克、萨蒂亚·普拉卡什;安妮·凯瑟琳·施穆克 海报摘要:战略调整的许可性。 (英语) Zbl 07807970号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第29号文件,第2页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Anand}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第29号论文,第2页(2023;Zbl 07807970) 全文: 内政部
鲁帕克·马朱姆达尔;考希·马利克;马特乌斯·里奇里基;安妮·凯瑟琳·施穆克;萨代赫·苏贾尼 海报摘要:用于加速符号控制的工具链。 (英语) Zbl 07807969号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第28号论文,第2页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。论文编号28,第2页(2023;Zbl 07807969) 全文: 内政部
卢卡斯·内维斯·埃吉迪奥;纳亚克、萨蒂亚·普拉卡什;罗萨、马蒂奥·德拉;安妮·凯瑟琳·施穆克;拉斐尔·荣格斯 海报摘要:实现混合动力控制的无缝反应。 (英语) Zbl 07807968号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.N.Egidio}等人,《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2023;Zbl 07807968) 全文: 内政部
安德烈亚·佩鲁福;Manuel jun,马祖。 海报:ReLU网络的凸场景优化。 (英语) Zbl 07807967号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第26号论文,第2页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Peruffo}和\textit{M.Mazo jun.},in:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS-IoT周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第26号论文,第2页(2023;Zbl 07807967) 全文: 内政部
何其恒;罗兰·伊利斯;桑伯格,扎卡里;莫特萨·拉希贾尼安 海报摘要:基于采样的方法,用于不确定复杂系统的鲁棒STL综合。 (英语) Zbl 07807966号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第25号论文,第2页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Q.H.Ho}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第25号论文,第2页(2023;Zbl 07807966) 全文: 内政部
鲁亚·卡拉古勒;尼科斯·阿雷奇加;最好的,安德鲁;乔纳森·迪卡斯特罗;内克米耶·奥扎伊 海报摘要:自动驾驶汽车的安全保障偏好学习方法。 (英语) Zbl 07807965号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第24号论文,第2页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Karagulle}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第24号文件,第2页(2023;Zbl 07807965) 全文: 内政部
拉兹,达芙娜;杨利仁;布赖恩·乌姆伯格;内克米耶·奥扎伊 海报摘要:坐姿到站姿期间人体稳定性的可达性和受控不变性。 (英语) Zbl 07807964号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第23号论文,第2页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{D.Raz}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。论文编号23,第2页(2023;Zbl 07807964) 全文: 内政部
奥利弗·舍恩;Van Huijgevoort,Birgit公司;苏菲·海瑟特;萨代赫·苏贾尼 海报摘要:参数随机系统的数据驱动的正确设计控制。 (英语) Zbl 07807963号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第22号论文,第2页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{O.Schön}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第22号论文,第2页(2023;Zbl 07807963) 全文: 内政部
达斯,斯潘丹;帕维特拉·普拉巴卡 海报摘要:平面概率分段常微分系统的稳定性分析。 (英语) Zbl 07807962号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第21号论文,第2页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Das}和\textit{P.Prabhakar},in:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS-IoT周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第21号论文,第2页(2023;Zbl 07807962) 全文: 内政部
Stephen Chong先生;拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼;向、健 网络物理系统传感器攻击的定量稳健性分析。 (英语) Zbl 07807961号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第20号论文,第12页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Chong}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第20号论文,第12页(2023;Zbl 07807961) 全文: 内政部
瓦尔·法塔斯西;海瑟姆凯德尔;瓦伦·山本;亚瑟·舒克利 Bern-NN:使用Bernstein多项式区间算法的神经网络紧界传播。 (英语) Zbl 07807960号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第19号论文,第11页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{W.Fatnassi}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第19号论文,第11页(2023;Zbl 07807960) 全文: 内政部 arXiv公司
托拜厄斯·拉德纳;马蒂亚斯·阿尔霍夫 使用灵敏度分析的神经网络验证中的自动抽象细化。 (英语) Zbl 07807959号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第18号论文,第13页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Ladner}和\textit{M.Althoff},in:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS-IoT周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第18号论文,第13页(2023;Zbl 07807959) 全文: 内政部
罗、二台;尼古拉斯·科奇杜普尔;斯坦利·巴克 利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 (英语) Zbl 07807958号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第17号论文,第12页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Luo}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第17号论文,第12页(2023;Zbl 07807958) 全文: 内政部
巴博特、贝诺特;尼古拉斯·巴塞特;亚历山大·顿泽 Wordgen:一个定时单词生成工具。 (英语) Zbl 07807957号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第16号论文,第7页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Barbot}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第16号论文,第7页(2023;Zbl 07807957) 全文: 内政部
阿尼鲁德·钱德拉特;托马斯·埃尔南德斯·阿科斯塔;坦马·坎代特;朱利亚·佩德里利;乔治·费内科斯 秘密攻击形式化为伪造CPS安全性的STL公式。 (英语) Zbl 07807956号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第15号论文,第8页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Chandratre}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第15号论文,第8页(2023;Zbl 07807956) 全文: 内政部
阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;Thao Dang先生 参数定时正则表达式的模式匹配和参数识别。 (英语) Zbl 07807955号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第14号文件,第13页(2023)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Mambakam}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第14号论文,第13页(2023;Zbl 07807955) 全文: 内政部
Van Huijgevoort,Birgit公司;奥利弗·舍恩;萨代赫·苏贾尼;苏菲·海瑟特 SySCoRe:通过随机耦合关系进行综合。 (英语) Zbl 07807954号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第13号论文,第11页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Van Huijgevoort}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。论文编号13,第11页(2023;Zbl 07807954) 全文: 内政部 arXiv公司
詹尼斯,德林帕塔达基斯;莫特萨·拉希贾尼安;Manuel jun,马祖。;卢卡·劳伦蒂 具有连续动作空间的区间马尔可夫决策过程。 (英语) Zbl 07807953号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第12号论文,第10页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Delimpaltadakis}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第12号论文,第10页(2023;Zbl 07807953) 全文: 内政部 arXiv公司
伊本·格拉西亚;迪米特里斯·博斯科斯;卢卡·劳伦蒂;Manuel jun,马祖。 切换随机系统的分布鲁棒策略综合。 (英语) Zbl 07807952号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第11号文件,第10页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{I.Gracia}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第11号论文,第10页(2023;Zbl 07807952) 全文: 内政部 arXiv公司
阿曼·费尔多西;马蒂亚斯·福格尔;托马斯·诺瓦克;乌尔里希·施密德 阈值模式切换常微分方程和数字电路延迟模型的连续性。 (英语) Zbl 07807951号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Ferdowsi}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2023;Zbl 07807951) 全文: 内政部 arXiv公司
Zareian,迈赫达德;安妮·凯瑟琳·施穆克 基于状态的安全规范的符号输出反馈控制器的延迟综合。 (英语) Zbl 07807950号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第9号论文,第7页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Zareian}和\textit{A.-K.Schmuck},《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第9号论文,第7页(2023;Zbl 07807950) 全文: 内政部
弗吉尼亚州德鲍什;Della Rossa,马特奥;拉斐尔·荣格斯 使用附加闭合模板的路径完整稳定性证书的排序特征。 (英语) 兹伯利07807949 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第8号论文,第10页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{V.Debauche}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第8号论文,第10页(2023;Zbl 07807949) 全文: 内政部
阿文德·阿迪穆兰;印度萨哈;Thao Dang先生 基于预计算可达性序列的安全自触发控制。 (英语) Zbl 07807948号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第7号论文,第12页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Adimoolam}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第7号论文,第12页(2023;Zbl 07807948) 全文: 内政部
Tran,Hoang Dung村;Choi、Sung Woo;杨晓东;山口智也;巴德省霍克萨;丹尼尔·普罗霍罗夫 具有星可达性的递归神经网络的验证。 (英语) Zbl 07807947号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第6号论文,第13页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.D.Tran}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第6号论文,第13页(2023;Zbl 07807947) 全文: 内政部
马克·韦兹林格;Kochdumper,尼克拉斯;斯坦利·巴克;马蒂亚斯·阿尔霍夫 使用支持函数的可达性分析对线性系统进行全自动验证。 (英语) Zbl 07807946号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第5号论文,第12页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Wetzlinger}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第5号文件,第12页(2023;Zbl 07807946) 全文: 内政部
Tran,Hoang-Dung村;Choi、Sungwoo;冈本秀树;巴德省霍克萨;乔治·费内科斯;丹尼尔·普罗霍罗夫 使用probstars对神经网络进行定量验证。 (英语) Zbl 07807945号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第4号论文,第12页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Tran}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第4号论文,第12页(2023;Zbl 07807945) 全文: 内政部
古斯塔沃·卡多纳。;迪沙·卡梅尔;克里斯蒂安·瓦西莱 加权信号时序逻辑控制综合的混合整数线性规划方法。 (英语) Zbl 07807944号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第3号论文,第12页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Cardona}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第3号论文,第12页(2023;Zbl 07807944) 全文: 内政部
陈洪凯;斯科特·斯莫尔卡。;尼古拉·保莱蒂;林,珊 基于STL的网络物理系统弹性控制方法。 (英语) Zbl 07807943号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第2号论文,第12页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第2号论文,第12页(2023;Zbl 07807943) 全文: 内政部 arXiv公司
弗朗西丝卡·凯罗利;尼古拉·保莱蒂;卢卡·博托卢西 随机过程STL需求的保形定量预测监测。 (英语) Zbl 07807942号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第1号论文,第11页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{F.Cairoli}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第1号论文,第11页(2023;Zbl 07807942) 全文: 内政部 arXiv公司
托马斯·博兰德;阿尔诺·莱肯 动态信念更新的参数化复杂性:一个完整的映射。 (英语) Zbl 07801578号 J.日志。计算。 33,编号6,1270-1300(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Bolander}和\textit{A.Lequen},J.Log。计算。33,编号6,1270--1300(2023;Zbl 07801578) 全文: 内政部
曼纽尔·巴博萨;弗朗索瓦州杜普斯托尔;本杰明·格雷戈里;安德烈亚斯·胡尔辛;梅杰尔斯、马提亚斯;Pierre-Yves支柱 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格式引用 \textit{M.Barbosa}等人,Lect。注释计算。科学。14085、421--454(2023;Zbl 07800240) 全文: 内政部
穆尼奥斯,塞萨尔A。;毛里西奥·阿亚拉·林科恩;玛丽亚诺·莫斯卡托(Mariano M.Moscato)。;亚伦·M·达特(Aaron M.Dutle)。;Anthony J.Narkawicz。;阿丽亚娜·阿尔维斯·阿尔梅达;安德烈亚·艾夫拉尔·达席尔瓦;拉莫斯,蒂亚戈·费雷拉 一阶递归函数终止准则的形式化验证。 (英语) Zbl 07800193号 J.汽车。推理 67,第4期,第40号论文,第30页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Muñoz}等人,J.Autom。推理67,第4号,论文40,30页(2023;Zbl 07800193) 全文: 内政部
Dan Boneh;伊莱特·博伊尔;亨利·科里甘·吉布斯;尼夫·吉尔博亚;尤瓦尔·伊斯海 算术素描。 (英语) 兹比尔07799094 Handschuh,Helena(编辑)等人,《密码学进展——密码2023》。第43届年度国际密码学会议,2023年8月20日至24日,美国加利福尼亚州圣巴巴拉市,CRYPTO 2023。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。14081, 171-202 (2023).MSC公司:94A62型 94A60型 第68季度25 68第25页 第68页第15页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Boneh}等人,Lect。注释计算。科学。14081、171--202(2023;Zbl 07799094) 全文: 内政部
詹斯·奥利弗·古斯菲尔德;马库斯·穆勒·奥尔姆;克里斯蒂安·迪利茨 带有语言参数的时态逻辑。 (英语) Zbl 07798814号 Inf.计算。 295,A部分,文章ID 105087,22 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.O.Gutsfeld}等人,《信息计算》。295,A部分,文章ID 105087,22 p.(2023;Zbl 07798814) 全文: 内政部
尼佐夫,M.V。;库兹明,E.V。 控制程序开发和验证的LTL规范。 (俄语。英文摘要) Zbl 07796825号 模型。分析。Inf.姐妹。 30,第4号,308-339(2023).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Neyzov}和\textit{E.V.Kuzmin},模型。分析。Inf.姐妹。30,编号4,308--339(2023;Zbl 07796825) 全文: 内政部 MNR公司
弗朗西斯科·科森蒂诺;哈拉尔德·奥伯豪塞;亚历山德罗·阿巴特 利用Malliavin演算进行概率安全的无网格计算。 (英语) Zbl 07794484号 IEEE传输。自动化。控制 68,第10号,6369-6376(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{F.Cosentino}等人,IEEE Trans。自动化。控制68,编号10,6369--6376(2023;Zbl 07794484) 全文: 内政部 arXiv公司
梁伟超;弗朗西斯科·蒂科齐;朱塞佩·瓦龙 优化量子态验证的测量序列。 (英语) Zbl 07789869号 量子信息处理。 22,第11号,第419号文件,第20页(2023).MSC公司:81页68 PDF格式BibTeX公司 XML格式引用 \textit{W.Liang}等人,《量子信息处理》。22,第11号,第419号论文,20页(2023年;Zbl 07789869) 全文: 内政部 arXiv公司 OA许可证
阿兰·芬克尔;艾蒂安·洛兹 通信有限状态机的同步性是不可判定的。 (英语) Zbl 07789005号 日志。计算方法。科学。 19,第4号,第33号论文,28页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}和\textit{E.Lozes},Log。计算方法。科学。19,第4号,第33号论文,28页(2023;Zbl 07789005) 全文: 内政部 arXiv公司
保罗·埃米利奥·德维莱纳;弗朗索瓦·波蒂埃 验证基于effect-handler的define-by-run反向模式AD库。 (英语) Zbl 07788977号 日志。计算方法。科学。 19,第4号,第5号论文,51页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.E.de Vilhena}和\textit{F.Pottier},Log。计算方法。科学。19,第4号,第5号论文,51页(2023;Zbl 07788977) 全文: 内政部 arXiv公司
瓦莱里亚·伯迪亚;玛丽亚·蒙特罗;马丁·塞夫顿 使用部分可验证信息的通信:一项实验。 (英语) Zbl 07786796号 游戏经济。行为。 142, 113-149 (2023).MSC公司:91A90型 91A28型 PDF格式BibTeX公司 XML格式引用 \textit{V.Burdea}等人,《游戏经济》。贝哈夫。142113-149(2023年;Zbl 07786796) 全文: 内政部
科基·尼塔;山本信仁 有限域内复常微分方程整体解存在性的数值验证方法。 (英语) Zbl 07780413号 JSIAM信函。 15, 69-72 (2023).MSC公司:65页第10页 37J06型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nitta}和\textit{N.Yamamoto},JSIAM Lett。15、69——72(2023年;Zbl 07780413) 全文: 内政部
帕斯奎尔·安东尼特;Heath G.尼尔森。;卢卡·卡隆 感知系统的监测:确定性、概率性和基于学习的故障检测和识别。 (英语) Zbl 07777840号 Artif公司。智力。 325,文章ID 103998,35 p.(2023).MSC公司:93C85号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Antonante}等人,Artif。智力。325,文章ID 103998,35 p.(2023;Zbl 07777840) 全文: 内政部 arXiv公司
格格利·科瓦什奈;Dorina Hedvig接吻;佩特尔·姆林科 量化神经网络的形式化验证。 (英语) Zbl 07777136号 安。数学。通知。 57, 36-48 (2023).MSC公司:68T07型 68T27型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人,Ann.数学。通知。57、36-48(2023年;Zbl 07777136) 全文: 内政部
雷扎·福阿德·拉赫马迪;Purnama,I Ketut Eddy我是Ketut埃迪;努格罗霍(Nugroho)、苏菲诺·马尔迪·苏西基(Supeno Mardi Susiki);尤扬·库斯内达尔·苏普拉普托 基于金字塔注意网络的双卷积神经网络分类器用于基于图像的亲属关系验证。 (英语) Zbl 07777131号 《网络学报》。 24,第2期,215-241(2023).MSC公司:68米10 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Rachmadi}等人,《网络学报》。24,第2号,215--241(2023;Zbl 07777131) 全文: 内政部
Kondrat’ev,D.A。 用于推理数据序列循环中的错误的逻辑(IFIL)。 (英语) Zbl 07773062号 模型。分析。Inf.姐妹。 30,第3期,214-233(2023).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Kondrat’ev},模型。分析。Inf.姐妹。30,编号3,214--233(2023;Zbl 07773062) 全文: 内政部 MNR公司
萨姆·艾伦;大卫·金斯堡;Johanna Ziegel 使用转换后的核分数评估高影响事件的预测。 (英语) Zbl 1527.62003年 SIAM/ASA J.不确定性。量化。 11, 906-940 (2023).MSC公司:62C05型 60G25型 62页第12页 PDF格式BibTeX公司 XML格式引用 \textit{S.Allen}等人,SIAM/ASA J.不确定性。数量。11、906--940(2023年;Zbl 1527.62003年) 全文: 内政部 arXiv公司
Hiroaki西川 关于使用时间相关问题进行精度验证的陷阱。 (英语) Zbl 07771303号 J.计算。物理学。 491,文章ID 112389,6 p.(2023).MSC公司:65新元 6500万 7.6亿 PDF格式BibTeX公司 XML格式引用 \textit{H.Nishikawa},J.计算。物理学。491,文章ID 112389,6 p.(2023;Zbl 07771303) 全文: 内政部 arXiv公司
哈维尔·埃斯帕尔扎;迈克尔·布隆丁 自动机理论。算法方法。 (英语) Zbl 07770922号 马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-04863-7/hbk;978-0-2262-37693-8/电子书)。xii,532页。,开放存取(2023年)。 审核人:Ioan Tomescu(布库雷什蒂) MSC公司:68-02 68-01 68第05页 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}和\textit{M.Blondin},自动机理论。算法方法。马萨诸塞州剑桥:麻省理工学院出版社(2023;Zbl 07770922) 全文: 链接
康迪斯,B。;博宾斯基,J。;马泽克,I。 中尺度混凝土开裂模拟中断裂参数选择的非唯一性。 (英语) Zbl 07767409号 架构(architecture)。机械。 75,第3号,365-396(2023).MSC公司:74兰特 74S05号 74B05型 74K10型 第74页至第5页 PDF格式BibTeX公司 XML格式引用 \textit{B.Kondys}等人,Arch。机械。75,第3号,365-396(2023;Zbl 07767409) 全文: 内政部
P.I.安东。;A.Yu Doroshenko。;伊万尼科,P.A。;O.A.Yatsenko。 Glushkov算法代数和自动并行计算设计。 (英语。乌克兰原文) Zbl 07765729号 赛博。系统。分析。 59,第5期,687-697(2023); 翻译自Kibern。修女。分析。59,第5期,第3-15页(2023年)。MSC公司:68瓦01 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.I.Andon}等人,Cybern。系统。分析。59,编号5,687-697(2023;Zbl 07765729);翻译自Kibern。修女。分析。59,第5号,第3-15号(2023年) 全文: 内政部
玛莎·施尼伯 近似函数的多项式形式验证。 (英语) Zbl 07761099号 最佳大师威斯巴登:Springer Vieweg;不来梅:不来梅大学(硕士论文)(ISBN 978-3-658-41887-8/pbk;978-3-558-41888-5/电子书)。x、 第79页。(2023).MSC公司:68-02 2006年第68季度 第68季度25 第68季度第60季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Schnieber},近似函数的多项式形式验证。威斯巴登:斯普林格·维埃格;不来梅:不来梅大学(硕士论文)(2023;Zbl 07761099) 全文: 内政部
巴甫洛维奇,杜斯科 程序作为图表。从类别可计算性到可计算类别。 (英语) Zbl 07761082号 可计算性理论与应用查姆:施普林格(ISBN 978-3-031-34826-6/hbk;978-3-331-34829-7/pbk;979-3-031-34.827-3/ebook)。十七、252页。(2023).MSC公司:68-01 18-01 18立方米 68号30 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{D.Pavlovic},程序作为图表。从类别可计算性到可计算类别。查姆:施普林格(2023;Zbl 07761082) 全文: 内政部 arXiv公司
索科洛夫,V.F。 具有不确定性和偏置外部扰动的未知自回归对象的次优鲁棒镇定。 (英语。俄文原件) Zbl 1525.93341号 自动化。远程控制 84,第6号,579-593(2023); 来自Avtom的翻译。Telemekh公司。2023,编号6,26-48(2023)。MSC公司:93D21号 93C40型 93C73号 PDF格式BibTeX公司 XML格式引用 \textit{V.F.Sokolov},自动。遥控器84,No.6,579--593(2023;Zbl 1525.93341);来自Avtom的翻译。Telemekh公司。2023年,第6号,第26-48号(2023年) 全文: 内政部
劳拉·科瓦奇 基于代数的回路分析。 (英语) Zbl 07760745号 Dickenstein,Alicia(编辑)等人,第48届符号和代数计算国际研讨会论文集,ISSAC,挪威特罗姆索,2023年7月24日至27日。纽约州纽约市:计算机协会(ACM)。41-42 (2023).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.Kovács},in:第48届符号和代数计算国际研讨会论文集,ISSAC,挪威特罗姆瑟,2023年7月24-27日。纽约州纽约市:计算机协会(ACM)。41-42(2023年;兹bl 07760745) 全文: 内政部
威廉·康拉迪;黛拉·莫妮卡,达里奥;埃米利奥·穆尼奥斯·韦拉斯科;Guido Sciavicco公司;Stan、Ionel Eduard 模糊Halpern和Shoham的区间时序逻辑。 (英语) Zbl 1522.03069号 模糊集系统。 456, 107-124 (2023).MSC公司:03B52号 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,《模糊集系统》。456107-124(2023年;Zbl 1522.03069) 全文: 内政部
第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。 (英语) Zbl 07754282号 纽约州纽约市:计算机协会(ACM)(ISBN 979-8-4007-0033-0)。xi,30篇文章,未连续页码(2023年)。MSC公司:68-06 93-06 65年第68季度 第68季度第60季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机械协会(ACM)(2023;Zbl 07754282) 全文: 内政部
杨贤忠;月亮,六月 具有跳跃的全耦合前向-后向随机系统最优控制问题的一个充分条件:状态约束控制方法。 (英语) Zbl 07754265号 最佳方案。控制应用程序。方法 44,第4期,1936-1971(2023).MSC公司:93E20型 60华氏30 45K05型 49升12 49升25 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Yang}和\textit{J.Moon},Optim。控制应用程序。方法44,No.4,1936——1971(2023;Zbl 07754265) 全文: 内政部
约瑟夫·里夫斯(Joseph E.Reeves)。;Heule,Marijn J.H。;Randal E.布莱恩特。 传播冗余子句的预处理。 (英语) Zbl 07753650号 J.汽车。推理 67,第3号,第31号论文,第26页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.E.Reeves}等人,J.Autom。推理67,第3号,第31号论文,第26页(2023;Zbl 07753650) 全文: 内政部 OA许可证
克里斯托弗·斯特朗。;吴浩泽;Aleksandar Zeljić;凯尔·D·朱利安。;凯兹,盖伊;克拉克·巴雷特;Kochenderfer,Mykel J。 ReLU网络表示的目标函数的全局优化。 (英语) Zbl 07753622号 马赫。学习。 112,第10号,3685-3712(2023).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Strong}等人,马赫。学习。112,编号10,3685--3712(2023;Zbl 07753622) 全文: 内政部 arXiv公司
克劳斯·米尔 实数复杂性中的证明验证。 (英语) Zbl 07753415号 纯应用程序。功能。分析。 8,第4期,1135-1157(2023).MSC公司:2015年第68季度 第68季度25 第68季度第60季度 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{K.Meer},纯应用。功能。分析。8,编号4,1135--1157(2023;Zbl 07753415) 全文: 链接
A.I.Glushchenko。;K.A.拉斯托克金。 对对称矩阵\(P\)的\((P\时间P\)乘积进行矢量化的构造性算法。 (英语。俄文原件) Zbl 07752283号 计算。数学。数学。物理学。 63,编号9,1559-1570(2023); 从Zh。维奇斯。材质材质材质。63,第9期,1415-1427(2023)。MSC公司:81页68 03C10号机组 46A32型 81层33 43A50型 68号30 03天80 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Glushchenko}和\textit{K.A.Lastochkin},计算。数学。数学。物理学。63,编号9,1559--1570(2023;Zbl 07752283);从Zh。维奇斯。材质材质材质。63,编号9,1415--1427(2023) 全文: 内政部
胡安·佩雷拉。;弗朗西斯科·席尔瓦 验证不完善的最优分配机制。 (英语) Zbl 07751224号 西奥。经济。 18,编号2,793-836(2023).MSC公司:91B03型 91B32型 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Pereyra}和\textit{F.Silva},Theor。经济。18,编号2,793--836(2023;Zbl 07751224) 全文: 内政部 OA许可证
伯纳·布·法拉;罗莎·阿布;让·雅克·洛伊索 具有时滞和约束的库存系统的预测反馈控制。 (英语) Zbl 07746664号 IEEE传输。自动化。控制 68,第8号,5096-5102(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{B.B.Farraa}等人,IEEE Trans。自动化。对照68,编号8,5096-5102(2023;Zbl 07746664) 全文: 内政部
A.库什内洛夫。;Bystrov,S。 异步数据路径电路的信号转换图。 (俄语。英文摘要) Zbl 07746212号 模型。分析。Inf.姐妹。 30,第2号,170-186(2023).MSC公司:68瓦35 PDF格式BibTeX公司 XML格式引用 \textit{A.Kushnerov}和\textit{S.Bystrov},模型。分析。Inf.姐妹。30,编号2,170--186(2023;Zbl 07746212) 全文: 内政部 MNR公司
罗比·马利克;Mohajerani,萨哈尔;马丁·费比安 监督控制中用于验证和综合的组合算法综述。 (英语) Zbl 1522.93014号 离散事件动态。系统。 33,编号3,279-340(2023).MSC公司:93甲13 93B30型 93立方65 93-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}等人,离散事件动态。系统。33,编号3,279--340(2023;Zbl 1522.93014) 全文: 内政部 OA许可证
罗兰多·卡瓦佐斯·卡德纳;雨果·克鲁兹·苏亚雷斯;蒙特斯·德奥卡,劳尔 风险规避下可数半马尔可夫决策链的平均准则。 (英语) Zbl 1522.90246号 离散事件动态。系统。 33,第3号,221-256(2023).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Cavazos-Cadena}等人,离散事件动力学。系统。33,编号3,221--256(2023;Zbl 1522.90246) 全文: 内政部
阿尼萨·凯里丁;艾蒂安·雷诺;苏海卜·巴里尔 寻求更好的启发式方法来解决有界模型检查问题。 (英语) Zbl 1522.68329号 限制条件 28,编号1,45-66(2023).MSC公司:第68季度第60季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kheireddine}等人,约束28,No.1,45--66(2023;Zbl 1522.68329) 全文: 内政部
阿梅内·内贾蒂;阿波法兹·拉瓦伊;普什巴克·贾格塔普;萨代赫·苏贾尼;马吉德·扎马尼 未知离散和连续时间系统的形式化验证:数据驱动方法。 (英语) Zbl 07744614号 IEEE传输。自动化。控制 68,编号5,3011-3024(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{A.Nejati}等人,IEEE Trans。自动化。控制68,编号5,3011--3024(2023;Zbl 07744614) 全文: 内政部
伊利赛·马科维奇克(Elisei Macoveiciuc);冈瑟·雷西格 具有内存减少保证的即时符号合成。 (英语) Zbl 07742280号 IEEE传输。自动化。控制 68,第4期,2576-2583(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{E.Macoveiciuc}和\textit{G.Reissig},IEEE Trans。自动化。控制68,编号4,2576--2583(2023;Zbl 07742280) 全文: 内政部
Misaki小岛;直纪西田 将不发生指定的运行时错误减少为约束重写的所有路径可达性问题。 (英语) Zbl 07741962号 J.日志。代数。方法计划。 135,文章ID 100903,19 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Kojima}和\textit{N.Nishida},J.Log。代数。方法计划。135,文章ID 100903,19 p.(2023;Zbl 07741962) 全文: 内政部
杨正峰;赵汉瑞;志、李红 VerifyRealRoots:一个Matlab包,用于计算多项式方程组和不等式组的验证实解。 (英语) Zbl 07741549号 J.系统。科学。复杂。 第2期第36页,866-883页(2023年).MSC公司:65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{Z.Yang}等人,J.Syst。科学。复杂。36,编号2,866--883(2023;Zbl 07741549) 全文: 内政部
亚历山大·阿提基斯(编辑);弗洛里安·布鲁斯(编辑);卢克·亨斯伯格(编辑) 第30届时间表征和推理国际研讨会,《时代》2023年,NCSR Demokritos,希腊雅典,2023年9月25-26日。 (英语) Zbl 1522.68013号 LIPIcs–莱布尼茨国际信息学会议录278.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-298-3)。xiv,22篇文章,非连续页面,仅电子版,开放存取(2023年)。MSC公司:68-06 03B44号 第68季度第60季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}(ed.)等人,第30届时间表征与推理国际研讨会,《时代》2023年,NCSR Demokritos,希腊雅典,2023年9月25-26日。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2023;Zbl 1522.68013) 全文: 内政部 链接
毛一奇;石、凯;刘文阳;向新林;张鲁宾;侯淑娟 超拉伸多壁碳纳米管增强聚酰亚胺气凝胶的热力学本构模型。 (英语) Zbl 07740154号 机械学报。 234,第10号,4691-4717(2023).MSC公司:74A20型 74A60型 74A40型 74C20美元 74-10 第74页至第5页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mao}等人,机械学报。234,编号10,4691--4717(2023;Zbl 07740154) 全文: 内政部
曼弗雷德·布罗伊 通过因果关系和可实现性对并发系统进行规范和验证。 (英语) Zbl 07739130号 西奥。计算。科学。 974,文章ID 114106,61页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \提奥,textit{M.Broy}。计算。科学。974,文章ID 114106,61 p.(2023;Zbl 07739130) 全文: 内政部
马修·布罗斯;丹尼尔·桑兹;马泰奥·诺瓦拉;费利克斯·艾奇;安德烈亚斯·施罗德;克里斯蒂安·卡勒。 具有压力梯度的湍流边界层中的湍流上层结构统计。 (英语) Zbl 1522.76037号 欧洲力学杂志。,B、 液体 101, 209-218 (2023).MSC公司:76层55 76F40型 76M99型 76-05 PDF格式BibTeX公司 XML格式引用 \textit{M.Bross}等人,《欧洲医学杂志》。,B、 液体101、209--218(2023;Zbl 1522.76037) 全文: 内政部
马洛·瓦尔梅尔;本杰明·斯马尼奥托;马里奥·斯帕格诺洛;亚历山德罗·齐亚雷拉;弗朗索瓦·希尔德 三点弯曲受电弓块的中尺度DVC分析和参数校准。 (英语) Zbl 07736638号 欧洲力学杂志。,A、 固体 101,文章ID 105063,14 p.(2023).MSC公司:第74页第30页 74S05号 第74页至第5页 PDF格式BibTeX公司 XML格式引用 \textit{M.Valmalle}等人,《欧洲力学杂志》。,A、 固体101,文章编号105063,14 p.(2023;Zbl 07736638) 全文: 内政部