×

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

最新的 引文 关联
Kerimbekov，A。

在积分微分方程描述的热过程优化跟踪问题中，分布式最优控制的综合。 （英语。俄文原件） Zbl 07831283号

数学杂志。科学。，纽约 279，编号5，655-668（2024）; 翻译自伊托基·诺基（Itogi Nauki Tekh.）。，序列号。索夫雷姆。Mat.Prilozh。，特马特。奥巴马。183, 85-97 (2020).
审核人：阿兰·布里拉德（里迪塞姆）
MSC公司：49K20型 47G10型
PDF格式BibTeX公司 XML格式引用
\textit{A.Kerimbekov}，J.数学。科学。，纽约279，No.5，655--668（2024；Zbl 07831283）；翻译自伊托基·诺基（Itogi Nauki Tekh.）。，序列号。索夫雷姆。Mat.Prilozh。，特马特。奥巴马。183, 85--97 (2020)
全文： 内政部
罗马人Kalkreuth;瓦西切克;雅各布·胡萨;迪德里克·弗梅滕;叶芙蓉;托马斯·伯克

通用布尔函数基准套件。 （英语） Zbl 07809167号

Chicano，Francisco（ed.）等人，《第17届ACM/SIGEVO遗传算法基础研讨会论文集》，FOGA 2023，波茨坦，德国，2023年8月30日至9月1日。纽约州纽约市：计算机协会（ACM）。84-95 (2023).
MSC公司：68T20型 68瓦50 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{R.Kalkreuth}等人，in：第17届ACM/SIGEVO遗传算法基础研讨会论文集，FOGA 2023，波茨坦，德国，2023年8月30日至9月1日。纽约州纽约市：计算机协会（ACM）。84-95（2023年；Zbl 07809167）
全文： 内政部
OA许可证
拉波波特（Rapoport，Èdgar Yakovlevich）

分布参数非线性控制系统的一致优化方法。 （俄语。英文摘要） Zbl 07744579号

维斯特。萨马尔。戈斯。泰克。州立大学。菲兹-马特·诺基 27，第2期，270-291（2023年）.
MSC公司：90立方厘米 90C20个 90C05（二氧化碳） 93C20美元 49甲10 65K10码
PDF格式BibTeX公司 XML格式引用
\textit{È.Y.Rapoport}，韦斯特恩。萨马尔。戈斯。泰克。州立大学。菲兹-Mat.Nauki 27，No.2，270--291（2023；Zbl 07744579）
全文： 内政部 MNR公司
OA许可证
米哈伊尔·戈莫尤诺夫

分数阶最优控制问题的值函数灵敏度分析及其在近最优控制反馈构造中的应用。 （英语） Zbl 1519.49028号

申请。数学。最佳方案。 88，第2期，第41号论文，49页（2023年）.
审核人：阿兰·布里拉德（里迪塞姆）
MSC公司：2012年第49季度 49号35 34A08号 49升12 49J52型
PDF格式BibTeX公司 XML格式引用
\textit{M.Gomoyunov}，应用程序。数学。最佳方案。88，第2号，第41号论文，49页（2023年；Zbl 1519.49028）
全文： 内政部 arXiv公司
彼得·道尔（Peter M.Dower）。;威廉·麦克内尼。;迈克尔·坎通尼

有限时域状态约束连续时间线性调节器问题的博弈表示。 （英语） Zbl 1520.65066号

申请。数学。最佳方案。 88，第1号，第19号论文，43页（2023年）.
审核人：吉川舒吉（Oita）
MSC公司：65平方米 49甲15 49S05号 49号35 35层21 35A01型 35A02型 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{P.M.Dower}等人，应用。数学。最佳方案。88，第1号，第19号论文，43页（2023年；Zbl 1520.65066）
全文： 内政部
OA许可证
安德烈·德米特鲁克;Samylovskiy，伊万

具有线性状态约束的双积分系统的时间最优问题中的最优综合。 （英语） Zbl 1516.49022号

J.戴恩。控制系统。 29，第1号，21-42（2023年）.
审核人：科斯蒂克·莫罗沙努（Iaši）
MSC公司：49公里21 49号35 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{A.Dmitruk}和\textit{I.Samylovskiy}，J.Dyn。控制系统。29、第1号、第21-42号（2023年；Zbl 1516.49022）
全文： 内政部
阿什切普科夫，L.T。

振幅约束控制器的分析综合。 （英语。俄文原件） Zbl 1496.93029号

自动。远程控制 83，第7期，1050-1058（2022）; Avtom翻译。Telemekh公司。2022年，第7期，第49-58页（2022年）。
MSC公司：93B12号机组 49甲10 93D23型
PDF格式BibTeX公司 XML格式引用
\textit{L.T.Ashchepkov}，汽车。遥控器83，编号7，1050--1058（2022；Zbl 1496.93029）；Avtom翻译。Telemekh公司。2022年，第7期，第49-58期（2022年）
全文： 内政部
保罗·汉尼拔;奥尔德罗格（Ernst-Rüdiger Olderog）

重复通信Petri博弈的综合问题。 （英语） Zbl 1499.68225号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 236-257 (2022).
MSC公司：68问题85 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Hannibal}和\textit{E.-R.Olderog}，莱克特。注释计算。科学。13288，236--257（2022；Zbl 1499.68225）
全文： 内政部
保罗·阿奎斯塔佩斯;弗朗西丝卡·布奇

关于一个最优状态半群的无穷小生成元。 （英语） 兹比尔1508.35178

半群论坛 105，编号1，46-72（2022）.
审核人：凯斯·阿马里（莫纳斯提尔）
MSC公司：74年第35季度 74K20型 74F05型 49甲10 49J20型 49号35 49J27型 35M33型 93C20美元
PDF格式BibTeX公司 XML格式引用
\textit{P.Acquistapace}和\textit{F.Bucci}，半群论坛105，第1期，46-72（2022；Zbl 1508.35178）
全文： 内政部 arXiv公司
OA许可证
阿根内塞州帕西菲科;安德烈亚·佩萨雷;毛里齐奥·法尔科内

具有部分未知动力学的LQR问题的一种新算法。 （英语） Zbl 1487.49039号

Lirkov，Ivan（编辑）等人，《大规模科学计算》。第13届国际会议，LSSC 2021，保加利亚索佐波尔，2021年6月7-11日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13127, 322-330 (2022).
MSC公司：49甲10 68T05型 60E05型 62J05型 49号35
PDF格式BibTeX公司 XML格式引用
\textit{A.Pacifico}等人，Lect。注释计算。科学。13127，322--330（2022；Zbl 1487.49039）
全文： 内政部 arXiv公司
安德烈·阿尔登托夫;埃罗·哈卡武里

在Cartan群上的次黎曼问题中缩短时间。 （英语） Zbl 1507.53028号

ESAIM，控制优化。计算变量。 28，第12号论文，第19页（2022年）.
审核人：杰里米·泰森（乌尔班纳）
MSC公司：53立方厘米17 53元22角 22E25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ardentov}和\textit{E.Hakavuori}，ESAIM，控制优化。Calc.Var.28，第12号文件，第19页（2022；Zbl 1507.53028）
全文： 内政部 arXiv公司
OA许可证
佩雷沃兹奇科夫，A.G。;雷谢托夫，V.E。;亚诺奇金，I.E。

通信网络综合的Maximin问题。 （英语。俄文原件） Zbl 1502.90041号

计算。数学。模型。 32，第4期，413-427（2021）; Prikl的翻译。材料信息68，29-44（2021）。
MSC公司：90磅18英寸
PDF格式BibTeX公司 XML格式引用
\文本{A.G.Perevozchikov}等人，计算。数学。模型。32，编号4，413--427（2021；Zbl 1502.90041）；Prikl的翻译。材料信息68，29-44（2021）
全文： 内政部
米哈伊尔·伊戈列维奇·戈莫尤诺夫;德米特里·塞尔科夫（Aleksandrovich）

关于有限扰动集控制问题的保优问题。 （英语） Zbl 1483.49046号

维斯特。乌德穆特。马特·梅赫大学。康普尤特。瑙基 31，编号4，613-628（2021）.
MSC公司：49号30 49号35 93立方厘米15
PDF格式BibTeX公司 XML格式引用
\textit{M.I.Gomoyunov}和\textit{D.A.Serkov}，Vestn。乌德穆特。马特·梅赫大学。康普尤特。Nauki 31，编号4，613-628（2021；兹bl 1483.49046）
全文： 内政部 MNR公司
列奥尼德·阿什切普科夫。;德米特里·V·多尔吉。;Kim、Taekyun;拉维·P·阿加瓦尔。

最佳控制。第二版。 （英语） Zbl 1481.49001号

查姆：施普林格（ISBN 978-3-030-91028-0/hbk；978-3-0.30-91029-7/电子书）。十七、251页。(2021).
MSC公司：49-01 49甲15 49公里15 49J21型 93-01 93个B05 93二氧化碳 93立方厘米 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{L.T.Ashchepkov}等人，《最优控制》。第二版。查姆：施普林格（2021；Zbl 1481.49001）
全文： 内政部
奥列娜·卡普斯蒂安

非凸目标泛函下系数快速振荡双曲边值问题的近似反馈控制。 （英语） Zbl 1478.49035号

Sadovnichiy，Victor A.（编辑）等人，《基础数学和力学的当代方法与方法》。查姆：斯普林格。了解。复杂系统。，407-415 (2021).
MSC公司：49号35
PDF格式BibTeX公司 XML格式引用
\textit｛O.Kapustian｝，in：基础数学和力学的当代方法和方法。查姆：斯普林格。407--415（2021年；Zbl 1478.49035）
全文： 内政部
Utkin，A.V.公司。;乌特金，V.A。

单边控制约束稳定系统的综合。 （英语。俄文原件） Zbl 1475.93079号

自动。远程控制 82，第8期，1442-1455（2021）; Probl的翻译。向上。2020年，第3期，第3-13页（2020年）。
MSC公司：93C85号 93亿B50 93D05型
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Utkin}和\textit{V.A.Utkin}，自动。遥控器82，No.8，1442--1455（2021；Zbl 1475.93079）；翻译自Probl。向上。2020年，第3期，第3-13期（2020年）
全文： 内政部
Jing，Zhao（赵静）;刘振海;埃米利奥·维尔切斯;文青峰;姚仁智

包含历史相关算子的进化半变分不等式的最优控制。 （英语） 兹比尔1477.49053

Commun公司。非线性科学。数字。模拟。 103，文章ID 105992，17 p.（2021）.
MSC公司：49号35 49J20型 49J21型 49J45型 第49页第53页 35季度30 49J40型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Jing}等人，Commun。非线性科学。数字。模拟。103，文章ID 105992，17 p.（2021；Zbl 1477.49053）
全文： 内政部 链接
Neil Jerome A.Egarguin。;丹尼尔·奥诺弗里;埃里克·普拉特

三维亥姆霍兹场主动操纵的敏感性分析。 （英语） Zbl 1469.78011号

反向探测。科学。工程师。 28，第3号，314-339（2020）.
审核人：路易斯·菲利佩·皮涅罗·德·卡斯特罗（阿韦罗）
MSC公司：第78页第46页 65N21型 2005年第76季度 35J15型
PDF格式BibTeX公司 XML格式引用
\textit{N.J.A.Egarguin}等人，《反问题》。科学。工程28，编号3，314--339（2020；Zbl 1469.78011）
全文： 内政部 arXiv公司
拉斐尔·伯顿;什巴希斯·古哈;Jean-François拉斯金

在马尔可夫决策过程中混合概率和非概率目标。 （英语） Zbl 1507.68290号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。195-208 (2020).
MSC公司：68T20型 65年第68季度 68瓦20 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Berthon}等人，《2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集》，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。195-208（2020年；兹比尔1507.68290）
全文： 内政部 arXiv公司
Zvyagin，V.G。;密歇根州Turbin。

变密度Voigt模型的最优反馈控制问题。 （英语。俄文原件） Zbl 1442.49046号

俄罗斯数学。 64，第4号，80-84（2020）; Izv的翻译。维什。乌切布。扎韦德。，材料2020，第4期，93-98（2020）。
MSC公司：49号35
PDF格式BibTeX公司 XML格式引用
\textit{V.G.Zvyagin}和\textit{M.V.Turbin}，俄罗斯数学。64，第4号，80-84（2020；Zbl 1442.49046）；Izv的翻译。维什。乌切布。扎韦德。，材料2020，编号4，93-98（2020）
全文： 内政部
安蒂波夫，A.S。;克拉斯诺夫。;Utkin，A.V.公司。

不完全信息条件下机电对象控制系统的分解综合。 （英语。俄文原件） Zbl 1458.93071号

机械。固体 54，第5号，669-682（2019）; Prikl的翻译。马特·梅赫。83，第4期，530-548（2019年）。
MSC公司：93亿B50 93立方厘米 93个B05 93英镑
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Antipov}等人，《机械》。固体54，No.5，669--682（2019；Zbl 1458.93071）；Prikl的翻译。马特·梅赫。83，第4号，530--548（2019）
全文： 内政部
D.V.巴兰丁。;比留科夫，R.S。;科根，M.M。

有限时域上线性时变系统最大输出偏差的最优控制。 （英语。俄文原件） Zbl 1440.49024号

自动。远程控制 80，编号10，1783-1802（2019）; Avtom翻译。Telemekh公司。2019年，第10期，第37-61页（2019年）。
审核人：Wiesław Kotarski（索斯诺伊克）
MSC公司：49公里15 49号35 74H50型 90C29型 93B52号
PDF格式BibTeX公司 XML格式引用
\textit{D.V.Balandin}等人，《汽车》。遥控器80，No.10，1783--1802（2019；Zbl 1440.49024）；Avtom翻译。Telemekh公司。2019年第10号、第37-61号（2019年）
全文： 内政部
加里宁，A.I。;拉夫里诺维奇。

拟线性系统轨迹上积分二次型性能指标极小化问题解的渐近性。 （英语。俄文原件） 兹比尔1436.49047

J.计算。系统。科学。国际。 58，第5号，695-706（2019）; Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2019年，第5期，第32-43页（2019年）。
MSC公司：49号35 49甲10
PDF格式BibTeX公司 XML格式引用
\textit{A.I.加里宁}和\textit{L.I.拉夫里诺维奇}，J.计算机。系统。科学。国际58号第5、695--706条（2019年；Zbl 1436.49047）；Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2019年第5期、第32-43期（2019年）
全文： 内政部
Plotnikov，P.I。;密歇根州Turbin。;Ustiuzhaninova，A.S。

弱浓水性聚合物溶液修正Kelvin-Voigt模型最优反馈控制问题弱解的存在性定理。 （英语。俄文原件） Zbl 1434.49030号

多克。数学。 100，编号2，433-435（2019）; Dokl翻译。阿卡德。恶心，罗斯。阿卡德。Nauk 488，编号2133-136（2019）。
MSC公司：49号35 35问题35
PDF格式BibTeX公司 XML格式引用
\textit{P.I.Plotnikov}等人，Dokl。数学。100，编号2，433--435（2019；Zbl 1434.49030）；Dokl翻译。阿卡德。恶心，罗斯。阿卡德。瑙克488，No.2，133--136（2019）
全文： 内政部
Ignatovich，S.Yu。;于苏基尼娜（Yu Sukhinina）。五、。

无人机运动学模型具有两个最终点的时间最优控制问题。 （英语） Zbl 1438.49056号

维斯。哈尔克大学。Mat.Prykl.材料等级。马特·梅赫。 89, 76-92 (2019).
MSC公司：49号35 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Yu.Ignatovich}和\textit{Yu.V.Sukhinina}，Visn。哈尔克大学。Mat.Prykl.材料等级。马特·梅赫。89、76-92（2019年；Zbl 1438.49056）
全文： 链接
Lokutsievskiy，L.V.公司。;V.A.米里科娃。

任意凸集中二维控制模型问题的最优综合。 （英语。俄文原件） Zbl 1426.49022号

数学。笔记 105，第1期，第36-55页（2019年）; 翻译自Mat.Zametki 105，No.1，42-64（2019）。
审核人：Wiesław Kotarski（索斯诺伊克）
MSC公司：49公里15 93立方厘米15
PDF格式BibTeX公司 XML格式引用
\textit{L.V.Lokutsievskiy}和\textit{V.A.Myrikova}，数学。附注105，第1号，第36-55条（2019年；Zbl 1426.49022）；翻译自Mat.Zametki 105，No.1，42--64（2019）
全文： 内政部
马克西莫夫，V.I。

一类具有记忆的抛物型方程的保控制问题。 （英语。俄文原件） 兹伯利1418.49039

不同。埃克。 55，第1号，105-112（2019）; 来自Differ的翻译。乌拉文。55，第1期，第103-110页（2019年）。
MSC公司：49号35 49号70
PDF格式BibTeX公司 XML格式引用
\textit{V.I.马克西莫夫}，Differ。埃克。55，No.1，105-112（2019；Zbl 1418.49039）；来自Differ的翻译。乌拉文。55，第1号，103--110（2019）
全文： 内政部
凯米特，提博;玛丽亚·克梅托娃

年龄结构人口的径向基函数网络模拟。 （英语） 兹比尔1522.92050

Fagan，David（编辑）等人，《自然计算的理论与实践》。2018年12月12日至14日在爱尔兰都柏林举行的TPNC 2018第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11324, 414-425 (2018).
MSC公司：92D25型 49K20型 49平方米25 92-10
PDF格式BibTeX公司 XML格式引用
\textit{T.Kmet}和\textit{M.Kmetova}，莱克托。注释计算。科学。11324、414--425（2018年；Zbl 1522.92050）
全文： 内政部
阿克西，S。;查克拉波蒂，苏普拉特克;舒巴姆·戈尔;苏米思·库拉尔;谢塔尔·沙阿

布尔函数综合有什么困难？ （英语） Zbl 1511.68146号

Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 251-269 (2018).
MSC公司：60年第68季度 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Akshay}等人，Lect。注释计算。科学。10981，251--269（2018；Zbl 1511.68146）
全文： 内政部 arXiv公司
OA许可证
劳雷·佩特鲁奇;范德波尔（Jaco van de Pol）

参数区间马尔可夫链的参数综合算法。 （英语） Zbl 1508.68256号

Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10854, 121-140 (2018).
MSC公司：87年第68季度 60J10型
PDF格式BibTeX公司 XML格式引用
\textit｛L.Petrucci｝和\textit｛J.van de Pol｝，Lect。注释计算。科学。10854121-140（2018年；兹比尔1508.68256）
全文： 内政部 哈尔
罗德卡·孔杜拉克;尤索夫·乌阿尔哈德;尼古拉斯·特罗夸德

并发游戏理性合成的复杂性。 （英语） Zbl 1520.68091号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第38条，第15页（2018年）。
MSC公司：68问题85 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{R.Condurache}等人，LIPIcs——莱布尼茨国际程序。通知。118，第38条，第15页（2018；Zbl 1520.68091）
全文： 内政部
莱奥·埃克巴德;艾曼纽·菲利奥特;伊斯马·杰克

多序列规格换能器综合的复杂性。 （英语） Zbl 1512.68138号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第46条，第16页（2018年）。
MSC公司：65年第68季度 03B25号 05年3月 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Exibard}等人，LIPIcs——莱布尼茨国际程序。通知。117，第46条，第16页（2018；Zbl 1512.68138）
全文： 内政部 arXiv公司
亚历山德罗·阿拉;瓦莱里亚·西蒙西尼

代数Riccati方程和LQR问题的降阶方法。 （英语） Zbl 1416.49039号

Falcone，Maurizio（编辑）等人，最优控制问题的数值方法。研讨会记录，意大利罗马，2017年6月19-23日。查姆：斯普林格。Springer INdAM系列。29, 89-109 (2018).
MSC公司：49甲10 49立方米 49K20型 49号35
PDF格式BibTeX公司 XML格式引用
\textit{A.Alla}和\textit{V.Simoncini}，Springer INdAM Ser。29、89——109（2018；Zbl 1416.49039）
全文： 内政部 arXiv公司 链接
安提宾，A.S。;科罗西洛娃，E.V。

终端控制问题的反馈综合。 （英语。俄文原件） 兹伯利1416.49037

计算。数学。数学。物理学。 1903-1918年第12号第58页（2018年）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。58，第12期，1973-1991（2018）。
MSC公司：49号05 49号35 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Antipin}和\textit{E.V.Khoroshilova}，计算。数学。数学。物理学。58，第12号，1903-1918（2018；Zbl 1416.49037）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。58，第12号，1973年--1991年（2018年）
全文： 内政部
Utkin，A.V.公司。

蒸汽轮机控制系统的综合。 （英语。俄文原件） Zbl 1411.93077号

自动。远程控制 79，第12号，2186-2202（2018）; Avtom翻译。Telemekh公司。2018年，第12期，第103-123页（2018年）。
MSC公司：93亿B50 93立方厘米 93立方厘米 93C73号
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Utkin}，自动。遥控器79，No.12，2186--2202（2018；Zbl 1411.93077）；Avtom翻译。Telemekh公司。2018年第12号、第103-123号（2018）
全文： 内政部
Mayantsev，K.S。;托奇林，P.A。

在切换系统的控制问题中构造分段二次值函数的方法。 （英语。俄文原件） Zbl 1409.93040号

不同。埃克。 54，第11期，1472-1482（2018）; 来自Differ的翻译。乌拉文。54，第11期，1497-1507（2018）。
MSC公司：93立方 93亿B50 93二氧化碳 2005年第70季度
PDF格式BibTeX公司 XML格式引用
\textit{K.S.Mayantsev}和\textit{P.A.Tochilin}，Differ。埃克。54、11号、1472--1482（2018；Zbl 1409.93040）；来自Differ的翻译。乌拉文。54，第11期，1497--1507（2018）
全文： 内政部
萨拉尔·莫拉里夫;Kress-Gazit，哈达斯

机器人群的反应合成。 （英语） Zbl 1514.68303号

Jansen，David N.（编辑）等人，《时间系统的形式化建模和分析》。第16届国际会议，FORMATS 2018，中国北京，2018年9月4日至6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11022, 71-87 (2018).
MSC公司：68T40型 03B44号 65年第68季度 60年第68季度 93亿B50 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{S.Moarref}和\textit{H.Kress-Gazit}，莱克特。注释计算。科学。11022、71--87（2018年；Zbl 1514.68303）
全文： 内政部
德雷维扬楚克，E.D。;舒特科夫，A.S。;于斯米尔诺夫。G.公司。

多层吸波涂层的合成问题及数学建模。 （英语） Zbl 1402.78018号

Beilina，L.（ed.）等人，《电磁学中的非线性和逆问题》，PIERS 2017，俄罗斯圣彼得堡，2017年5月22日至25日。查姆：施普林格（ISBN 978-3-319-94059-5/hbk；978-3-3169-94060-1/电子书）。《Springer Proceedings in Mathematics&Statistics》第243、19-27页（2018年）。
MSC公司：78A50型 78M50型 78A48型 60年第35季度 35兰特
PDF格式BibTeX公司 XML格式引用
\textit{E.D.Derevyanchuk}等人，Springer Proc。数学。《法律总汇》第243卷，19-27页（2018年；兹bl 1402.78018）
全文： 内政部
斯特列科夫斯基，N.V。;奥尔洛夫，S.M。

在具有不完全信息的控制问题中构造保证程序包的算法。 （英语。俄文原件） Zbl 1397.93115号

莫斯克。大学计算机。数学。赛博。 42，第2期，69-79（2018）; 由Vestn翻译。莫斯科。州立大学。XV 2018，第2期，20-30（2018）。
MSC公司：93立方厘米 93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{N.V.Strelkovskii}和\textit{S.M.Orlov}，莫斯克。大学计算机。数学。赛博。42、第2号、第69-79号（2018；Zbl 1397.93115）；由Vestn翻译。莫斯科。州立大学。XV 2018，第2期，20--30（2018）
全文： 内政部
阿卜杜拉耶夫，V.M。;艾达·扎德，K.R。

加热过程反馈控制中确定状态观测点数量和位置问题的数值解。 （英语。俄文原件） Zbl 1388.49036号

计算。数学。数学。物理学。 58，第1号，78-89（2018）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。58，第1期，83-94（2018）。
MSC公司：49号05
PDF格式BibTeX公司 XML格式引用
\textit{V.M.Abdullayev}和\textit{K.R.Aida-zade}，计算。数学。数学。物理学。58，第1号，78-89（2018；Zbl 1388.49036）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。58、第1号、第83--94号（2018年）
全文： 内政部
马特奥·扎瓦特里

具有不确定性和决策的条件简单时间网络。 （英语） 兹比尔1515.68294

Schewe，Sven（ed.）等人，第24届时间表征和推理国际研讨会，《时代》2017，比利时蒙斯，2017年10月16日至18日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90，第23条，第17页（2017年）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Zavatteri}，LIPIcs——莱布尼茨国际程序。通知。90，第23条，第17页（2017；Zbl 1515.68294）
全文： 内政部
凯米特，提博;玛丽亚·克梅托娃

SIR分布式控制的回波状态网络仿真。 （英语） Zbl 1489.92160号

Rutkowski，Leszek（编辑）等人，《人工智能和软计算》。2017年6月11日至15日在波兰扎科帕内举行的2017年ICAISC第16届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。10245, 86-96 (2017).
MSC公司：92天30分 49J20型 68T07型
PDF格式BibTeX公司 XML格式引用
\textit{T.Kmet}和\textit{M.Kmetova}，莱克托。注释计算。科学。10245，86-96（2017年；兹比尔1489.92160）
全文： 内政部
哈维尔·埃斯帕尔扎;简·Křetínsk;Jean-François拉斯金;所罗门·西克特

从LTL和极限确定性Büchi自动机到确定性奇偶自动机。 （英语） Zbl 1452.68105号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 426-442 (2017).
MSC公司：65年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}等人，Lect。注释计算。科学。10205426--442（2017；Zbl 1452.68105）
全文： 内政部 arXiv公司
彼得·费蒙维尔;伯恩德·芬克贝纳;马库斯·拉贝。;Leander Tentrup公司

有界合成的编码。 （英语） Zbl 1452.68118号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 354-370 (2017).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{P.Faymonville}等人，莱克特。注释计算。科学。10205、354--370（2017；Zbl 1452.68118）
全文： 内政部 arXiv公司
拉杰夫·阿鲁尔;阿琼·拉德哈克利什纳;阿披实乌杜帕

通过分治来缩放枚举程序合成。 （英语） 兹比尔1452.68043

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 319-336 (2017).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，Lect。注释计算。科学。10205319--336（2017；Zbl 1452.68043）
全文： 内政部
拉斐尔·伯顿;米凯尔·兰多尔;Jean-François拉斯金

马尔可夫决策过程中具有奇偶目标保证的阈值约束。 （英语） Zbl 1442.90199号

Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第121条，第15页（2017年）。
MSC公司：90立方厘米 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{R.Berthon}等人，LIPIcs——莱布尼茨国际程序。通知。80，第121条，第15页（2017；Zbl 1442.90199）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件