×

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

最新的 引文 关联
保罗·巴拉里尼；马哈茂德·本特里奥；保罗·亨里·库内德

一种用于调谐随机振荡器的形式化方法。 （英语） 兹比尔07810880

Pang，Jun（编辑）等人，《系统生物学中的计算方法》。第21届国际会议，CMSB 2023，卢森堡市，卢森堡，2023年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14137, 1-17 (2023).
MSC公司：92年2月25日 92立方厘米 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Ballarini}等人，Lect。票据计算。科学。14137，1-17（2023；Zbl 07810880）
全文： 内政部
米歇尔·洛雷蒂；阿尼卡·雷赫曼

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

Ábrahám，Erika（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13479, 133-149 (2022).
MSC公司：60年第68季度 68T05型 第68页第42页
PDF格式BibTeX公司 XML格式引用
\textit｛M.Loreti｝和\textit｛A.Rehman｝，Lect。票据计算。科学。13479，133--149（2022；Zbl 1522.68333）
全文： 内政部
大卫·朱利安；纪尧姆酒廊；贝诺·德拉哈耶

参数ODE模型的端到端统计模型检查。 （英语） Zbl 1522.68325号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13479, 85-106 (2022).
MSC公司：60年第68季度 65升05 92-10
PDF格式BibTeX公司 XML格式引用
\textit{D.Julien}等人，Lect。票据计算。科学。13479，85-106（2022；Zbl 1522.68325）
全文： 内政部 哈尔
安德烈·范丁；丹尼尔·贾奇尼；弗朗西斯科·兰佩蒂；弗朗西斯卡·奇亚罗蒙特

基于经济主体模型的自动化和分布式统计分析。 （英语） Zbl 1514.62332号

《经济学杂志》。动态。控制 143，文章ID 104458，33 p.（2022）.
MSC公司：62第20页 62E10型 62J15型 62-08
PDF格式BibTeX公司 XML格式引用
\textit{A.Vandin}等人，J.Econ。动态。控制143，文章ID 104458，33 p.（2022；Zbl 1514.62332）
全文： 内政部 arXiv公司 链接
萨拉·穆罕默德内贾德；Jyotirmoy V.德斯穆赫。；劳拉·内兹

挖掘空间分布式系统的可解释时空逻辑属性。 （英语） Zbl 1497.68433号

Hou，Zhe（编辑）等人，用于验证和分析的自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 91-107 (2021).
MSC公司：68T05型 62H30型 64岁以下 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Mohammadinejad}等人，Lect。票据计算。科学。12971，91-107（2021；Zbl 1497.68433）
全文： 内政部 arXiv公司
米尔科·贾科布；托马斯·亨辛格（Thomas A.Henzinger）。；马蒂亚斯·莱切纳

量化你的神经网络需要多少比特？ （英语） Zbl 1483.68192号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12079, 79-97 (2020).
MSC公司：60年第68季度 62H30型 2006年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Giacobbe}等人，Lect。票据计算。科学。12079，79-97（2020；Zbl 1483.68192）
全文： 内政部
莫伊塔巴·扎雷；王，于；米罗斯拉夫·帕吉奇

基于学习的网络物理系统的统计验证。 （英语） Zbl 07300853号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第12条，第7页（2020年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Zarei}等人，in：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼与虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第12条，第7页（2020；Zbl 07300853）
全文： 内政部
Esmaeil Zadeh Soudjani，萨代格；鲁帕克·马朱姆达尔；提格朗·纳加佩提安

混合系统统计模型检验的多级蒙特卡罗方法。 （英语） Zbl 1420.68126号

Bertrand，Nathalie（编辑）等人，《系统的定量评估》。2017年9月5-7日在德国柏林举行的2017年QEST第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10503, 351-367 (2017).
MSC公司：60年第68季度 65二氧化碳 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Esmaeil Zadeh Soudjani}等人，Lect。票据计算。科学。10503、351--367（2017；Zbl 1420.68126）
全文： 内政部 arXiv公司 链接
周军；Ramanathan，R。；Wong，翁辉；蒂亚加拉扬，P.S。

基于ODE的生物通道模型的自动属性合成。 （英语） Zbl 1416.92067号

Feret，Jéróme（编辑）等人，《系统生物学中的计算方法》。2017年9月27日至29日在德国达姆施塔特举行的CMSB 2017第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10545, 265-282 (2017).
MSC公司：92C40型 92立方厘米 92-08 92C45型
PDF格式BibTeX公司 XML格式引用
\textit{J.Zhou}等人，Lect。票据计算。科学。10545，265--282（2017；Zbl 1416.92067）
全文： 内政部
Daca，Przemysław公司；托马斯·亨辛格（Thomas A.Henzinger）。；简·Křetínsk；塔贾纳·彼得罗夫

更快的统计模型检查无界时间属性。 （英语） Zbl 1367.68188号

ACM事务处理。计算。日志。 第18条第2款第12条第25页（2017年）.
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Daca｝等人，ACM Trans。计算。日志。18，第2号，第12条，第25页（2017；Zbl 1367.68188）
全文： 内政部 arXiv公司
Bakir、Mehmet Emin；玛丽安·盖奥吉；萨瓦斯·科努尔；斯坦内特，迈克

统计模型检查工具的比较分析。 （英语） Zbl 1483.68184号

Leporati，Alberto（编辑）等人，《膜计算》。2016年7月25日至29日，第17届国际会议，CMC 2016，意大利米兰。修改选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10105, 119-135 (2017).
MSC公司：60年第68季度 2007年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Bakir}等人，Lect。票据计算。科学。10105、119--135（2017；Zbl 1483.68184）
全文： 内政部 链接
川本优助；法布里西奥·比昂迪；Legay、Axel

用于量化信息流的互信息混合统计估计。 （英语） Zbl 1427.68168号

Fitzgerald，John（ed.）等人，FM 2016：正式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9995, 406-425 (2016).
MSC公司：60年第68季度 62B10型 2015年1月62日 68页30
PDF格式BibTeX公司 XML格式引用
\textit{Y.Kawamoto}等人，Lect。票据计算。科学。9995406--425（2016；Zbl 1427.68168）
全文： 内政部 哈尔
Daca，Przemysław公司；托马斯·亨辛格（Thomas A.Henzinger）。；Krětínsk，Jan；塔贾纳·彼得罗夫

马尔可夫链之间的线性距离。 （英语） Zbl 1392.68293号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学会议59，Article 20，15 p.（2016）。
MSC公司：68问题85 60J10型 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Daca}等人，LIPIcs——莱布尼茨国际程序。通知。59，第20条，第15页（2016；Zbl 1392.68293）
全文： 内政部 arXiv公司
埃齐奥·巴托西；卢卡·博托卢西；布拉兹迪尔；米利奥斯·迪米特里奥斯；吉多·桑吉内蒂

连续时间马尔可夫决策过程中基于双随机梯度上升的时间有界可达性策略学习。 （英语） Zbl 1380.65024号

Agha，Gul（编辑）等人，《系统的定量评估》。2016年8月23日至25日，第13届国际会议，QEST 2016，加拿大魁北克市。诉讼程序。查姆：施普林格（ISBN 978-3-319-43424-7/pbk；978-3-3169-43425-4/电子书）。计算机科学讲义9826244-259（2016）。
MSC公司：65C60个 2005年6月2日 92D25型
PDF格式BibTeX公司 XML格式引用
\textit{E.Bartocci}等人，Lect。票据计算。科学。9826、244--259（2016；Zbl 1380.65024）
全文： 内政部 arXiv公司
亚历山大·科扎列夫；约翰·昆德伦；怎么了，乔纳森；乌富克托普库

动力系统数据驱动验证的案例研究。 （英语） Zbl 1366.68175号

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。81-86 (2016).
MSC公司：60年第68季度 68T05型 93C40型 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Kozarev}等人，in：第19届ACM混合系统国际会议论文集：计算与控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。81-86（2016年；Zbl 1366.68175）
全文： 内政部
罗纳德·克里斯滕森

方差分析、设计和回归。不平衡数据的线性建模。第2次修订版。 （英语） Zbl 1388.62001号

查普曼和霍尔/CRC统计科学系列教材佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4987-3014-3/hbk；978-1-4977-3018-1/电子书）。xxv，第610页。(2016).
审核人：玛丽娜·戈鲁内斯库（Craiova）
MSC公司：62-01 62Jxx型 62G08号 62K10型 62克15 62-04 62H17型
PDF格式BibTeX公司 XML格式引用
\textit{R.Christensen}，方差分析，设计和回归。不平衡数据的线性建模。第二修订版。佛罗里达州博卡拉顿：CRC出版社（2016；Zbl 1388.62001）
本杰明·乔里（Benjamin M.Gyori）。；刘冰；苏米亚·保罗；Ramanathan，R。；蒂亚加拉扬，P.S。

混合系统的近似概率验证。 （英语） Zbl 1412.92120号

亚历山德罗（编辑）等，《混合系统生物学》。第四次国际研讨会，HSB 2015，西班牙马德里，2015年9月4-5日。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。9271, 96-116 (2015).
MSC公司：92立方厘米 93立方 60J20型
PDF格式BibTeX公司 XML格式引用
\textit{B.M.Gyori}等人，Lect。票据计算。科学。9271，96-116（2015；Zbl 1412.92120）
全文： 内政部 arXiv公司
Ramanathan，R。；张燕；周军；本杰明·乔里（Benjamin M.Gyori）。；Wong，翁辉；蒂亚加拉扬，P.S。

生物途径模型的并行参数估计。 （英语） Zbl 1412.92128号

亚历山德罗（编辑）等，《混合系统生物学》。第四次国际研讨会，HSB 2015，西班牙马德里，2015年9月4-5日。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。9271, 37-57 (2015).
MSC公司：92立方厘米 92-08
PDF格式BibTeX公司 XML格式引用
\textit{R.Ramanathan}等人，Lect。票据计算。科学。9271，37-57（2015；Zbl 1412.92128）
全文： 内政部
伊曼·哈吉；奥斯汀·琼斯；孔兆丹；埃齐奥·巴托西；拉杜·格罗斯；卡林·贝尔塔

SpaTeL：一种新的时空逻辑及其在网络系统中的应用。 （英语） Zbl 1366.68170号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。189-198 (2015).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Haghhii}等人，in：第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。189-198（2015年；Zbl 1366.68170）
全文： 内政部
乔纳斯·埃克哈特；托拜厄斯·穆尔鲍尔；何塞·梅塞格尔；马丁·威尔辛

复合参与者系统的统计模型检查。 （英语） Zbl 1394.68228号

Martí-Oliet，Narciso（编辑）等人，代数开发技术的最新趋势。第21届国际研讨会，2012年WADT，西班牙萨拉曼卡，2012年6月7日至10日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-37634-4/pbk）。计算机科学课堂讲稿7841143-160（2013）。
MSC公司：60年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Eckhardt}等人，Lect。票据计算。科学。7841、143--160（2013；Zbl 1394.68228）
全文： 内政部
保罗·祖利亚尼；克里斯特尔·拜尔；埃德蒙·克拉克（Edmund M.Clarke）。

随机混合系统的Rareevent验证。 （英语） 兹比尔1362.68192

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。217-226 (2012).
MSC公司：60年第68季度 60J22型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Zuliani}et al.，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17-19日。纽约州纽约市：计算机协会（ACM）。217--226（2012；Zbl 1362.68192）
全文： 内政部
巴伯，贝诺；谢尔盖，哈达德；克劳迪娜·皮卡罗尼

统计模型检验的耦合和重要性抽样。 （英语） Zbl 1352.68143号

Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，331-346（2012）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Barbot}等人，Lect。票据计算。科学。7214，331--346（2012；Zbl 1352.68143）
全文： 内政部
亚历山大·高迪利埃；贝内代托·斯科波拉；伊丽莎白·斯科波拉；马西米利亚诺·维亚尔

随机图上团问题的腔方法的相变。 （英语） Zbl 1231.82017年

《统计物理学杂志》。 145，编号5，1127-1155（2011）.
MSC公司：82B26型 05C80号 60年第68季度 82天30分
PDF格式BibTeX公司 XML格式引用
\textit{A.Gaudillière}等人，《统计物理学杂志》。145，第5号，1127--1155（2011；Zbl 1231.82017）
全文： 内政部 arXiv公司
埃德蒙·克拉克（Edmund M.Clarke）。；保罗·祖利亚尼

计算机物理系统的统计模型检查。 （英语） Zbl 1348.68128号

Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996，1-12（2011）。
MSC公司：60年第68季度 62B10型
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke}和\textit{P.Zuliani}，莱克特。票据计算。科学。6996，1-12（2011；Zbl 1348.68128）
全文： 内政部
苏米特·库马尔·贾阿；克里斯托弗·詹姆斯·兰米德

使用统计模型检查和抽象求精对生化系统随机模型进行综合和不可行性分析。 （英语） Zbl 1211.92021号

西奥。计算。科学。 412，第21号，2162-2187（2011）.
MSC公司：92C40型 92立方厘米 60J20型 62页第10页 65C20个 99年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.K.Jha}和\textit{C.J.Langmead}，Theor。计算。科学。412，第21号，2162--2187（2011；Zbl 1211.92021）
全文： 内政部
保罗·祖利亚尼；安德烈·普拉泽；埃德蒙·克拉克（Edmund M.Clarke）。

贝叶斯统计模型检查及其在Simulink/Stateflow验证中的应用。 （英语） Zbl 1361.68154号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。243-252 (2010).
MSC公司：60年第68季度 62C10个 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Zuliani}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。243-252（2010年；Zbl 1361.68154）
全文： 内政部
德米特里厄斯·德莫普洛斯。；莫舍·瓦尔迪。

随机HornSAT问题中的相变。 （英语） Zbl 1156.82347号

Percus，Allon（编辑）等人，《计算复杂性和统计物理》。根据2001年9月在美国新墨西哥州圣达菲举行的计算复杂性和统计物理研讨会上的演示以及2002年6月在美国加利福尼亚州洛杉矶举行的相变和算法复杂性研讨会上的演讲，选出论文。牛津：牛津大学出版社（ISBN 0-19-517738-X/pbk）。圣达菲研究所复杂性科学研究，195-220（2006）。
MSC公司：82B26型 2010年第68季度 60年第68季度 65年第68季度 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{D.D.Demopoulos}和\textit{M.Y.Vardi}，in：计算复杂性和统计物理。根据2001年9月在美国新墨西哥州圣达菲举行的计算复杂性和统计物理研讨会上的演示以及2002年6月在美国加利福尼亚州洛杉矶举行的相变和算法复杂性研讨会上的演讲，选出论文。牛津：牛津大学出版社。195-220（2006年；兹bl 1156.82347）
诺维科夫，E.S。；亚·赫塔古洛夫。答：。

监控和修正计算方法的可靠性。 （英语。俄文原件） Zbl 0439.68045号

程序。计算。软件 5, 414-420 (1979); 译自Programmirovanie 1979，第6期，75-82（1979）。
MSC公司：68纳米99 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.S.Novikov}和\textit{Ya.A.Khetagurov}，程序。计算。柔和。5、414--420（1979年；Zbl 0439.68045）；译自Programmirovanie 1979，No.6，75-82（1979）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件