×

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

最新的 引文 关联
董浩;崔俊之;聂玉峰;马如云;Jin，柯;黄冬梅

具有温度依赖特性的复合材料非线性动态热机械问题的多尺度计算方法。 （英语） Zbl 1515.74071号

Commun公司。非线性科学。数字。模拟。 118，文章ID 107000，38 p.（2023）.
审核人：亨德里克·拉诺查（汉堡）
MSC公司：74S05号 74平方米 74F05型 74E30型
PDF格式BibTeX公司 XML格式引用
\textit{H.Dong}等人，Commun。非线性科学。数字。模拟。118，文章ID 107000，38 p.（2023；Zbl 1515.74071）
全文： 内政部
米歇尔·洛雷蒂;阿尼卡·雷赫曼

用于推理集体系统的局部和全局属性的逻辑框架。 （英语） Zbl 1522.68333号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 133-149 (2022).
MSC公司：60年第68季度 68T05型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Loreti｝和\textit｛A.Rehman｝，Lect。注释计算。科学。13479，133--149（2022；Zbl 1522.68333）
全文： 内政部
比伦·埃梅克·阿巴利;法迪·阿尔达克海尔;塔雷克·佐迪。

电子器件在电载荷下热机械疲劳的多物理计算。 （英语） Zbl 1518.74076号

Aldakheel，Fadi（编辑）等人，计算力学中的当前趋势和开放问题。查姆：斯普林格。1-14 (2022).
MSC公司：74兰特20 2015年1月74日 74F05型 74E30型 74S05号 74平方米
PDF格式BibTeX公司 XML格式引用
\textit{B.E.Abali}等人，in：计算力学中的当前趋势和开放问题。查姆：斯普林格。1-14（2022年；Zbl 1518.74076）
全文： 内政部
鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔

Maude中的策略、模型检查和分支时间属性。 （英语） Zbl 1528.68233号

J.日志。阿尔盖布。方法计划。 123，文章ID 100700，28 p.（2021）.
MSC公司：60年第68季度 03B44号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Rubio｝等人，J.Log。阿尔盖布。方法程序。123，文章ID 100700，28 p.（2021；Zbl 1528.68233）
全文： 内政部 arXiv公司
马丁·昂德雷亚特;马克·维拉尔

关于（2）-光滑Banach空间中随机卷积的时间正则性。 （英语。法语摘要） 兹比尔1483.60058

普罗巴伯亨利·彭卡雷（Henri Poincaré）安研究所。斯达。 56，第3期，1792-1808（2020）.
审核人：伊利·瓦卢塞斯库（布库雷什蒂）
MSC公司：60G17年 46E35型 60J65型 60甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.Ondreját}和\textit{M.Veraar}，安妮·亨利·蓬卡雷研究所，普罗巴布。Stat.56，No.3，1792--1808（2020；Zbl 1483.60058）
全文： 内政部 arXiv公司 欧几里得
曼达尔，苏布伦苏;阿罗宾达·古普塔

二部时序图中的0-1时间匹配。 （英语） 兹比尔1453.68141

Changat，Manoj（编辑）等人，《算法和离散应用数学》。第六届国际会议，2020年2月13日至15日，印度海得拉巴，CALDAM 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12016, 331-346 (2020).
MSC公司：68兰特 05C70号 2017年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{S.Mandal}和\textit{A.Gupta}，莱克特。注释计算。科学。12016、331--346（2020；Zbl 1453.68141）
全文： 内政部
雷·S·W·钟。;那么，Mike K.P。;朱阿曼达·M·Y。;托马斯·W·C·陈。

由复估计函数构造的贝叶斯拟似然函数的正则化。 （英语） Zbl 1510.62347号

计算。统计数据分析。 150，文章ID 106977，23 p.（2020）.
MSC公司：2009年6月26日 2015年1月62日 2012年12月62日 62米10 62页第12页 62-08
PDF格式BibTeX公司 XML格式引用
\textit{R.S.W.Chung}等人，计算。统计数据分析。150，文章ID 106977，23 p.（2020；Zbl 1510.62347）
全文： 内政部
埃利尼·阿克里达（Eleni C.Akrida）。;乔治·默齐奥斯（George B.Mertzios）。;保罗·G·斯皮拉基斯。;维克托·扎马拉耶夫

具有滑动时间窗口的时间顶点覆盖。 （英语） Zbl 1436.68219号

J.计算。系统。科学。 107, 108-123 (2020).
MSC公司：68兰特 05C70号 2017年第68季度 68周25
PDF格式BibTeX公司 XML格式引用
\textit{E.C.Akrida}等人，J.Compute。系统。科学。107108-123（2020年；兹比尔1436.68219）
全文： 内政部 arXiv公司 链接
霍尔格·吉斯;玛丽亚·马克西莫娃;卢卡斯·萨基兹洛格;斯文·施奈德

类型化属性图上的度量时态图逻辑。 （英语） Zbl 1524.68230号

Hähnle，Reiner（编辑）等人，《软件工程的基本方法》，第22届国际会议，FASE 2019，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2019，捷克共和国布拉格，2019年4月6日至11日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11424, 282-298 (2019).
MSC公司：68兰特 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Giese}等人，Lect。注释计算。科学。11424282-298（2019年；兹比尔1524.68230）
全文： 内政部
阿尔诺卡斯提格茨;约瑟夫·彼得斯（Joseph G.Peters）。;杰森·斯科特斯

时间派系承认稀少的扳手。 （英语） Zbl 1517.68281号

Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第134条，第14页（2019年）。
MSC公司：68兰特 05C69号
PDF格式BibTeX公司 XML格式引用
\textit{A.Casteigts}等人，LIPIcs——莱布尼茨国际程序。通知。132，第134条，第14页（2019年；Zbl 1517.68281）
全文： 内政部
穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·布瓦贾尼;库马尔·纳拉扬。;普拉卡什·塞瓦桑

验证过程程序的定量时间属性。 （英语） Zbl 1520.68026号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第15条，第17页（2018年）。
MSC公司：68号30 03B44号 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.F.Atig}等人，LIPIcs——莱布尼茨国际程序。通知。118，第15条，第17页（2018；Zbl 1520.68026）
全文： 内政部
埃利尼·阿克里达（Eleni C.Akrida）。;乔治·默齐奥斯（George B.Mertzios）。;保罗·G·斯皮拉基斯。;维克托·扎马拉耶夫

具有滑动时间窗口的时间顶点覆盖。 （英语） Zbl 1499.68243号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第148条，第14页（2018年）。
MSC公司：68兰特 05C70号 2017年第68季度 68周25
PDF格式BibTeX公司 XML格式引用
\textit{E.C.Akrida}等人，LIPIcs——莱布尼茨国际程序。通知。107，第148条，第14页（2018；Zbl 1499.68243）
全文： 内政部
斑鱼、Evripidis;布鲁诺·埃斯科菲尔;迈克尔·兰皮斯;Vangelis Th.帕斯科。

多阶段匹配。 （英语） Zbl 1477.68196号

David Eppstein（编辑），第16届斯堪的纳维亚研讨会和算法理论研讨会。2018年6月18日至20日，瑞典马尔默大学，SWAT 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。101，第7条，第13页（2018年）。
MSC公司：68兰特 05C70号 2017年第68季度 68周25 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{E.Bampis}等人，LIPIcs——莱布尼茨国际程序。通知。101，第7条，第13页（2018；Zbl 1477.68196）
全文： 内政部
玛丽·福廷;安卡·穆斯科尔;伊戈尔·瓦卢凯维奇

参数化异步共享内存下推系统的模型检查线性时间属性。 （英语） Zbl 1495.68134号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10427, 155-175 (2017).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Fortin}等人，Lect。注释计算。科学。10427，155--175（2017；Zbl 1495.68134）
全文： 内政部 哈尔
伊丽莎白·德·玛丽亚;亚历山大·穆齐;丹尼尔·加菲;安妮·雷苏切;弗兰克·格拉蒙特

验证建模为同步反应系统的神经元原型的时间特性。 （英语） 兹比尔1428.92008

Cinquemani，Eugenio（编辑）等人，《混合系统生物学》。第五届国际研讨会，HSB 2016，法国格勒诺布尔，2016年10月20日至21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9957, 97-112 (2016).
MSC公司：92秒20 92-08 92-04
PDF格式BibTeX公司 XML格式引用
\textit{E.De Maria}等人，Lect。注释计算。科学。9957，97-112（2016；Zbl 1428.92008）
全文： 内政部 链接 哈尔
Vo V.安。;尼古拉·列昂年科。;Maria D.Ruiz-Medina。

正则有界开域上的时空分数阶随机方程。 （英语） Zbl 1354.60065号

分形。计算应用程序。分析。 19，第5期，1161-1199（2016）.
MSC公司：60甲15 60G22型 60G60型 60G15年 6020万 60G17年 60年12月 26A33飞机
PDF格式BibTeX公司 XML格式引用
\textit{V.V.Anh}等人，分形。计算应用程序。分析。19，第5号，1161--1199（2016；Zbl 1354.60065）
全文： 内政部 arXiv公司 链接
明弘市穆拉斯;大雄县Terauchi;直纪小林;佐藤隆介;不，Hiroshi

高阶功能程序的时间验证。 （英语） Zbl 1347.68233号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。57-68 (2016).
MSC公司：60年第68季度 68甲18 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Murase｝等人，在：第43届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）。57-68（2016；Zbl 1347.68233）
全文： 内政部
萨伏安·塔哈;雅克·朱利亚德;弗雷德里克·达多;卡卢·卡布雷拉·卡斯蒂略;比拉尔·坎索

一种基于合成自动机的语义，并保留用于测试属性模式的转换规则。 （英语） Zbl 1338.68164号

正式Asp。计算。 27，第4期，641-664（2015）.
MSC公司：68问题55 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Taha}等人，正式Asp。计算。27，编号4641-664（2015年；兹bl 1338.68164）
全文： 内政部
马丁·霍夫曼;陈伟

Büchi自动机的抽象解释。 （英语） Zbl 1401.68162号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第51号论文，第10页（2014年）。
MSC公司：65年第68季度 2015年1月6日 05年6月 68号30 第68季度第65季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}和\textit{W.Chen}，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第51号论文，第10页（2014；Zbl 1401.68162）
全文： 内政部 链接
范·威廉伯格，L.杰拉德;威廉·德科宁。

时变离散时间线性系统的时间和一步稳定性和可检测性。 （英语） Zbl 1264.93215号

Hömberg，Dietmar（编辑）等人，《系统建模与优化》。2011年9月12日至16日，德国柏林，CSMO，第25届IFIP TC 7系统建模与优化会议。修订论文集。海德堡：施普林格（ISBN 978-3-642-36061-9/hbk；978-3-442-36062-6/电子书）。IFIP信息和通信技术进展391，306-317（2013）。
MSC公司：93D15号 93个B05 93C55美元 93立方厘米05
PDF格式BibTeX公司 XML格式引用
\textit{L.G.van Willigenburg}和\textit{W.L.De Koning}，IFIP高级信息通信。Technol公司。391306--317（2013；Zbl 1264.93215）
全文： 内政部
埃西克，Z。;Sz伊凡。

有限树上的扩展时序逻辑。 （英语） Zbl 1264.03051号

伊藤、马萨米（编辑）等，《自动机，形式语言和代数系统》。AFLAS 2008年会议记录，日本京都，2008年9月20日至22日。新泽西州哈肯萨克：世界科学（ISBN 978-981-4317-60-3/hbk；978-981-14317-61-0/电子书）。47-62 (2010).
MSC公司：03B44号 07年3月 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.esik}和\textit{Sz.Iván}，in：自动机，形式语言和代数系统。2008年AFLAS会议记录，日本京都，2008年9月20-22日。新泽西州哈肯萨克：《世界科学》。47-62（2010年；Zbl 1264.03051）
全文： 内政部
阿莱西奥·科莱塔;罗伯塔·戈里;弗朗西丝卡·列维

使用抽象解释近似生物系统的概率行为。 （英语） Zbl 1283.92037号

尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第1期，165-182（2009）。
MSC公司：92立方厘米 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Coletta}等人，《电子》。注释Theor。计算。科学。229，第1号，165--182（2009；Zbl 1283.92037）
全文： 内政部
菲利普·魏斯;尼尔·伊梅尔曼

词上FO（^{2}）的结构定理和严格交替层次。 （英语） Zbl 1168.03019号

日志。方法计算。科学。 5，第3期，论文4，23页（2009年）.
MSC公司：03立方厘米13 03B44号 07年3月 05年3月 2017年第68季度 19年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Weis}和\textit{N.Immerman}，Log。方法计算。科学。5，第3号，论文4，第23页（2009年；兹bl 1168.03019）
全文： 内政部 arXiv公司
魏斯，P。;伊梅尔曼，N。

词上FO（^{2}）的结构定理和严格交替层次。 （英语） Zbl 1168.03328号

Duparc，Jacques（编辑）等人，《计算机科学逻辑》。2007年9月11日至15日，第21届国际研讨会，2007年CSL，第16届EACSL年会，瑞士卢桑。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74914-1/pbk）。计算机科学课堂讲稿4646343-357（2007）。
MSC公司：03立方厘米13 03B44号 07年3月 05年3月 2017年第68季度 19年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Weis}和\textit{N.Immerman}，莱克特。注释计算。科学。4646、343--357（2007年；Zbl 1168.03328）
全文： 内政部
Jan W.Kantelhardt。;迭戈·里布斯基;斯蒂芬·齐格纳（Stephan A.Zschiegner）。;彼得·布劳恩;伊娃·科斯切尔尼·邦德;瓦莱丽·利维纳;哈夫林，什洛莫;阿明·邦德

河流径流和降水的多重分形：波动分析和小波方法的比较。 （英语） Zbl 1038.86001号

物理A 330，编号1-2240-245（2003）.
MSC公司：86A05型 65T60型
PDF格式BibTeX公司 XML格式引用
\textit{J.W.Kantelhardt}等人，《物理学A 330》，第1--2240-245号（2003；Zbl 1038.86001）
全文： 内政部 arXiv公司
伯纳德·伯托米厄;弗朗索瓦·沃纳达特

时间Petri网分支分析的状态类构造。 （英语） Zbl 1031.68082号

Garavle，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2619, 442-457 (2003).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Berthomieu}和\textit{F.Vernadat}，莱克特。注释计算。科学。2619442-457（2003年；Zbl 1031.68082）
全文： 链接
沃尔克·迪克特;保罗·加斯丁

真实轨迹的安全性和活性属性，以及从LTL到幺半群的直接转换。 （英语） Zbl 1060.68077号

Brauer，Wilfried（编辑）等人，《形式和自然计算》。献给格列泽戈斯·罗森伯格的论文。柏林：施普林格出版社（ISBN 3-540-43190-X）。莱克特。注释计算。科学。2300, 26-38 (2002).
MSC公司：68问题85 65年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{V.Diekert}和\textit{P.Gastin}，莱克特。注释计算。科学。2300、26-38（2002年；Zbl 1060.68077）
全文： 链接
他，Cheng;辛、周平

关于（mathbb{R}^3）中非平稳Navier-Stokes方程解的衰减性质。 （英语） Zbl 0982.35083号

程序。爱丁堡皇家学会。，第节。A、 数学。 131，第3期，597-619（2001）.
审核人：迪米塔尔·科列夫（索非亚）
MSC公司：35季度30 35B40码 35D05型
PDF格式BibTeX公司 XML格式引用
\textit{C.He}和\textit{Z.Xin}，程序。爱丁堡皇家学会。，第节。A、 数学。131，第3号，597--619（2001；Zbl 0982.35083）
全文： 内政部
诺维科夫，V.V。;Vojtsekhovskij，K.V.公司。

分形介质的粘弹性特性。 （英语。俄文原件） Zbl 0967.74017号

普里克尔。墨西哥。泰克。菲兹。 41，第1期，162-172（2000）; J.Appl.中的翻译。机械。技术物理。41，第1期，149-158（2000）。
审核人：N.I.Alexandrova（新西伯利亚）
MSC公司：第74天99 28A80型
PDF格式BibTeX公司 XML格式引用
\textit{V.V.Novikov}和\textit{K.V.Vojtsekovskij}，Prikl。墨西哥。泰克。菲兹。41，第1号，162--172（2000；Zbl 0967.74017）；J.Appl.中的翻译。机械。技术物理。41，第1号，149--158（2000）
弗朗西丝卡·列维

定时状态图的合成验证。 （英语） Zbl 0945.03042号

霍华德·巴林格等人，《时序逻辑的进展》。1997年，英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。第16页，第47-70页（2000年）。
MSC公司：03B70号 60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{F.Levi}，应用。日志。序列号。16、47-70（2000；Zbl 0945.03042）
雅罗斯拉夫·斯塔克

观察复杂性，看到简单性。 （英语） Zbl 0959.37018号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 358，编号1765，41-61（2000）.
MSC公司：37C20美元 37M10个 37D05型 37立方厘米 37N99型
PDF格式BibTeX公司 XML格式引用
\文本{J.斯塔克}，菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。358，编号1765，41--61（2000；Zbl 0959.37018）
全文： 内政部
比约恩桑德斯特德;阿恩·谢尔;克劳迪娅·伍尔夫

欧氏对称模式的动力学行为。 （英语） Zbl 0966.35064号

Golubitsky，Martin（编辑）等人，《连续和耦合系统中的模式形成》。1998年5月11日至15日，美国明尼苏达州明尼阿波利斯，研讨会会议记录，1997年国际医学协会项目的组成部分。献给约翰·戴维·克劳福德（1954-1998）。纽约州纽约市：斯普林格。IMA卷数学。申请。115, 249-264 (1999).
MSC公司：35K57型 37L20型 35立方厘米32 37升10 58J70型
PDF格式BibTeX公司 XML格式引用
\textit{B.Sandstede}等人，IMA卷数学。申请。115、249--264（1999；Zbl 0966.35064）
大卫·哈雷;伊莱·辛格曼

计算路径逻辑：一种表达性的但基本的过程逻辑。 （英语） Zbl 0931.03044号

Ann.纯粹应用。逻辑 96，第1-3号，167-186（1999）.
审核人：瓦伦丁·F·戈兰科（约翰内斯堡）
MSC公司：03B70号 60年第68季度 68问题85 03B25号 2015年3月1日 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}和\textit{E.Singerman}，Ann.Pure Appl。逻辑96，No.1--3，167--186（1999；Zbl 0931.03044）
全文： 内政部
托马斯·威尔克

对离散时间属性进行分类。 （英语） Zbl 0926.03018号

Meinel，Christoph（编辑）等人，STACS 99。1999年3月4日至6日在德国特里尔举行的第16届计算机科学理论方面年度研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1563, 32-46 (1999).
MSC公司：03B44号 05年3月 20立方米 03B10号机组
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。1563，32-46（1999；Zbl 0926.03018）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件