{“id”：“https://openalex.org/W2049451779“，”doi“：”https://doi.org/10.1145/2814270.2814301“，”title“：“灵活近似编程的概率类型推理”，”display_name“：”灵活近似编程概率类型推理“，”publication_year“：2015，”publitation_date“：”2015-10-23“，”ids“：{”openalex“：”https://openalex.org/W2049451779“，”doi“：”https://doi.org/10.1145/2814270.2814301“，”mag“：”2049451779“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2814270.2814301“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5080161104“，”display_name“：”Brett Boston“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I201448701“，”display_name“：”华盛顿大学“，”ror“：”https://ror.org/00cvxb145“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I201448701“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Brett Boston“，”raw _affiliation_strings“：【”University of Washington，USA“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5004782337“，”display_name“：”Adrian Sampson“，”orcid“：”https://orcid.org/0000-0003-0837-8924}，“机构”：[{“id”：https://openalex.org/I201448701“，”display_name“：”华盛顿大学“，”ror“：”https://ror.org/00cvxb145“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I201448701“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Adrian Sampson“，”raw _ afiliation_strings“：[“美国华盛顿大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5053901060“，”display_name“：”Dan Grossman“，”orcid“：”https://orcid.org/0009-0005-2111-1900}，“机构”：[{“id”：https://openalex.org/I201448701“，”display_name“：”华盛顿大学“，”ror“：”https://ror.org/00cvxb145“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I201448701“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Dan Grossman“，”raw _ afiliation_strings“：[“美国华盛顿大学”]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5081914923“，”display_name“：”Lu\u00eds Ceze“，”orcid“：”https://orcid.org/0000-0002-1377-6217}，“机构”：[{“id”：https://openalex.org/I201448701“，”display_name“：”华盛顿大学“，”ror“：”https://ror.org/00cvxb145“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I201448701“]｝]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Luis Ceze“，”raw_affiation_strings“：[”美国华盛顿大学“]｝]，”countries_destict_count“：1，”institutes_dict_count“：1，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”has_fulltext“：false，”cited_by_count“：34，”cited_by_percentile_year“：{“min”：95，“max”：96}，“biblio”：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10363“，”display_name“：”低功耗VLSI电路设计与优化“，”score“：0.9997，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10502“，”“display_name”：“用于神经形态计算的记忆设备”，“score”：0.9988，“subfield”：{“id”：“https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/approxy-computing（https://openalex.org/keywords/approxy-computing）“，”display_name“：”近似计算“，”score“：0.583142}，{”id“：”https://openalex.org/keywords/performance-optimization网站“，”display_name“：”性能优化“，”score“：0.51888}，{”id“：”https://openalex.org/keywords/brain-inspired-computing网站“，”display_name“：”灵感计算“，”score“：0.517264}，{”id“：”https://openalex.org/keywords/neuromorphic-computing网站“，”display_name“：”神经形态计算“，”score“：0.506529}，{”id“：”https://openalex.org/keywords/统计时间分析“，”display_name“：”统计计时分析“，”score“：0.500912}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8116454}，{”id“：”https://openalex.org/C198370458，“wikidata”：https://www.wikidata.org/wiki/Q586459“，”display_name“：”类型推断“，”level“：3，”score“：0.6329123}，{”id“：”https://openalex.org/C2778514511，“wikidata”：https://www.wikidata.org/wiki/Q1374194“，”display_name“：”Programmer“，”level“：2，”score“：0.609284}，{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.55968654}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推断“，”级别“：2，”分数“：0.55624914}，{”id“：”https://openalex.org/C2778770139，“wikidata”：https://www.wikidata.org/wiki/Q1966904“，”display_name“：”Solver“，”level“：2，”score“：0.51972723}，{”id“：”https://openalex.org/C2777472644，“wikidata”：https://www.wikidata.org/wiki/Q16968992“，”display_name“：”近似推断“，”level“：3，”score“：0.48748565}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.44890043}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42846647}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.35753095}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.16350585}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2814270.2814301“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：22，“referrenced_works”：[”https://openalex.org/W2026764611","https://openalex.org/W2032238893","https://openalex.org/W2033982707","https://openalex.org/W2052973434","https://openalex.org/W2057434193","https://openalex.org/W2072700980","https://openalex.org/W2091903090","https://openalex.org/W2097243222","https://openalex.org/W2105544671","https://openalex.org/W2107399212","https://openalex.org/W2110848488","https://openalex.org/W2119299853","https://openalex.org/W2121344286","https://openalex.org/W2135992106","https://openalex.org/W2137574599","https://openalex.org/W2141955346","https://openalex.org/W2142096775","https://openalex.org/W2143727636","https://openalex.org/W2146065717","https://openalex.org/W2187230075","https://openalex.org/W229511689","https://openalex.org/W4240237526“]，”related_works“：[”https://openalex.org/W4302559785","https://openalex.org/W3102142559","https://openalex.org/W2950376466","https://openalex.org/W2466303427","https://openalex.org/W2294370068","https://openalex.org/W2081551198","https://openalex.org/W2000943029","https://openalex.org/W1969483203","https://openalex.org/W1578828174","https://openalex.org/W1511249877“]，”ngrams_url“：”https://api.openalex.org/works/W2049451779/ngrams“，”“abstract_inverted_index”：{“In”：[0]，“近似”：[1180]，“计算”，：[2]，“程序”：[3]，“增益”：[4]，“效率”：[5]，“by”：[6]，“允许”：[7]，“偶然”：[8]，“错误。”：[9]，“控制”：[10]，“概率”：[11,37,53,63,73,87,90]，“可能性”：[12]，“影响”：[13]，“的”：[14,39,43139]，“this”：[15]，“approximation”：[16]，“remains”：%17]，“a“：[18,23,29130138154]，”密钥“：[19]，”挑战。“：[20]，“我们”：[21142183]，“提议”：[22]，“新”：[24]，“方法”：[25160]，“其中”：[26119]，“程序员”：[27]，“使用”：[28143174]，“类型”：[30,44,60,84112]，“系统”：[31,54,61]，“to”：[32105128147176]，“通信”：[33]，“高级”：[34]，“约束”：[35]，“on”：[36,93]，“度”：[38132]，“近似值。“：[40]，”A“：[41]，”组合“：[42]，”推理“：[45]，”代码“：[46]，”专门化“：[47]，”和“：[48,56,71195]，”可选“：[49110]，”动态“：[50111]，”跟踪“：[51]，”制造“：[52]，”表达“：[55]，”方便。“：[57]，”The“：[58]，”core“：[59]，”captures“：[62]，”probability“：[64,74,92]，”that“：[65,75185196]，”each“：[66,76]，”operation“：[67]，”exhibits“：[68]，”an“：[69]，”error“：[70]，”bounds“：[72]，”expression“：77]，”deviates“：[78]，”from“：[79]，”its“：+80]，”recorder“：[81]，”value。“：[82]，”求解辅助“：[83]，”推理“：[85]，”让“：[86]，”程序员“：[88134]，”指定“：[89]，”正确性“：[91]，”仅“：[94]，”一些“：[95]，”变量\u2014program“：[96]，”输出“：[97]，“for”：[98179]，“example\u2014 and”：[99]，“automatically”：[100]，“fills”：[101]，“in”：[102]，“other”：[103]，”类型“：[104]，”满足“：[106]，”这些“：[107125]，”规范。“：[108]，”安“：[109]，”帮助“：[113]，”应对“：[114]，”with“：[115]，”复杂“：[116]，”运行时“：[117]，”行为“：[118]，”静态“：[120]，”方法“：[121]，”是“：[122]，”不足。“：[123]，”Together“，”：[124]，”features“：[126]，”interactive“：[127]，”yield“：[129]，”high“：[131]，”control“：%135]，”while“：/136]，”offering“：[137]，”strong“：[139]，”soundness“：[140]，”guarantee“。“：[141]，“现有”：[144]，“近似计算”：[145]，“基准”：[146]，“显示”：[148]，“如何”：[149]，“我们的”：[150]，“语言”，：[151]，“DECAF，”：[152]，“保持”：[153]，“低”：[155]，“注释”：[156]，“负担”。“：[157]，“我们的”：[158]，“基于约束”：[159]，“可以”：[161188]，“编码”：[162]，“硬件”：[163181]，“细节”，“：[164]，“这样”：[165]，“作为”：[166]，“有限”：[167]，“度”：[168]，“可靠性”，“:170]，“所以”：[171]，“we”：[172]，“也”：[173]，“DECAF”：[175]，“检查”：[177]，“含义”：[178]，“设计。“：[182]，”查找“：[184]，”多级“：[186]，”体系结构“：[187]，”提供“：[189]，”优点“：[190]，”超过“：[191]，”更简单“：[192]，”两级“：[193]，”机器“：[194]，”求解器辅助“：[197]，”优化“：[198]，”提高“：[199]，”效率。“：[200]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2049451779“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：3}，{“年度”：2022，”“cited_by_cunt”：3G}，}“年份“：2021，”年份“：2016，”引用_ by_count“：5}]，”更新日期“：”2024-05-14T16:33:07.730041“，”创建日期“：“2016-06-24"}