萨尔瓦多费德里科;乔治·费拉里;玛丽亚·卢拉·托伦特 SIRS流行病模型中的最优接种。 (英语) Zbl 07834362号 经济。理论 77,编号1-2,49-74(2024).MSC公司:92C60型 49升25 49公里15 PDF格式BibTeX公司 XML格式引用 \textit{S.Federico}等人,《经济学》。理论77,No.1--2,49-74(2024;Zbl 07834362) 全文: 内政部 arXiv公司
米歇尔·帕斯夸;马里诺·米库兰 AbU的行为等效性:验证分布式物联网系统的安全性。 (英语) Zbl 07833682号 西奥。计算。科学。 998,文章ID 114537,22 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Pasqua}和\textit{M.Miculan},Theor。计算。科学。998,文章ID 114537,22 p.(2024;Zbl 07833682) 全文: 内政部
斯维特拉娜·穆斯塔菲纳;安蒂皮纳,叶夫根尼亚;安德烈·安蒂平;安德烈·阿基莫夫 求解化工过程建模中带终端约束的最优控制问题。 (英语) Zbl 07832923号 匹配Commun。数学。计算。化学。 91,第3号,665-682(2024).MSC公司:92E20型 49甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Mustafina}等人,MATCH Commun。数学。计算。化学。91,编号3665-682(2024;Zbl 07832923) 全文: 内政部
雷娜·迪米特洛娃(编辑);奥里·拉哈夫(编辑);塞巴斯蒂安·沃尔夫(编辑) 验证、模型检查和抽象解释。第25届国际会议,VMCAI 2024,英国伦敦,2024年1月15日至16日。诉讼程序。第二部分。 (英语) Zbl 07831420号 计算机科学课堂讲稿14500。查姆:施普林格(ISBN 978-3-031-50520-1/pbk;978-3-0.31-50521-8/电子书)。十八、340页。(2024).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}(编辑)等人,《验证、模型检查和抽象解释》。第25届国际会议,VMCAI 2024,英国伦敦,2024年1月15-16日。诉讼程序。第二部分。查姆:施普林格(2024;Zbl 07831420) 全文: 内政部
雷娜·迪米特洛娃(编辑);奥里·拉哈夫(编辑);塞巴斯蒂安·沃尔夫(编辑) 验证、模型检查和抽象解释。第25届国际会议,VMCAI 2024,英国伦敦,2024年1月15日至16日。诉讼程序。第一部分。 (英语) Zbl 07831419号 计算机科学课堂讲稿14499。查姆:施普林格(ISBN 978-3-031-50523-2/pbk;978-3-331-50524-9/电子书)。十八、352页。(2024).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}(编辑)等人,《验证、模型检查和抽象解释》。第25届国际会议,VMCAI 2024,英国伦敦,2024年1月15-16日。诉讼程序。第一部分查姆:施普林格(2024;Zbl 07831419) 全文: 内政部
浦、姜堰;张琪 不完全市场中广义随机微分效用的消费与投资组合优化。 (英语) Zbl 07827730号 系统。控制信函。 183,文章ID 105680,11 p.(2024).MSC公司:91G10型 60华氏30 93E20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Pu}和\textit{Q.Zhang},系统。控制信函。183,文章ID 105680,11 p.(2024;Zbl 07827730) 全文: 内政部
Jean-Paul彗星;赫莱内·科拉维扎;莱蒂蒂亚·吉巴特 用于识别生物模型参数的约束Kripke结构。 (英语) Zbl 07827498号 西奥。计算。科学。 996,文章ID 114505,22 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.-P.彗星}等人,Theor。计算。科学。996,文章ID 114505,22 p.(2024;Zbl 07827498) 全文: 内政部
杰里米·阿维加德 数学和形式转向。 (英语) Zbl 07826993号 牛市。美国数学。Soc.,新Ser。 61,第2期,225-240(2024).MSC公司:03B35型 68V20型 60年第68季度 68伏15 68五氧化二钒 68伏35 68T01型 97单位50 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad},公牛。美国数学。Soc.,新Ser。61,第2号,225--240(2024;Zbl 07826993) 全文: 内政部 arXiv公司
尼古拉·苏沃罗夫(Nikolai M.Suvorov)。;伊琳娜·洛马佐娃。 数据软件过程模型的验证:检查数据Petri网的可靠性。 (英语) Zbl 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公司
黄,齐;石景涛 反馈信息模式下的混合领导随机微分博弈及其应用。 (英语) 兹伯利07803892 Automatica公司 160,文章ID 111425,14 p.(2024).MSC公司:91A15型 91A65型 第93页第52页 PDF格式BibTeX公司 XML格式引用 \textit{Q.Huang}和\textit{J.Shi},Automatica 160,文章ID 111425,第14页(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公司
范德沃夫,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号 离散连续。动态。系统。,序列号。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 1530.93531号 离散连续。动态。系统。,序列号。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 1530.93531) 全文: 内政部
马可·T·莫拉赞。 基于编程的形式语言和自动机理论。设计、实施、验证和证明。 (英语) Zbl 07786059号 计算机科学课文查姆:施普林格(ISBN 978-3-031-43972-8/hbk;978-3-331-43975-9/pbk;978-1-031-43973-5/电子书)。第二十三章,第524页。(2024).MSC公司:68-01 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Morazán},基于编程的形式语言和自动机理论。设计、实施、验证和证明。查姆:施普林格(2024;Zbl 07786059) 全文: 内政部
黄、金和;Seo,Ki-Wan先生;Kim,Yun Jae;Kim、Ki-Seok 通过氢中的小冲击试验进行的断裂粗糙度评估显示出延性和延性-脆性断裂模式。 (英语) Zbl 1530.74069号 欧洲力学杂志。,A、 固体 103,文章ID 105193,12 p.(2024).MSC公司:74兰特 74兰特20 74S05号 74-05 PDF格式BibTeX公司 XML格式引用 \textit{J.-H.HHwang}等人,《欧洲机械杂志》。,A、 固体103,物品ID 105193,12 p.(2024;Zbl 1530.74069) 全文: 内政部
瓦法,诺亚·阿布·埃尔;安德烈·普拉泽 用破坏完成游戏逻辑。 arXiv公司:2404.09873 预打印,arXiv:2404.09873[cs.LO](2024)。MSC公司:03B70号 03B45 60年第68季度 91A44型 91A05型 91A25型 BibTeX公司 引用 \textit{N.A.E.Wafa}和\textit{A.Platzer},“用破坏完成游戏逻辑”,预打印,arXiv:2404.09873[cs.LO](2024) 全文: arXiv公司 OA许可证
亚亚科夫·里托夫 评论:“高维回归模型的统计推断和大规模多重测试”。 (英语) Zbl 07834597号 测试 32,第4期,1180-1183(2023).MSC公司:62J05型 62J12型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ritov},测试32,编号4,1180--1183(2023;Zbl 07834597) 全文: 内政部
埃蒂安·安德烈(编辑);孙,六月(编辑) 用于验证和分析的自动化技术。第21届国际研讨会,2023年10月24日至27日,新加坡,ATVA 2023。诉讼程序。第二部分。 (英语) Zbl 07826003号 计算机科学课堂讲稿14216.查姆:施普林格(ISBN 978-3-031-45331-1/pbk;978-3-331-45332-8/电子书)。xv,330页。(2023).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}(编辑)和\textit{J.Sun}(主编),验证和分析自动化技术。第21届国际研讨会,ATVA 2023,新加坡,2023年10月24-27日。诉讼程序。第二部分。查姆:施普林格(2023;Zbl 07826003) 全文: 内政部
埃蒂安·安德烈(编辑);孙,六月(编辑) 用于验证和分析的自动化技术。第21届国际研讨会,亚视2023,新加坡,2023年10月24日至27日。诉讼程序。第一部分。 (英语) Zbl 07826002号 计算机科学课堂讲稿14215.查姆:施普林格(ISBN 978-3-031-45328-1/pbk;978-3-331-45329-8/电子书)。十六、446页。(2023).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}(编辑)和\textit{J.Sun}(主编),验证和分析自动化技术。第21届国际研讨会,ATVA 2023,新加坡,2023年10月24-27日。诉讼程序。第一部分查姆:施普林格(2023;Zbl 07826002) 全文: 内政部
阿曼多·卡斯塔涅达;吉尔德·瓦莱里亚·罗德里格斯 异步无等待运行时验证和线性化能力的实施。 (英语) 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年) 全文: 内政部
Alireza Mahzoon;丹尼尔·格罗斯;罗尔夫·德雷克斯勒 结构复杂乘数的形式验证。 (英语) Zbl 07819811号 新加坡:Springer(ISBN 978-3-031-24570-1/hbk;978-3-051-24573-2/pbk;988-3-031-204571-8/电子书)。xiii,130页。(2023).MSC公司:68-02 2007年7月68日 2006年第68季度 60年第68季度 68瓦30 68立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Mahzoon}等人,结构复杂乘数的形式验证。新加坡:Springer(2023;Zbl 07819811) 全文: 内政部
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年) 全文: 内政部
马克·韦兹林格;尼古拉斯·科奇杜普尔;斯坦利·巴克;马蒂亚斯·阿尔霍夫 使用可达集的内外近似对线性系统进行全自动验证。 (英语) 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公司
罗兰·施万;科林·琼斯。;丹尼尔·库恩 使用混合整数规划验证神经网络控制器的稳定性。 (英语) 兹伯利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公司
阿波法兹·拉瓦伊;萨代赫·苏贾尼;埃米利奥·弗雷佐利 用于大规模动力系统数据驱动安全验证的组合耗散性方法。 (英语) 兹伯利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) 全文: 内政部
凯文·洛茨;米贾·库尔琴斯基;德克·诺沃特卡;丹尼·鲍尔森;安德斯·施利奇特克鲁尔 验证验证:Isabelle中字符串的SMT-LIB。 (英语) Zbl 07810935号 Nagy,Benedek(编辑),自动机的实现和应用。第27届国际会议,CIAA 2023,北塞浦路斯法马古斯塔,2023年9月19日至22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。第14151页、第206-217页(2023年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lotz}等人,Lect。注释计算。科学。14151,206-217(2023;Zbl 07810935) 全文: 内政部
洛科·德尼古拉;卢卡·迪·斯特法诺;奥马尔·因弗索;塞雷内拉·瓦利亚尼 觅食蚂蚁集体行为的直观建模和形式分析。 (英语) 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) 全文: 内政部
坦马·坎代特;阿尼鲁德·钱德拉特;瓦尔斯坦·巴普蒂斯塔;朱利亚·佩德里利;乔治·费内科斯 演示摘要:在微软飞行模拟器上通过伪造分析CPS安全性。 (英语) Zbl 07807971号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 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季度 60年第68季度 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季度 60年第68季度 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季度 60年第68季度 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季度 60年第68季度 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-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第25号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 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季度 60年第68季度 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季度 60年第68季度 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季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{O.Schön}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,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季度 60年第68季度 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季度 60年第68季度 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季度 60年第68季度 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季度 60年第68季度 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季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Luo}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,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季度 60年第68季度 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公式。 (英语) 兹伯利07807956 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第15号论文,第8页(2023年)。MSC公司:65年第68季度 60年第68季度 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季度 60年第68季度 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季度 60年第68季度 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季度 60年第68季度 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季度 60年第68季度 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公司
阿曼·费尔多西;马蒂亚斯·福格尔;托马斯·诺瓦克;乌尔里希·施密德 阈值模式开关ODE和数字电路延迟模型的连续性。 (英语) Zbl 07807951号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2023年)。MSC公司:65年第68季度 60年第68季度 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公司
迈赫达德·扎里安;安妮·凯瑟琳·施穆克 基于状态的安全规范的符号输出反馈控制器的延迟综合。 (英语) Zbl 07807950号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第9号文件,第7页(2023年)。MSC公司:65年第68季度 60年第68季度 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,马特奥;拉斐尔·荣格斯 使用附加闭合模板的路径完整稳定性证书的排序特征。 (英语) Zbl 07807949号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第8号论文,第10页(2023年)。MSC公司:65年第68季度 60年第68季度 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季度 60年第68季度 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季度 60年第68季度 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) 全文: 内政部
马克·韦兹林格;尼古拉斯·科奇杜普尔;斯坦利·巴克;马蒂亚斯·阿尔霍夫 使用具有支持功能的可达性分析对线性系统进行全自动验证。 (英语) Zbl 07807946号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第5号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 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季度 60年第68季度 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) 全文: 内政部
古斯塔沃·卡多纳。;迪沙·卡梅尔;克里斯蒂安·瓦西莱 加权信号时序逻辑控制综合的混合整数线性规划方法。 (英语) 兹伯利07807944 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第3号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 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的网络物理系统弹性控制方法。 (英语) 兹伯利07807943 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第2号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}等人,《第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-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第1号论文,第11页(2023年)。MSC公司:65年第68季度 60年第68季度 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.日志。计算。 第6期第33页,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) 全文: 内政部 链接
西多夫,尼古拉斯;格兰特·布朗;布雷纳·斯科扎;克里斯汀·彼得森。 混合结果类型的联合贝叶斯纵向模型和相关模型选择技术。 (英语) Zbl 07800939号 计算。斯达。 38,第4期,1735-1769(2023).MSC公司:62-08 PDF格式BibTeX公司 XML格式引用 \textit{N.Seedorff}等人,计算。Stat.38,No.4,1735---1769(2023;Zbl 07800939) 全文: 内政部
曼纽尔·巴博萨;弗朗索瓦州杜普斯托尔;本杰明·格雷戈里;安德烈亚斯·胡尔辛;梅杰尔斯、马提亚斯;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。;毛里西奥·阿亚拉·林科恩;马里亚诺·莫斯卡托。;亚伦·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;伊莱特·博伊尔;亨利·科里甘·吉布斯;尼夫·吉尔博亚;尤瓦尔·伊斯海 算术草图。 (英语) Zbl 07799094号 Handschuh,Helena(编辑)等人,《密码学进展——密码2023》。第43届年度国际密码学会议,2023年8月20日至24日,美国加利福尼亚州圣巴巴拉市,CRYPTO 2023。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。14081, 171-202 (2023).MSC公司:94A62型 94A60 65年第68季度 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},模型。分析。内部Sist。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 1530.91117号 游戏经济。行为。 142, 113-149 (2023).MSC公司:91A90 91A28型 PDF格式BibTeX公司 XML格式引用 \textit{V.Burdea}等人,《游戏经济》。行为。142113-149(2023年;Zbl 1530.91117) 全文: 内政部 链接
科基·尼塔;山本信仁 有限域内复常微分方程整体解存在性的数值验证方法。 (英语) 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) 全文: 内政部
帕斯奎尔·安东尼特;希思·G·尼尔森。;卢卡·卡隆 感知系统的监测:确定性、概率性和基于学习的故障检测和识别。 (英语) Zbl 1530.93308号 Artif公司。智力。 325,文章ID 103998,35 p.(2023).MSC公司:93C85号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Antonante}等人,Artif。智力。325,文章ID 103998,35 p.(2023;Zbl 1530.93308) 全文: 内政部 arXiv公司
格格利·科瓦什奈;Dorina Hedvig接吻;佩特尔·姆林科 量化神经网络的形式化验证。 (英语) Zbl 07777136号 安。数学。通知。 57, 36-48 (2023).MSC公司:68T07型 第68页第27页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人,《数学年鉴》。通知。57、36-48(2023年;Zbl 07777136) 全文: 内政部
雷扎·福阿德·拉赫马迪;Purnama,I Ketut Eddy我是Ketut Emdy;努格罗霍,苏佩诺·马尔迪·苏西基;尤扬·库斯内达尔·苏普拉普托 基于金字塔注意网络的双卷积神经网络分类器用于基于图像的亲属关系验证。 (英语) Zbl 07777131号 《网络学报》。 24,第2期,215-241(2023).MSC公司:68M10个 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公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Kondrat’ev},模型。分析。内部Sist。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季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}和\textit{M.Blondin},自动机理论。算法方法。马萨诸塞州剑桥:麻省理工学院出版社(2023;Zbl 07770922) 全文: 链接
康迪斯,B。;博宾斯基,J。;马泽克,I。 中尺度混凝土开裂模拟中断裂参数选择的非唯一性。 (英语) Zbl 1529.74068号 架构(architecture)。机械。 75,第3号,365-396(2023).MSC公司:74兰特 74S05号 74B05型 74K10型 74-05 PDF格式BibTeX公司 XML格式引用 \textit{B.Kondys}等人,Arch。机械。75,第3号,365-396(2023;Zbl 1529.74068) 全文: 内政部
考沙尔·基绍尔 量子计算中密码学和机器学习的回顾和意义。 (英语) Zbl 07767107号 Yadav、Satya Prakash(编辑)等人,《量子安全加密算法和方法》。量子计算对网络安全的影响。量子计算。柏林:De Gruyter。159-175 (2023).MSC公司:81页68 68T05型 65G20个 81页94 68平方米25 81-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Kishor},in:量子安全加密算法和方法。量子计算对网络安全的影响。柏林:De Gruyter。159-175(2023年;Zbl 07767107) 全文: 内政部
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季度 65年第68季度 60年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Schnieber},近似函数的多项式形式验证。威斯巴登:斯普林格·维埃格;不来梅:不来梅大学(硕士论文)(2023;Zbl 07761099) 全文: 内政部
达斯科·巴甫洛维奇 程序作为图表。从类别可计算性到可计算类别。 (英语) 兹伯利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年;Zbl 07760745) 全文: 内政部
威廉·康雷迪;黛拉·莫妮卡,达里奥;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科;Stan、Ionel Eduard 模糊Halpern和Shoham的区间时序逻辑。 (英语) Zbl 1522.03069号 模糊集系统。 456, 107-124 (2023).MSC公司:03B52号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,《模糊集系统》。456107-124(2023年;Zbl 1522.03069) 全文: 内政部
第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。 (英语) Zbl 1530.68008号 纽约州纽约市:计算机协会(ACM)(ISBN 979-8-4007-0033-0)。xi,30篇文章,未连续分页(2023)。MSC公司:68-06 93-06 65年第68季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)(2023;Zbl 1530.68008) 全文: 内政部
杨贤忠;月亮,六月 具有跳跃的全耦合前向-后向随机系统最优控制问题的一个充分条件:状态约束控制方法。 (英语) 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·朱利安。;凯兹,盖伊;克拉克·巴雷特;Mykel J.Kochenderfer。 ReLU网络表示的目标函数的全局优化。 (英语) Zbl 07753622号 机器。学习。 112,第10号,3685-3712(2023).MSC公司:60年第68季度 68T20型 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季度 65年第68季度 60年第68季度 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{K.Meer},纯应用。功能。分析。8,编号4,1135--1157(2023;Zbl 07753415) 全文: 链接