×

找到120个文档（结果1-100）

最新的 引文 关联
托马斯·科拉里克;斯特凡·拉特肖恩

使用布尔可满足性模模拟的铁路调度。 （英语） Zbl 1529.90042号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 56-73 (2023).
MSC公司：90B35型 68T20型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Kolárik}和\textit{S.Ratschan}，Lect。注释计算。科学。14000，56-73（2023年；兹比尔1529.90042）
全文： 内政部 arXiv公司
阿文德·阿迪穆兰;因德拉尼尔·萨哈

在可达性分析中使用并的交集最小化多向线性化误差。 （英语） Zbl 07807709号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第1号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Adimoolam}和\textit{I.Saha}，in：第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰和虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第1号论文，第11页（2022；Zbl 07807709）
全文： 内政部
朱塞佩·斯奎拉克;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁

将微分方程形式化简为过逼近的一种算法。 （英语） Zbl 1522.93048号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 173-191 (2022).
MSC公司：93B11号机组 93立方厘米 93个B03 92天30分 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Squillace}等人，Lect。注释计算。科学。13479173-191（2022年；兹比尔1522.93048）
全文： 内政部
莫斯塔菲朱尔·拉哈曼;桑卡·普拉萨德·蒙达尔;谢里夫·阿拉姆;艾哈迈德·赛义德·梅特瓦利。;索黑尔·萨拉什尔;迈赫迪·萨利米;阿里·艾哈迈迪安

分数阶微分方程在保角导数下区间不确定性的表现。 （英语） Zbl 1507.34009号

混沌孤子分形 165，第1部分，文章ID 112751，24 p.（2022）.
MSC公司：34A08号 26A33飞机
PDF格式BibTeX公司 XML格式引用
\textit{M.Rahaman}等人，混沌孤子分形165，第1部分，文章ID 112751，24 p.（2022；Zbl 1507.34009）
全文： 内政部
张志浩;王振华;王，叶;沈毅;刘一鹏

时变时滞双线性系统的分区可达集估计。 （英语） Zbl 1483.93034号

国际期刊系统。科学。，普林克。申请。系统。集成。 52，第4号，848-856（2021）.
MSC公司：93个B03 93立方厘米 93C55美元 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{Z.Zhang}等人，国际期刊系统。科学。，普林克。申请。系统。集成。52，第4号，848--856（2021；Zbl 1483.93034）
全文： 内政部
扎克·霍尔;辛格拉，普奈特

不确定Lambert问题和可达集问题概率解的高阶灵敏度矩阵方法。 （英语） Zbl 1470.93014号

最神圣的。机械。动态。阿童木。 132，第10号，第50号论文，36页（2020年）.
MSC公司：93个B03 93电子03 93立方厘米 93C20美元
PDF格式BibTeX公司 XML格式引用
\textit｛Z.Hall｝和\textit｛P.Singla｝，Celest。机械。动态。阿童木。132，第10号，第50号论文，36页（2020年；Zbl 1470.93014）
全文： 内政部
安东·谢尔盖维奇·谢卢德科

一维混沌系统模型保参数估计算法的收敛性分析。 （英语） Zbl 1455.93193号

维斯特。尤日诺-乌拉尔。戈斯。州立大学。材料模型。程序。 13，第2期，144-150（2020年）.
MSC公司：93E10型 93立方厘米 65G40型
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Shelud'ko}，维斯特恩。尤日诺-乌拉尔。戈斯。州立大学。材料模型。程序。13，第2号，144-150（2020；Zbl 1455.93193）
全文： 内政部 MNR公司
乔苏·顿塞尔;尼古拉斯·加斯特;米尔科·特里巴斯通;Tschaikowski，马克斯;安德烈·范丁

UTOPIC：通过最优控制实现近似不足。 （英语） Zbl 07817527号

Parker，David（编辑）等人，《系统的定量评估》。2019年9月10日至12日在英国格拉斯哥举行的QEST 2019第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11785, 277-291 (2019).
MSC公司：93立方厘米 93立方厘米 34A34飞机 49甲15
PDF格式BibTeX公司 XML格式引用
\textit{J.Doncel}等人，Lect。注释计算。科学。11785、277--291（2019；Zbl 07817527）
全文： 内政部 哈尔
谢卢德科，A.S。

一维混沌过程建模的非线性不等式系统解集的近似。 （俄语。英文摘要） Zbl 1401.93210号

维斯特。尤日诺-乌拉尔。戈斯。州立大学。材料模型。程序。 11，第1期，152-157（2018）.
MSC公司：93E12号机组 68周25 65G40型
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Sheludko}，维斯特恩。尤日诺-乌拉尔。戈斯。州立大学。材料模型。程序。11，第1号，152--157（2018；Zbl 1401.93210）
全文： 内政部 MNR公司
Carine Jauberthie;Travé-Massuyès，路易丝;娜塔莉·威尔第

非线性模型的集员可辨识性及相关参数估计性质。 （英语） Zbl 1355.93048号

国际期刊申请。数学。计算。科学。 26，第4期，803-813（2016）.
MSC公司：93B30型 93立方厘米 93E10型 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Jauberthie}等人，《国际期刊应用》。数学。计算。科学。26，第4号，803--813（2016；Zbl 1355.93048）
全文： 内政部
OA许可证
丹尼斯·埃菲莫夫;塔雷克·雷西

不确定动力系统的区间观测器设计。 （英语。俄文原件） 兹比尔1346.93084

自动。远程控制 77，第2期，191-225（2016）; Avtom翻译。Telemekh公司。2016年第2期，第5-49页（2016年）。
MSC公司：93个B07 93立方厘米 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{D.Efimov}和\textit{T.Raíssi}，自动。遥控器77，No.2，191--225（2016；Zbl 1346.93084）；Avtom翻译。Telemekh公司。2016年第2号、第5--49号（2016）
全文： 内政部
安德烈亚斯·劳赫;路易斯·森克尔;哈拉尔，阿斯切曼

验证了右侧非光滑动态系统的参数识别。 （英语） Zbl 1354.65151号

Nehmeier，Marco（编辑）等人，《科学计算、计算机算术和验证数字》。2014年9月21日至26日，在德国瓦茨堡举行的2014年SCAN第16届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-31768-7/pbk；978-3-3169-31769-4/电子书）。计算机科学讲座笔记9553236-246（2016）。
MSC公司：65升09 34A55型
PDF格式BibTeX公司 XML格式引用
\textit{A.Rauh}等人，Lect。注释计算。科学。9553、236——246（2016年；Zbl 1354.65151）
全文： 内政部
OA许可证
吕克Jaulin;丹尼尔·洛佩兹;文森特·勒多兹;勒梅内克（Le Menec，Stéphane）;约旦尼宁;查伯特，吉勒斯;穆罕默德·萨阿德·伊宾塞迪克;亚历山大·斯坦库

计算捕获管。 （英语） Zbl 1354.70024号

Nehmeier，Marco（编辑）等人，《科学计算、计算机算术和验证数字》。2014年9月21日至26日，在德国瓦茨堡举行的2014年SCAN第16届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-31768-7/pbk；978-3-3169-31769-4/电子书）。计算机科学讲座笔记9553209-224（2016）。
MSC公司：70E60型
PDF格式BibTeX公司 XML格式引用
\textit{L.Jaulin}等人，Lect。注释计算。科学。9553、209--224（2016；Zbl 1354.70024）
全文： 内政部
OA许可证
石井、大辅;直纪延崎;亚历山大·戈德斯特恩

使用区间分析监控有界LTL属性。 （英语） Zbl 1351.68163号

Bogomolov，Sergiy（编辑）等人，基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》317，85-100（2015）。
MSC公司：60年第68季度 03B44号 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.石井}等人，《电子》。理论注释。计算。科学。31785-100（2015年；Zbl 1351.68163）
全文： 内政部 arXiv公司
约瑟夫·斯科特。;保罗·巴顿。

DAE模型的可达性分析和确定性全局优化。 （英语） Zbl 1343.65104号

Ilchmann，Achim（ed.）等人，《微分代数方程的研究》III.Cham:Springer（ISBN 978-3-319-22427-5/pbk；978-3-3169-22428-2/电子书）。微分代数方程论坛，61-116（2015）。
审核人：Boris V.Loginov（乌里扬诺夫斯克）
MSC公司：65升80 93个B03 90C26型 34A40型 34A60型 49甲15 34A09号 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.K.Scott}和\textit{P.I.Barton}，in：微分代数方程的研究III.Cham:Springer。61-116（2015；Zbl 1343.65104）
全文： 内政部
菲拉斯·科梅内;穆罕默德·阿巴斯·图尔基;塞西尔·杜里欧;亨利·弗兰索瓦·雷诺德;Jean-Marc科南

自适应光学系统中尖端扰动的有界误差状态和参数估计。 （英语） Zbl 1417.93303号

国际期刊改编。控制信号处理。 第11号第28页，1081-1093（2014）.
MSC公司：93E10型 93C40型 93C73号 93立方厘米 78A55型 65G40型
PDF格式BibTeX公司 XML格式引用
\textit{F.Khemane}等人，国际期刊Adapt。控制信号处理。28，第11号，1081--1093（2014；Zbl 1417.93303）
全文： 内政部
弗朗西斯科·雷戈;埃尔文·德维特;埃迪·范奥尔特;埃里克·扬·范坎彭;朱奇平;安东尼奥·M·帕斯科尔。

通过子存储确定可达集的内外界。 （英语） Zbl 1338.65276号

数学。计算。科学。 8，编号3-4，425-442（2014）.
MSC公司：65便士99 93立方厘米 37M99型 65G40型 37号35
PDF格式BibTeX公司 XML格式引用
\textit{F.Rego}等人，数学。计算。科学。8，编号3--4，425--442（2014；Zbl 1338.65276）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件