{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T08:53:08Z”，“时间戳”：1648975988779}，“出版商位置”：“柏林，海德堡”，“参考计数”：28，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642540127”，“类型”：“打印”}，{“值”：“9783642540134”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2014]]}，”DOI“：”10.1007\/978-3642-54013-4_18“，”type“：”book-capter“，”created“：{”date-ports“：[2014,1,3]]，”date-time“：”2014-01-03T01:08:00 9Z“，”时间戳“：1388711289000}，”页面“：”322-336“，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“建模节俭推定监管网络：复杂性和启发式方法”]，“prefix”：“10.1007”，”author“：[{”givene“：”Vicente“，”family“：”Acu\u00f1a“，”sequence“：”first“，”affiliation“：[]}，{”given“：”Andr\u00e9s“，”家族“：”Aravena“，“sequence”：“additional”，“afliation”：[]{“给定”：“Alejandro”，“family”：“Maass”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Anne”，“家族”：“Siegel”，“serquence”:“additionable”，“filiation“：[]2]，“member”：“297”，“reference”：[{“issue”：“17”，“key”：”18_CR1“，“doi-asserted-by”：”publisher“，”首页“3389”，“doi”：“10.1093\/nar\/25.17.3389”“卷”：“25”，“作者”：“S.F.Altschul”，“年份”：“1997”，“非结构化”：“Altschul，S.F.，Madden，T.L.，Sch\u00e4ffer，A.A.，Zhang，J.，Zhang-，Miller，W.，Lipman，D.J.：Gapped blast和psi-blast:新一代蛋白质数据库搜索程序。核酸研究\u00a025（17），3389\u20133402（1997）”，“期刊标题”：“核酸研究”}，{“key”：“18_CR2”，“非结构性”：“Aravena，A.，Guziolowski，C.，Ostrowski，M.，Schaub，T.，Eveillard，D.，Maass，A.，Siegel，A.：用基于逻辑的因果关系模型解释基因表达关联的调控关系（2013年）（准备中）”}，{“key”：“18_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Bailey，T.L.，Boden，M.，Buske，F.A.，Frith，M.、Grant，C.E.，Clementi，L.，Ren，J.，Li，W.W.，Noble，W.S.：模因套件：模因发现和搜索工具。核酸研究\u00a037（Web服务器问题），W202（2009）”，“DOI”：“10.1093\/nar\/gkp335”}，{“key”：“18_CR4”，“DOI-asserted-by”：“crossref”，“unstructured”：“Baral，C.：知识表示、推理和陈述性问题解决。剑桥大学出版社（2003）”，“DOI”：“10.1017\/CBO9780511543357”}，{“key”：“18_CR5”，“unstructured”：“Butte，A.J.，Kohane，I.S.：相互信息相关网络：使用成对熵测量的功能基因组聚类。摘自：Pac.Symp.Biocomput.，pp.418\u2013429（2000）”}，{“key”：“18_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“Calzone，L.，Fages，F.，Soliman，S.：Biocham:建模生物系统和形式化实验知识的环境。生物信息学（2006）”，“DOI”：“10.1093\/生物信息学\/btl172”}，{“issue”：“1”，“key”：“18_CR7”，“DOI-asserted-by”：“publisher”，“first page”：”25“，“DOI:”10.1016\/j.tcs.2004.03.063“，”volume“325”，“author”：“N.”。Chabrier-Rivier“，“年份”：“2004年”，“非结构化”：“Chabrier-Livier，N.，Chiaverini，M.，Danos，V.，Fages，F.，Sch\u00e4chter，V.：建模和查询生物分子相互作用网络。理论计算机科学\u00a0325（1），25\u201344（2004）“，“期刊标题”：“理论计算机科学”}，{“key”：“18_CR8”，“unstructured”：“Csardi，G.，Nepusz，T.：复杂网络研究的igraph软件包。InterJournal，complex Systems\u00a01695（2006）”}doi-asserted-by“：”publisher“，”first page“：”17“，”doi“：”10.1007\/978-3-540-74407-8_3“，“volume-title”：“CONCUR 2007\u2013并发理论”，“author”：“V.Danos”，“year”：“2007”，“unstructured”：“Danos，V.，et al.：基于规则的细胞信号建模。收录：Caires，L.，Vasconcelos，V.T.（编辑）CONCUR 2007。LNCS，第u00a04703卷，第17\u201341页。Springer，Heidelberg（2007）“}，{“key”：“18_CR10”，“unstructured”：“Danos，V.，Feret，J.，Fontana，W.，Harmer，R.，HaymanIARCS软件技术和理论计算机科学基础年会，FSTTCS 2012。LIPIcs，第u00a018卷，第276\u2013288页。Schloss Dagstuhl-Leibniz Zentrum f \u00fcr Informatik（2012）“}，{“问题”：“14”，“关键”：“18_CR11”，“doi-asserted-by”：“出版商”，“首页”：“4935”，“doi”：“10.1073\/pnas.0502024102”，“卷”：“102”，”作者：“E.Davidson”，“年份”：“2005”，“非结构化”：“Davidson，E.，Levin，M.：基因调控网络。美国国家科学院院刊\u00a0102（14），4935（2005）“，“journal-title”：“美利坚合众国国家科学院学报”}，{“issue”：“3”，“key”：“18_CR12”，“doi-asserted-by”：“publisher”，“first-pages”：“336”，“doi”：“10.1093\/生物信息学\/btf851”，“volument”：“19”，“author”：“H。Jong de，“年份”：“2003年”，“非结构化”：“de Jong，H.，Geiselmann，J.，Hernandez，C.，Page，M.：遗传网络分析仪：遗传调控网络的定性模拟。生物信息学\u00a019（3），336\u2013344（2003）“，“期刊标题”：“生物信息学”}，{“问题”：“1”，“关键”：“18_CR13”，“doi-asserted-by”：“publisher”，“首页”：“269”，“doi”：“10.1007\/BF01386390”，“卷”：“一”，“作者”：“E.Dijkstra”，《年份》：“1959年”，“非结构化”：“Dijkstra，E.：关于与图形有关的两个问题的注释。数字数学\u00a01（1），269\u2013271（1959）“，”journal-title“：”Numerische Mathematik“}，{“key”：“18_CR14”，“volume-title”：“计算机与不可修复性（NP完全性理论指南）”，“author”：“M.R.Garey”，“year”：“1979”，“unstructured”：“Garey，M.R.，Johnson，D.S.：计算机与不可逆性（NP-完全性理论指导）。W.H。Freeman and Company，New York（1979）“}，{”key“：”18_CR15“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“502”，”doi“：”10.1007\/978-3642-04238-6_49“，”volume-title“：“逻辑编程和非单调推理”，”author“：”M.Gebser“，”year“：”2009“，”unstructured“：”Gebser，M.，Kaminski，R.，Ostrowski，M.、Schaub，T.、Thiele，S.：关于ASP grounder gringo的输入语言。In:Erdem，E.，Lin，F.，Schaub，T.（编辑）LPNMR 2009。LNCS，第u00a05753卷，第502\u2013508页。Springer，Heidelberg（2009）“}，{“问题”：“2”，“关键”：“18_CR16”，“doi-asserted-by”：“交叉引用”，“首页”：“107”，“doi”：“10.3233\/AIC-2011-0491”，“卷”：“24”，“作者”：“M.Gebser”，“年份”：“2011”，“非结构化”：“Gebser，M.、Kaufmann，B.、Kaminski，R.、Ostrowski，M.，Schaub，T.、Schneider，M.：Potassco:The potsdam答案集求解集合。AI Communications\u00a024（2），107\u2013124（2011）“，“journal-title”：“AI Communications”}，{“key”：“18_CR17”，“unstructured”：“Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。收录于：ICLP\/SLP，vol.u00a088，pp.1070\u20131080（1988）”}、{“issue”：“1”，“key“：”“18_CR18”，“doi-asserted-by”：“publisher”，“first-page”：“70”，“doi”“：”10.1016\/j.copbio.2003.11.002“，”volume“：”15“，”author“：”M.j.Herrg\u00e5rd“，”year“：”2004“，”unstructured“：”Herrg\ u00e5 rd，M.j.，Covert，M.W.，Palsson，B.\u00d8.：微生物转录调控网络的重建。货币。操作。生物技术。\u00a015（1），70\u201377（2004）“，”期刊标题“：”货币。操作。生物技术。“}，{”issue“：”3“，”key“：”18_CR19“，”doi-asserted-by“：”publisher“，”first page“：“119”，”doi“：”10.1016\/0020-0190（88）90065-8“，“volume”：“27”，“author”：“D.Johnson”，“year”：“1988”，“unstructured”：“Johnson，D.，Yannakakakis，M.，Papadimitriou，C.：关于生成所有最大独立集。信息处理快报\u00a027（3），119\u2013123（1988）”，“”journal-title“：”Information Processing Letters“}，{”key“：”18_CR20“，”doi-asserted-by“：”crossref“，”unstructured“：”Karp，R.M.：“组合问题中的可简化性。摘自：Miller，R.E.，Thatcher，J.W.（eds.）Computer Computations的复杂性，第85\u2013103页。Plenum Press（1972）”，“DOI”：“10.1007\/978-1-4684-2001-2_9”}，｛“issue”：“2”，“key”：“18_CR21”，“DOI断言”：“publisher”，“first page”：“137”，“DOI”：“10.1016\/j.dam.2006.04.032”，“volume”：“155”，“author”：“L.Khachiyan”，“year”：“2007”，“nonstructured”：“Khachiyan，L.，Boros，E.，Elbassioni，K.，Gurvich，V.，Makino，K.：可靠性理论中路径和割集的析取和连词枚举。离散应用数学\u00a0155（2），137\u2013149（2007）”，“期刊标题”：“离散应用数学”}，｛“键”：“18_CR22”，“doi断言”：“crossref”，“非结构化”：“Marbach，D.、Prill，R.J.、Schaffter，T.、Mattiussi，C.、Floreano，D.、Stolovitzky，G.：揭示基因网络推理方法的优缺点。In:Proceedings of the National Academy of Sciences（2010）“，”DOI“：”10.1073\/pnas.0913357107“}，{“issue”：“3”，“key”：“18_CR23”，“DOI-asserted-by”：“publisher”，“first page”：《808》，“DOI”：“10.1093\/nar\/gkq710”，“volume”：”39“author”：“A.Medina-Rivera”，“year”：“2011”，“unstructured”：“Medina-Rivera，A.，Abreu-Goodger，C.，Thomas-Collier，M.，Salgado，H.，Collado-Vides，J.，van Helden，J.:转录因子结合基序的理论和经验质量评估。核酸研究\u00a039（3），808\u2013824（2011）“，“新闻标题”：“核酸研究”}，{“关键”：“18_CR24”，“doi-asserted-by”：“crossref”，“非结构化”：“Meyer，P.E.，Kontos，K.，Lafitte，F.，Bontempi，G.：大型转录调控网络的信息理论推断。EURASIP J.Bioninform.系统生物学，79879（2007）”，“doi”：“10.1155\/2007\/79879“}，{“key”：“18_CR25”，“unstructured”：“R Core Team：R：统计计算的语言和环境。R Foundation for Statistical Computing，Vienna，Austria（2012）。ISBN 3-900051-07-0”}，}“issue”：“5”，“key“：”18_CR26“，”doi-asserted-by“：”publisher“，”first page“：“296”，“doi”：“10.1002\/dvg.22359”，“volume”：”51“，”author“A。Streit，“年份”：“2013年”，“非结构化”：“Streit，A.，Tambalo，M.，Chen，J.，Grocott，T.，Anwar，M.、Sosinsky，A.，Stern，C.D.：基因调控网络构建的实验方法：小鸡作为模型系统。Genesis\u00a051（5），296\u2013310（2013）“，”journal-title“：”Genesis“}，{“issue”：“Database issue”，“key”：“18_CR27”，“doi-asserted-by”：“crossref”，“first page”：”D627“，“doi”：“10.1093\/nar\/gkr1020”，“volume”:“40”，“author”：“B.Taboada”，”year“：”2012“，“unstructured”：“”Taboada，B.，Ciria，R.，Martinez-Guerrero，C.E.，Merino，E.：Proopdb：原核操纵子数据库。核酸研究.\u00a040（数据库问题），D627\u2013D631（2012）“，”期刊标题“：”核酸研究“}，{“问题”：“7”，“关键”：“18_CR28”，“doi-asserted-by”：“publisher”，“首页”：“511”，“doi”：“10.2174\/138920209789208237”，”卷“10”，“作者”：“Y.Xiao”，“年份”：“2009”，“非结构化”：“Xiao，Y.：布尔基因调控网络模型的分析和模拟教程。Current Genomics\u00a010（7），511（2009）“，”journal-title“：”Current Genomics“}]，”container-title”：[“计算机科学课堂讲稿”，“验证、模型检查和抽象解释”]，”original-title:[]，”link“：[{”URL“：”http://\/link.springer.com\/content\/pdf\/10007\/978-3642-54013-4_18“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,8,13]]，”date-time“：”2020-08-13T07:05:20Z“，”timestamp“：159730232000}，”score“：1，”resource“：{primary”：{“URL”：“http://\link.springer.com\/10007\/978-3642-54013-4_18”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期-部分”：[[2014]]}，“ISBN”：[“9783642540127“，”97836425.40134“]，”references-count“：28，”URL“：”http://\/dx.doi.org\/10.1007\/978-3642-54013-4_18“，”relation“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：”1611-349“，”type“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2014]}}}