×

找到27个文档（结果1-27）

最新的 引文 关联
阿尔伯特·本文尼斯特;贝诺·凯劳德;马蒂亚斯·马兰丹

从混合自动机到基于DAE的建模。 （英文） Zbl 1528.68174号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 3-20 (2022).
MSC公司：65年第68季度 03H10年上半年 34A09号 93-10 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Benveniste}等人，Lect。注释计算。科学。13660，3--20（2022；Zbl 1528.68174）
全文： 内政部 哈尔
鲍勃·科克

文本结构的数学。 （英文） Zbl 1482.81006号

克劳迪娅·卡萨迪奥（编辑）等人，约阿希姆·兰贝克：数学、逻辑和语言学的相互作用。查姆：斯普林格。外部。控制日志。20, 181-217 (2021).
审核人：Hirokazu Nishimura（筑波）
MSC公司：81页68 2012年第68季度 05年3月 91层20 46二氧化碳 46B15号机组 2015年11月18日
PDF格式BibTeX公司 XML格式引用
\textit{B.科克}，Outst。控制日志。181-2017（2021年；兹比尔1482.81006）
全文： 内政部 arXiv公司
伊丽莎白·德·玛丽亚;辛齐亚·迪·朱斯托;莱蒂蒂亚·拉弗萨

建模为时间自动机的尖峰神经网络：具有参数学习。 （英文） Zbl 1530.68086号

自然计算。 19，第1期，135-155（2020年）.
MSC公司：2007年第68季度 03B44号 65年第68季度 60年第68季度 68T05型 92秒20 92C20美元
PDF格式BibTeX公司 XML格式引用
\textit{E.De Maria}等人，《自然计算》。19，第1号，135--155（2020；Zbl 1530.68086）
全文： 内政部 arXiv公司 哈尔
贝拉德，贝特里奇;帕特里夏·鲍耶;文森特·朱格

具有重叠轨迹的动力系统的有限互模拟。 （英文） Zbl 1528.68175号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第26条，第17页（2018年）。
MSC公司：65年第68季度 03B25号 03C64号 60年第68季度 68问题85 93个B03 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Bérard}等人，LIPIcs--Leibniz Int.Proc。通知。119，第26条，第17页（2018；Zbl 1528.68175）
全文： 内政部
科洛文，S.K。;库德里茨基。;A.S.弗索夫。

控制器同时稳定一类对象的构造性算法。 （英语。俄文原件） Zbl 1327.93205号

计算。数学。模型。 24，第2期，171-181（2013）; 来自Nelineĭn的翻译。晚餐时间上限。7, 5-16 (2010).
MSC公司：93立方厘米05 93个B05 65G40型 03C45号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.K.Korovin}等人，计算。数学。模型。24，第2号，171--181（2013；Zbl 1327.93205）；来自Nelineĭn的翻译。晚餐时间上限。7, 5--16 (2010)
全文： 内政部
菲利普·巴尔比亚尼;法希玛·谢赫;纪尧姆·费伊莱德

通过过滤进行控制器/编配器合成。 （英文） Zbl 1345.68227号

Bolander，Thomas（编辑）等人，《第六届模式方法研讨会论文集》（M4M-6 2009），丹麦哥本哈根，2009年11月12-14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》262，33-48（2010）。
MSC公司：68问题85 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}等人，《电子》。注释Theor。计算。科学。262、33-48（2010年；Zbl 1345.68227）
全文： 内政部
科尔斯汀·鲍尔;庆蒂里尼、拉斐拉;克劳斯·施耐德

基于混合自动机的属性驱动三值模型检验。 （英文） Zbl 1246.68151号

Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21日至24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学课堂讲稿5514。人工智能课堂讲稿，218-229（2009）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Bauer}等人，Lect。注释计算。科学。5514、218--229（2009年；Zbl 1246.68151）
全文： 内政部
弗拉基米罗;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦;盖尔·杜勒鲁

STORMED混合动力系统。 （英文） Zbl 1155.68421号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。计算机科学课堂讲稿5126136-147（2008）。
MSC公司：65年第68季度 03C64号
PDF格式BibTeX公司 XML格式引用
\textit{V.Vladimerou}等人，Lect。注释计算。科学。5126、136--147（2008年；Zbl 1155.68421）
全文： 内政部
T·弗利格纳。;H.洛格曼。;瑞恩·E·P。

具有输入和输出非线性的适定线性无穷维系统的低增益积分控制。 （英文） Zbl 0993.93017号

数学杂志。分析。申请。 261，第1期，307-336（2001）.
审核人：Toshihiri Kobayashi（多巴塔）
MSC公司：93C25型 03C10号机组 93C40型 93亿B51
PDF格式BibTeX公司 XML格式引用
\textit{T.Fliegner}等人，J.Math。分析。申请。261，第1号，307--336（2001；Zbl 0993.93017）
全文： 内政部 链接
杰拉尔多·拉弗里尔;乔治·帕帕斯。;塞尔吉奥·尤文

线性向量场族的符号可达性计算。 （英文） Zbl 0983.93004号

J.塞姆。计算。 32，第3期，231-253（2001）.
审核人：拉尔斯·格吕内（法兰克福）
MSC公司：93个B03 93B40码 93元65角 03C10号机组 93立方厘米 68瓦30 93立方英尺60 03天80
PDF格式BibTeX公司 XML格式引用
\textit{G.Lafferierre}等人，J.Symb。计算。32，第3号，231-253（2001年；兹bl 0983.93004）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件