×

找到1428份文件（结果1-100）

最新的 引文 关联
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）
全文： 内政部
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公司
高桥，Kazuko；广岛美和

修复论证框架的拓扑条件和解决方案。 （英语） Zbl 07789765号

安德烈亚斯·赫齐格（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14156, 101-118 (2023).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{K.高桥}和\textit{H.Miwa}，莱克特。注释计算。科学。14156，101-118（2023；Zbl 07789765）
全文： 内政部
傅晓萱；赵志光

带计数的动态模态逻辑：当约简公理工作或失败时。 （英语） Zbl 07789760号

安德烈亚斯·赫齐格（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14156, 11-24 (2023).
MSC公司：03B45号 03B42号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{X.Fu}和\textit{Z.Zhao}，Lect。注释计算。科学。14156，11--24（2023；Zbl 07789760）
全文： 内政部
希巴·阿玛；巴特·博加特；迪米特里·苏林克斯；尤金妮亚·特诺夫斯卡；Van den Bussche，简

信息流逻辑中的输入、输出和组合。 （英语） Zbl 07760994号

ACM事务处理。计算。日志。 24，第4号，第33号论文，44页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{H.Aamer}等人，《美国医学杂志》。计算。日志。24，第4号，第33号论文，第44页（2023；Zbl 07760994）
全文： 内政部 arXiv公司
Sedlár，伊戈尔

关于带域的Kleene代数的复杂性。 （英语） Zbl 07728641号

Glück，Roland（编辑）等人，《计算机科学中的关系和代数方法》。第20届国际会议，RAMiCS 2023，德国奥格斯堡，2023年4月3-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13896, 208-223 (2023).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Sedlár}，莱克特。注释计算。科学。13896208-223（2023；Zbl 07728641）
全文： 内政部
张林敏

后置假设和无法解释的问题。 （英语） Zbl 1530.91509号

邓（编辑）等，《逻辑和语言的动力学》。第三届清华大学逻辑、语言和意义跨学科研讨会，TLLM 2022，虚拟事件，2022年4月1日至4日。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13524, 167-187 (2023).
MSC公司：91层20 03B65号
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhang}，莱克特。注释计算。科学。13524167-187（2023年；Zbl 1530.91509）
全文： 内政部
佐野胜彦；山田，Tomoyuki

在动态的常识术语顺序逻辑中的命令行为和前景。 （英语） 兹比尔1530.03085

邓（编辑）等，《逻辑和语言的动力学》。第三届清华大学逻辑、语言和意义跨学科研讨会，TLLM 2022，虚拟事件，2022年4月1日至4日。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13524, 116-135 (2023).
MSC公司：03B45号 03B65号
PDF格式BibTeX公司 XML格式引用
\textit{K.Sano}和\textit{T.Yamada}，莱克托。注释计算。科学。13524、116--135（2023年；Zbl 1530.03085）
全文： 内政部
玛丽亚·阿隆尼

动态语义中的忽略零效应。 （英语） Zbl 07727578号

邓（编辑）等，《逻辑和语言的动力学》。第三届清华大学逻辑、语言和意义跨学科研讨会，TLLM 2022，虚拟事件，2022年4月1日至4日。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13524, 1-24 (2023).
MSC公司：03B65号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{M.Aloni}，莱克特。注释计算。科学。13524，1--24（2023；Zbl 07727578）
全文： 内政部
张旭；谭洁清；吴健

具有执行器和传感器故障的随机非线性时滞系统的基于事件触发的自适应渐近跟踪控制。 （英语） Zbl 1508.93209号

Commun公司。非线性科学。数字。模拟。 119，文章ID 107070，16 p.（2023）.
MSC公司：93元65角 93C40型 93立方厘米 93E03型 93立方厘米 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{X.Zhang}等人，Commun。非线性科学。数字。模拟。119，文章ID 107070，16 p.（2023；Zbl 1508.93209）
全文： 内政部
科恩，马克斯·H。；扎卡里·瑟林；莱希、凯文；卡林·贝尔塔

时序逻辑指导的基于安全模型的强化学习：一种混合系统方法。 （英语） Zbl 1505.93116号

非线性分析。，混合系统。 47，文章ID 101295，23 p.（2023）.
MSC公司：93立方 93C40型 03B44号 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.H.Cohen}等人，《非线性分析》。，混合系统。47，文章ID 101295，23 p.（2023；Zbl 1505.93116）
全文： 内政部
大卫·费尔南德斯·杜克；Montacute，Yoáv

动态康托导数逻辑。 （英语） Zbl 07830375号

Manea，Florin（编辑）等人，第30届EACSL计算机科学逻辑年会，CSL 2022，德国哥廷根，虚拟会议，2022年2月14-19日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。216，第19条，第17页（2022年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Fernández-Duque}和\textit{Y.Montacute}，LIPIcs——莱布尼茨国际程序。通知。216，第19条，第17页（2022；Zbl 07830375）
全文： 内政部
Tan，Yong Kiam先生；斯特凡·米奇；安德烈·普拉泽

用逻辑验证切换系统的稳定性。 （英语） Zbl 07807710号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第2号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Y.K.Tan}等人，《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第2号论文，第11页（2022；Zbl 07807710）
全文： 内政部 arXiv公司
安东尼·吉利斯（Anthony S.Gillies）。

论Groenendijk和Stokhof的“动态谓词逻辑”。 （英语） Zbl 1530.03123号

McNally，Louise（编辑）等人，《形式语义学经典论文读者指南》。语言学和哲学研究第100卷。查姆：斯普林格。语言学家。菲洛斯。100, 121-153 (2022).
MSC公司：03B65号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Gillies}，语言学家。菲洛斯。100121-153（2022年；Zbl 1530.03123）
全文： 内政部
约阿希姆·尼伦；西尔万·萨尔瓦蒂；阿齐莫夫，鲁斯塔姆

跳跃嵌套常规路径查询的求值。 （英语） Zbl 1528.68100号

Lierler，Yuliya（编辑）等人，第38届逻辑编程国际会议论文集，ICLP 2022，以色列海法，2022年7月31日至8月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）36479-92（2022）。
MSC公司：第68页，共15页 68N17号 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{J.Niehren}等人，《电子》。程序。西奥。计算。科学。（EPTCS）364，79--92（2022；Zbl 1528.68100）
全文： arXiv公司 链接
布里斯·哈利米

量词和形式之间类比的范畴方面。 （英语） Zbl 07740537号

Béziau，Jean-Yves（编辑）等人，《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会（2011-2019年）上的会谈。查姆：Birkhäuser。通用螺栓。日志。，675-690（2022年）。
MSC公司：03A05号 03Bxx号 01A25号 01A55号 03G30型 03B10号机组 03B45号 03-03 01A60型
PDF格式BibTeX公司 XML格式引用
\textit{B.Halimi}，in：逻辑问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会（2011-2019）上的会谈。查姆：Birkhäuser。675--690（2022；Zbl 07740537）
全文： 内政部
纪尧姆·费伊莱德；安德烈亚斯·赫齐格；克里斯托斯·兰苏迪斯

通过动态逻辑中的事件-条件-操作规则修复数据库。 （英语） Zbl 07630640号

Varzinczak，Ivan（编辑），《信息和知识系统基础》。第十二届国际研讨会，FoIKS 2022，芬兰赫尔辛基，2022年6月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13388, 75-92 (2022).
MSC公司：第68页，共15页 68T27型 68层35 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{G.Feuillade}等人，Lect。注释计算。科学。13388，75-92（2022；Zbl 07630640）
全文： 内政部 哈尔
詹姆斯·加里奇奥；Tan，Yong Kiam先生；斯特凡·米奇；安德烈·普拉泽

KeYmaera X的隐式定义和微分方程（系统描述）。 （英语） 兹伯利07628218

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 723-733 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛J.Gallicchio｝等人，Lect。注释计算。科学。13385，723--733（2022；Zbl 07628218）
全文： 内政部 arXiv公司
达斯，阿努帕姆；玛丽安娜·吉兰多

循环证明、超序列和传递闭包逻辑。 （英语） Zbl 07628206号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 509-528 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Das}和\textit{M.Girlando}，莱克特。注释计算。科学。13385，509--528（2022；Zbl 07628206）
全文： 内政部 arXiv公司
李，肖；李元欣

强关联分数阶非线性大系统的基于事件的模糊自适应分散渐近跟踪控制。 （英语） Zbl 1500.93069号

国际期刊系统。科学。，普林克。申请。系统。集成。 53，第11期，2358-2373（2022）.
MSC公司：93元65角 93立方厘米 93C40型 93甲14 93甲15 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{X.Li}和\textit{Y.-X.Lineneneep，国际期刊系统。科学。，普林克。申请。系统。集成。53，第11号，2358--2373（2022；Zbl 1500.93069）
全文： 内政部
乔治·斯特凡·施密德；维克托·库恰克

不锈钢框架的通用阵列。 （英语） Zbl 1498.68172号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 332-354 (2022).
MSC公司：60年第68季度 03B70号 68号30 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.S.Schmid}和\textit{V.Kunčak}，莱克特。注释计算。科学。13182、332--354（2022；Zbl 1498.68172）
全文： 内政部 链接
Sedlár，伊戈尔

正则计算序列上具有量化的命题动态逻辑。 （英语） Zbl 07551725号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13137301-315（2022年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{I.Sedlár}，莱克特。注释计算。科学。13137，301-315（2022；Zbl 07551725）
全文： 内政部
Motoura、Shota；胜本，Shin-ya

动态认知逻辑中的逆算子。 （英语） Zbl 07551720号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13137217-235（2022年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Motoura}和\textit{S.-y.Katsumata}，莱克特。注释计算。科学。13137，217--235（2022；Zbl 07551720）
全文： 内政部
杨大卫·W·K。；利昂·A·彼得森。

耐用的策略使游戏充满活力。理论、解决方法和应用。 （英语） Zbl 1493.91002号

理论和决策库C.博弈论、社会选择、决策理论和优化50.查姆：施普林格（ISBN 978-3-030-92741-7/hbk；978-3-0030-92742-4/电子书）。xii，303页。(2022).
审核人：瓦西尔·波索利奇（皮亚特拉·尼姆）
MSC公司：91-02 91A25型 91A26型 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{D.W.K.Yeung}和\textit{L.A.Petrosyan}，持久战略是动态游戏。理论、解决方法和应用。查姆：施普林格（2022；Zbl 1493.91002）
全文： 内政部
内森·亨特；内森·富尔顿；萨拉·马格里亚坎；Hoang，Trong Nghia村；Das、Subhro；阿曼多·索拉勒扎马

端到端强化学习的可验证安全探索。 （英语） 兹伯利07807687

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第14号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Hunt}等人，在：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS物联网周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第14号论文，第11页（2021；Zbl 07807687）
全文： 内政部 arXiv公司
哈马德·艾哈迈德；Jeannin、Jean-Baptiste

验证混合系统信号时序逻辑规范的程序逻辑。 （英语） Zbl 07807683号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.Ahmad}和\textit{J.-B.Jeannin}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2021；Zbl 07807683）
全文： 内政部 arXiv公司
安德烈亚斯·赫齐格；安东尼奥·尤斯特·格内尔

定性不确定性的抽象论证：动态逻辑分析。 （英语） Zbl 07671020号

彼得罗·巴罗尼（编辑）等人，《逻辑与论证》。第四届国际会议，CLAR 2021，中国杭州，2021年10月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13040, 190-208 (2021).
MSC公司：03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{A.Herzig}和\textit{A.Yuste-Ginel}，莱克特。注释计算。科学。13040、190--208（2021；Zbl 07671020）
全文： 内政部 哈尔
乔治·斯巴多利尼

断言、拒绝和语义共性。 （英语） Zbl 07547769号

Ghosh，Sujata（编辑）等人，《逻辑、理性与互动》。第八届国际研讨会，LORI 2021，中国西安，2021年10月16-18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13039, 183-191 (2021).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{G.Sbardolini}，莱克特。注释计算。科学。13039、183--191（2021；Zbl 07547769）
全文： 内政部 链接
鲁斯塔姆·加利姆林；托马斯·奥戈特内斯

动态联盟逻辑：授予和撤销独裁权力。 （英语） Zbl 07547761号

Ghosh，Sujata（编辑）等人，《逻辑、理性与互动》。第八届国际研讨会，LORI 2021，中国西安，2021年10月16-18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13039，88-101（2021）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Galimullin}和\textit{T.奥戈特涅斯}，莱克特。注释计算。科学。13039、88-101（2021；Zbl 07547761）
全文： 内政部
丹尼尔·菲格雷多

引入区间微分动态逻辑。 （英语） Zbl 1496.03128号

Hojjat，Hossein（编辑）等人，《软件工程基础》，第九届国际会议，FSEN 2021，虚拟活动，2021年5月19日至21日。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12818, 69-75 (2021).
MSC公司：03B70号 65G30型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Figueiredo}，莱克特。注释计算。科学。12818，69-75（2021；Zbl 1496.03128）
全文： 内政部 链接
雷卡·马尔科维奇；罗伊，奥利维尔

将知情权形式化：认识权作为规范立场。 （英语） Zbl 1484.03037号

廖北水（编辑）等，新一代AI 2021的逻辑。第一次国际研讨会，LNGAI 2021，2021年6月18日至20日，中国杭州。伦敦：学院出版物。154-159 (2021).
MSC公司：03B45号 03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Markovich}和\textit{O.Roy}，in：新一代AI 2021的逻辑。第一次国际研讨会，LNGAI 2021，2021年6月18日至20日，中国杭州。伦敦：学院出版物。154-159（2021；Zbl 1484.03037）

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件