{“id”:“https://openalex.org/W3177412342“,”doi“:”https://doi.org/10.109/lics52264.2021.9470555“,”title“:“通过耦合和Up-to方法进行微分互模拟的高效局部计算”,”display_name“:”通过耦合和Up-to方法对微分互模拟进行高效局部计算“,”publication_year“:2021,”publitation_date“:”2021-06-29“,”ids“:{”openalex“:”https://openalex.org/W3177412342“,”doi“:”https://doi.org/10.1109/lics5226.4021.947055“,”mag“:”3177412342“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.109/lics52264.2021.9470555“,”pdf_url“:null,”source“:nul,”license“:null',”licence_id“:null,”version“:nuller,”is_accepted“:false,”is_published“:false},”type“:”article“,”type_crossref“:“proceedings-article”,”indexed_in“:[”crossref“],”open_access“:{”is_oa“:true,”oa_status“:”green“,”“oa_url”:“”https://www.iris.sssup.it/bitstream/11382/538890/1/176.pdf“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5044883502“,”display_name“:”Giorgio Bacci“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I891191580“,”display_name“:”奥尔堡大学“,”ror“:”https://ror.org/04m5j1k67“,”country_code“:”DK“,”type“:“教育”,”世系“:[”https://openalex.org/I891191580“]}],”国家“:[”DK“],”is_corresponding“:false,”raw_author_name“:”Giorgio Bacci“,”raw _ afiliation_strings“:[“丹麦奥尔堡大学计算机科学系”]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5016152088“,”display_name“:”Giovanni Bacci“,”orcid“:”https://orcid.org/0000-0001-8529-0681},“机构”:[{“id”:https://openalex.org/I891191580“,”display_name“:”奥尔堡大学“,”ror“:”https://ror.org/04m5j1k67“,”country_code“:”DK“,”type“:“教育”,”世系“:[”https://openalex.org/I891191580“]}],”国家“:[”DK“],”is_corresponding“:false,”raw_author_name“:”Giovanni Bacci“,”raw _ afiliation_strings“:[“丹麦奥尔堡大学计算机科学系”]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A502295634“,”display_name“:”Kim G.Larsen“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I891191580“,”display_name“:”奥尔堡大学“,”ror“:”https://ror.org/04m5j1k67“,”country_code“:”DK“,”type“:“教育”,”世系“:[”https://openalex.org/I891191580“]}],”国家“:[”DK“],”is_corresponding“:false,”raw_author_name“:”Kim G.Larsen“,”raw _affiliation_strings“:[“丹麦奥尔堡大学计算机科学系”]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5037431084“,”display_name“:”Mirco Tribastone“,”orcid“:”https://orcid.org/0000-0002-6018-5989},“机构”:[{“id”:https://openalex.org/I127077003“,”display_name“:”卢卡IMT高级研究学校“,”ror“:”https://ror.org/035gh3a49“,”country_code“:”IT“,”type“:”教育“,”血统“:[”https://openalex.org/I127077003“]},{”id“:”https://openalex.org/I891191580“,”display_name“:”奥尔堡大学“,”ror“:”https://ror.org/04m5j1k67“,”country_code“:”DK“,”type“:“教育”,”世系“:[”https://openalex.org/I891191580“]}],”国家“:[”DK“,”IT“],”is_corresponding“:false,”raw_author_name“:”Mirco Tribastone“,”raw _affiliation_strings“:[“丹麦奥尔堡大学计算机科学系”,”意大利IMT Lucca SysMA研究部“]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5090729724“,”display_name“:”Max Tschaikowski“,”orcid“:”https://orcid.org/0000-0002-6186-8669},“机构”:[{“id”:https://openalex.org/I891191580“,”display_name“:”奥尔堡大学“,”ror“:”https://ror.org/04m5j1k67“,”country_code“:”DK“,”type“:“教育”,”世系“:[”https://openalex.org/I891191580“]}],”国家“:[”DK“],”is_corresponding“:false,”raw_author_name“:”Max Tschaikowski“,”raw_affiliation_strings“:[“丹麦奥尔堡大学计算机科学系”]},{“author_position”:“last”,“author”:{“id”:“https://openalex.org/A5023123658“,”display_name“:”Andrea Vandin“,”orcid“:”https://orcid.org/0000-0002-2606-7241},“机构”:[{“id”:https://openalex.org/I162290304“,”display_name“:”圣安娜高等学校“,”ror“:”https://ror.org/025602r80“,”country_code“:”IT“,”type“:”教育“,”血统“:[”https://openalex.org/I162290304“]}],”国家“:[”IT“],”is_corresponding“:false,”raw_author_name“:”Andrea Vandin“,”raw _ afiliation_strings“:[“意大利经济研究所圣安娜高级学院”]}]“countries _ distinct_count”:2,”institutions _ disting_count“:3,”corresponding_author_ids“:[],”correcponding_institution_idshas_fulltext“:true,”fulltext_origin“:”pdf“,”cited_by_count“:3,”cited_by_percentile_year“:{“min”:77,“max”:80},“biblio”:{”volume“:null,”issue“:null,”first_page“:null,”last_page“:null},”is_retracted“:false,”is_paratext“:false,”primary_topic“:”{“id”:“https://openalex.org/T10621“,”“display_name”:“基因调控网络中的随机性”,“score”:0.9998,“subfield”:{“id”:“https://openalex.org/subfields/s312“,”display_name“:”Molecular Biology“},”field“:{”id“:”https://openalex.org/fields/13“,”“display_name”:“生物化学、遗传学和分子生物学”},“域”:{“id”:“https://openalex.org/domains/1“,”display_name“:”生命科学“}},”主题“:[{”id“:”https://openalex.org/T10621“,”“display_name”:“基因调控网络中的随机性”,“score”:0.9998,“subfield”:{“id”:“https://openalex.org/subfields/s312“,”display_name“:”Molecular Biology“},”field“:{”id“:”https://openalex.org/fields/13“,”“display_name”:“生物化学、遗传学和分子生物学”},“域”:{“id”:“https://openalex.org/domains/1“,”display_name“:”生命科学“}},{”id“:”https://openalex.org/T10044“,”display_name“:”蛋白质结构预测与分析“,”score“:0.9859,”subfield“:{”id“:”https://openalex.org/subfields/s312“,”display_name“:”Molecular Biology“},”field“:{”id“:”https://openalex.org/fields/13“,”“display_name”:“生物化学、遗传学和分子生物学”},“域”:{“id”:“https://openalex.org/domains/1“,”display_name“:”生命科学“}},{”id“:”https://openalex.org/T10932“,”“display_name”:“代谢工程与合成生物学”,“score”:0.9853,“subfield”:{“id”:“https://openalex.org/subfields/s312“,”display_name“:”Molecular Biology“},”field“:{”id“:”https://openalex.org/fields/13“,”“display_name”:“生物化学、遗传学和分子生物学”},“域”:{“id”:“https://openalex.org/domains/1“,”display_name“:”生命科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/ahomology-modeling“,”display_name“:”同源建模“,”score“:0.530611}],”concepts“:[{”id“:”https://openalex.org/C135315306,“wikidata”:https://www.wikidata.org/wiki/Q866364“,”display_name“:”双向模拟“,”level“:2,”score“:0.83273566},{”id“:”https://openalex.org/C49937458,“wikidata”:https://www.wikidata.org/wiki/Q2599292“,”display_name“:”概率逻辑“,”level“:2,”score“:0.63795507},{”id“:”https://openalex.org/C42812,“wikidata”:https://www.wikidata.org/wiki/Q1082910“,”display_name“:”分区(数论)“,”level“:2,”score“:0.63232934},{”id“:”https://openalex.org/C45374587,“wikidata”:https://www.wikidata.org/wiki/Q12525525“,”display_name“:”计算“,”级别“:2,”分数“:0.61697143},{”id“:”https://openalex.org/C2780069185,“wikidata”:https://www.wikidata.org/wiki/Q7977945“,”display_name“:”等价(正式语言)“,”level“:2,”score“:0.560555},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.5410586},{”id“:”https://openalex.org/C177148314,“wikidata”:https://www.wikidata.org/wiki/Q170084“,”display_name“:”Generalization“,”level“:2,”score“:0.53631645},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.53596187},{”id“:”https://openalex.org/C311688,“wikidata”:https://www.wikidata.org/wiki/Q2393193“,”display_name“:”时间复杂性“,”level“:2,”score“:0.5147381},{”id“:”https://openalex.org/C98763669,“wikidata”:https://www.wikidata.org/wiki/Q176645“,”display_name“:”Markov chain“,”level“:2,”score“:0.5068081},{”id“:”https://openalex.org/C9019067,“wikidata”:https://www.wikidata.org/wiki/Q43260“,”display_name“:”多项式“,”level“:2,”score“:0.49190164},{”id“:”https://openalex.org/C79379906,“wikidata”:https://www.wikidata.org/wiki/Q3174497“,”display_name“:”动力系统理论“,”level“:2,”score“:0.4881795},{”id“:”https://openalex.org/C11413529,“wikidata”:https://www.wikidata.org/wiki/Q8366“,”display_name“:”Algorithm“,”level“:1,”score“:0.4352352},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.3331635},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.29404292},{”id“:”https://openalex.org/C114614502,“wikidata”:https://www.wikidata.org/wiki/Q76592“,”display_name“:”组合数学“,”level“:1,”score“:0.100315005},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.095298976},{”id“:”https://openalex.org/C134306372,“wikidata”:https://www.wikidata.org/wiki/Q7754“,”display_name“:”数学分析“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C121332964,“wikidata”:https://www.wikidata.org/wiki/Q413“,”display_name“:”物理“,”级别“:0,”分数“:0.0},{”id“:”https://openalex.org/C119857082,“wikidata”:https://www.wikidata.org/wiki/Q2539“,”display_name“:”机器学习“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C62520636,“wikidata”:https://www.wikidata.org/wiki/Q944“,”display_name“:”量子力学“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:3,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.109/lics52264.2021.9470555“,”pdf_url“:null,”source“:null,”license“:nully,”licence_id“:null,”version“:nuller,”is_accepted“:false,”is_published“:false},{”is_oa“:true,”landing_page_url”:“http://hdl.handle.net/11382/538890,“pdf_url”:https://www.iris.sssup.it/bitstream/11382/538890/1/176.pdf“,”源“:{”id“:”https://openalex.org/S4377196376“,”display_name“:”CINECA IRIS Institutional Research Information System(Sant’Anna School of Advanced Studies)“,”issn_l“:null,”issn“:null,”is_oa“:false,”is_ in_doaj“:fase,”host_organization“:”https://openalex.org/I162290304“,”“host_organization_name”:“圣安娜高等学校”,“host_ordanization_lineage”:[“https://openalex.org/I162290304“],”host_organization_lineage_names“:[”圣安娜高等研究院“],“type”:“repository”},“license”:null,“licence_id”:nul,“version”:“publishedVersion”,“is_accepted”:true,“is_published”:true},{“is_oa”:true,“landing_page_url”:“http://arxiv.org/abs/2104.13160,“pdf_url”:http://arxiv.org/pdf/2104.13160“,”源“:{”id“:”https://openalex.org/S4306400194“,”display_name“:”arXiv(康奈尔大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I205783295“,”“host_organization_name”:“康奈尔大学”,“host_organization_lineage”:[“https://openalex.org/I205783295“],”host_organization_lineage_names“:[”康奈尔大学“],”type“:”repository“},”license“:null,”license_id“:null,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false}],”best_oa_location“:{”is_oa“:true,”landing_page_url“:”http://hdl.handle.net/11382/538890,“pdf_url”:https://www.iris.sssup.it/bitstream/11382/538890/1/176.pdf“,”源“:{”id“:”https://openalex.org/S4377196376“,”display_name“:”CINECA IRIS Institutional Research Information System(Sant’Anna School of Advanced Studies)“,”issn_l“:null,”issn“:null,”is_oa“:false,”is_ in_doaj“:fase,”host_organization“:”https://openalex.org/I162290304“,”“host_organization_name”:“圣安娜高等学校”,“host_ordanization_lineage”:[“https://openalex.org/I162290304“],”host_organization_lineage_names“:[”圣安娜高等研究院“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“publishedVersion”,“is_accepted”:true,“is_published”:true},”sustainable_development_goals“:[],”grants“:【】,”datasets“:〔〕,”versions“:〔】,”referenced_works_count“:80,”https://openalex.org/W1270629017","https://openalex.org/W1495872178","https://openalex.org/W1515897776","https://openalex.org/W1535793628网址","https://openalex.org/W1545300203","https://openalex.org/W1586460111","https://openalex.org/W1604167937","https://openalex.org/W176827812","https://openalex.org/W1807981783","https://openalex.org/W1878853999网址","https://openalex.org/W1960 944592","https://openalex.org/W1969547738","https://openalex.org/W1976268573","https://openalex.org/W1983350265","https://openalex.org/W2007281030","https://openalex.org/W2008633581","https://openalex.org/W2015172530","https://openalex.org/W2018519939","https://openalex.org/W2018615018","https://openalex.org/W2023608437","https://openalex.org/W2031728268","https://openalex.org/W2032806006","https://openalex.org/W2044811734","https://openalex.org/W2045529195","https://openalex.org/W2046538693","https://openalex.org/W2052252977","https://openalex.org/W2055605599","https://openalex.org/W2059145118","https://openalex.org/W2060705109","https://openalex.org/W2061059823","https://openalex.org/W2070589948","https://openalex.org/W2074041201","https://openalex.org/W2080884201","https://openalex.org/W2098045685","https://openalex.org/W2109080678","https://openalex.org/W2111390218","https://openalex.org/W2113268441","https://openalex.org/W2121061285","https://openalex.org/W2121490181","https://openalex.org/W2125500714","https://openalex.org/W2125886217","https://openalex.org/W2130414563","https://openalex.org/W2134759932","https://openalex.org/W2151852639","https://openalex.org/W2155418451","https://openalex.org/W2157092888","https://openalex.org/W2161636210","https://openalex.org/W2162607114","https://openalex.org/W2182451272","https://openalex.org/W2228964661","https://openalex.org/W2293292615","https://openalex.org/W2409226593","https://openalex.org/W2409237074","https://openalex.org/W2436013910","https://openalex.org/W2462334487","https://openalex.org/W2565969279","https://openalex.org/W258022877","https://openalex.org/W2597410810","https://openalex.org/W2601725224","https://openalex.org/W274211569","https://openalex.org/W2745179117","https://openalex.org/W2748391565","https://openalex.org/W2752491749","https://openalex.org/W2780192661","https://openalex.org/W2781578762","https://openalex.org/W2788825088","https://openalex.org/W2788983559","https://openalex.org/W2810715221","https://openalex.org/W2922196358","https://openalex.org/W2933948684","https://openalex.org/W2937662482","https://openalex.org/W2950053966","https://openalex.org/W2964318636","https://openalex.org/W3100368036","https://openalex.org/W3113130260","https://openalex.org/W3123221209","https://openalex.org/W3127148005","https://openalex.org/W4235743518","https://openalex.org/W4287198664","https://openalex.org/W67842356“],”related_works“:[”https://openalex.org/W2783071694","https://openalex.org/W2136070637","https://openalex.org/W2102135785","https://openalex.org/W2089212807","https://openalex.org/W1976268573","https://openalex.org/W1586382855","https://openalex.org/W1569743961","https://openalex.org/W1553849808","https://openalex.org/W1522712643","https://openalex.org/W1495872178“],”ngrams_url“:”https://api.openalex.org/works/W3177412342/ngrams“,”“abstract_inverted_index”:{“We”:[0],“introduce”:[1],“多项式”:[2,30,45],“耦合”:[3,8],“a”:[4,24,33,57104],“泛化”:[5],“of”:[6,16,26,60,73,77,94127],“概率”:[7,27],“to”:[9,29118],“开发”:[10],“an”:[11],“算法”:[12,43],“for”:[13116],““:[14,61,71,74,92102],”计算“:[15],”等价“:[17],”关系“:[18],”其中“:[19,96],”可以“:[20,82],”是“:[21,83,99],”解释“:[22],”作为“:[23],”提升“:[25],”互模拟“:[28],“微分”:[31,78],“方程”:[32],“无处不在”:[34],“模型”:[35119],“动力学”:[37],“系统”:[38114],“跨越”:[39],“科学”:[40],“和”:[41,4]8,88121],“工程。”:[42],“享受”:[44],“时间”:[46],“复杂性“:[47],”补充“:[49],”经典“:[50],”分区定义“:[51132],”方法“:[52133],”因为:“:[53],”(a)“:[54],”它“:[55,81,90],”实现“:[56],”本地“:[58],”探索“:[59],”系统“:[62],”可能“:[63],”生成“:[64],”等价“:[65136],”that“:[66],”do“:[67],“不”:[68,98],“必然”:[69],“涉及”:[70],“检查“:[72],“整体”:[75],“系统”:[76],“等式;“:[79],”(b)“:[80],”增强“:[84],”by“:[85],”up-to“:[86],”技术;“:[87],”(c)“:[89],”允许“:[91],”规格“:[93],”对“:[95],”应该“:[97],”包含“:[100],”in“:[101],”输出。使用“:[103],”原型,“:[105],”这些“:[106],”优点“:[107],”是“:[108],”演示“:[109],”on“:[110],”case“:[111],”研究“:[112],”from“:[113],”生物学“:[115],”应用“:[117],”还原“:[120],”比较。值得注意的是,“:[122],”we“:[123],”report“:[124],”four“:/125],”orders“:[126],”immunity“:[128],”smaller“:[129],”runtimes“:%130],”than“:[131],”when“:[134],”disproving“:[135],”between“:[137],”Markov“:[138],”chains。“:[139]},”cited_by_api_url“:”https://api.openalex.org/works?filter=引用:W3177412342“,”counts_by_year“:[{”年份“:2024,”cited_by_count“:1},{”年“:2023,”cited_by_count”:2}],”更新日期“:“2024-05-22T20:21:52.292550”,”创建日期“:”2021-07-05“}