乐胖代购免代理版

{"id":"https://openalex.org/W2914740438","doi":"https://doi.org/10.1145/3314221.3314581","title":"Cost analysis of nondeterministic probabilistic programs","display_name":"Cost analysis of nondeterministic probabilistic programs","publication_year":2019,"publication_date":"2019-06-07","ids":{"openalex":"https://openalex.org/W2914740438","doi":"https://doi.org/10.1145/3314221.3314581","mag":"2914740438"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3314221.3314581","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-02016018/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100628885","display_name":"Peixin Wang","orcid":"https://orcid.org/0000-0003-3241-0023"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]},{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peixin Wang","raw_affiliation_strings":["Shanghai Jiao Tong University, China / East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, China / East China Normal University, China","institution_ids":["https://openalex.org/I66867065","https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031020748","display_name":"Hongfei Fu","orcid":"https://orcid.org/0000-0002-7947-3446"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]},{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongfei Fu","raw_affiliation_strings":["Shanghai Jiao Tong University, China / East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, China / East China Normal University, China","institution_ids":["https://openalex.org/I66867065","https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005241421","display_name":"Amir Kafshdar Goharshady","orcid":"https://orcid.org/0000-0003-1702-6584"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Amir Kafshdar Goharshady","raw_affiliation_strings":["IST Austria, Austria"],"affiliations":[{"raw_affiliation_string":"IST Austria, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052607806","display_name":"Krishnendu Chatterjee","orcid":"https://orcid.org/0000-0002-4561-241X"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Krishnendu Chatterjee","raw_affiliation_strings":["IST Austria, Austria"],"affiliations":[{"raw_affiliation_string":"IST Austria, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008594685","display_name":"Xudong Qin","orcid":"https://orcid.org/0000-0001-9821-4418"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xudong Qin","raw_affiliation_strings":["East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102954265","display_name":"Wenjun Shi","orcid":"https://orcid.org/0009-0005-3110-7825"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenjun Shi","raw_affiliation_strings":["East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, China","institution_ids":["https://openalex.org/I66867065"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":42,"citation_normalized_percentile":{"value":0.999715,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.999,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9978,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.8792732}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.8792732},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.75501394},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7494187},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.5623605},{"id":"https://openalex.org/C22684755","wikidata":"https://www.wikidata.org/wiki/Q847526","display_name":"Queueing theory","level":2,"score":0.54389375},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.46074215},{"id":"https://openalex.org/C2983335822","wikidata":"https://www.wikidata.org/wiki/Q942582","display_name":"Cost analysis","level":2,"score":0.45679736},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34611726},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.33394048},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.2742449},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18514618},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13822827},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.11274931},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3314221.3314581","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.science/hal-02016018","pdf_url":"https://hal.science/hal-02016018/document","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-02016018","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-02016018v2/file/paper.pdf","pdf_url":"https://hal.archives-ouvertes.fr/hal-02016018v2/file/paper.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.science/hal-02016018v2/file/paper.pdf","pdf_url":"https://hal.science/hal-02016018v2/file/paper.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.science/hal-02016018v2/document","pdf_url":"https://hal.science/hal-02016018v2/document","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-02016018v2/document","pdf_url":"https://hal.archives-ouvertes.fr/hal-02016018v2/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/1902.04659","pdf_url":"https://arxiv.org/pdf/1902.04659","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hal.science/hal-02016018","pdf_url":"https://hal.science/hal-02016018/document","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"score":0.51,"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth"}],"grants":[{"funder":"https://openalex.org/F4320307762","funder_display_name":"International Business Machines Corporation","award_id":"IBM PhD Fellowship"},{"funder":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China","award_id":"61802254"},{"funder":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund","award_id":"ICT15-003"},{"funder":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund","award_id":"S11407-N23"},{"funder":"https://openalex.org/F4320338352","funder_display_name":"FP7 Ideas: European Research Council","award_id":"279307: Graph Games"}],"datasets":[],"versions":[],"referenced_works_count":102,"referenced_works":["https://openalex.org/W1230660382","https://openalex.org/W12758337","https://openalex.org/W1492171827","https://openalex.org/W1492711856","https://openalex.org/W1505135855","https://openalex.org/W1523037784","https://openalex.org/W1530375435","https://openalex.org/W1544023751","https://openalex.org/W1551651413","https://openalex.org/W1563352283","https://openalex.org/W1568405722","https://openalex.org/W1572346004","https://openalex.org/W1589106570","https://openalex.org/W1589297860","https://openalex.org/W1590648473","https://openalex.org/W1592813209","https://openalex.org/W1595989212","https://openalex.org/W1598436734","https://openalex.org/W1599625180","https://openalex.org/W1605543919","https://openalex.org/W1608799719","https://openalex.org/W161537417","https://openalex.org/W1980177715","https://openalex.org/W1989462119","https://openalex.org/W1993129359","https://openalex.org/W1998724430","https://openalex.org/W2012816689","https://openalex.org/W2030213839","https://openalex.org/W2037009101","https://openalex.org/W2039205672","https://openalex.org/W2043100293","https://openalex.org/W2045966591","https://openalex.org/W2055814018","https://openalex.org/W2059802626","https://openalex.org/W2062306963","https://openalex.org/W2068055184","https://openalex.org/W2073629816","https://openalex.org/W2076833152","https://openalex.org/W2079942837","https://openalex.org/W2106494689","https://openalex.org/W2109863363","https://openalex.org/W2114695797","https://openalex.org/W2120647256","https://openalex.org/W2125218864","https://openalex.org/W2127637733","https://openalex.org/W2134210018","https://openalex.org/W2135021832","https://openalex.org/W2136333450","https://openalex.org/W2149745672","https://openalex.org/W2155049725","https://openalex.org/W2166496828","https://openalex.org/W2171496589","https://openalex.org/W2173213060","https://openalex.org/W2209422068","https://openalex.org/W2233431969","https://openalex.org/W2258276823","https://openalex.org/W2294463722","https://openalex.org/W2295266283","https://openalex.org/W2318066047","https://openalex.org/W2336416123","https://openalex.org/W2407172081","https://openalex.org/W2461846980","https://openalex.org/W2548604229","https://openalex.org/W2551539219","https://openalex.org/W2565511473","https://openalex.org/W2585188322","https://openalex.org/W2611392580","https://openalex.org/W2755806184","https://openalex.org/W2759421792","https://openalex.org/W2767778696","https://openalex.org/W2768683713","https://openalex.org/W2782235253","https://openalex.org/W2799052418","https://openalex.org/W2803490327","https://openalex.org/W2803836845","https://openalex.org/W2807390549","https://openalex.org/W2808819080","https://openalex.org/W2898739661","https://openalex.org/W2899428121","https://openalex.org/W2949343847","https://openalex.org/W2950991049","https://openalex.org/W2951490272","https://openalex.org/W2951786136","https://openalex.org/W2951841654","https://openalex.org/W2951912990","https://openalex.org/W2952696670","https://openalex.org/W2963296553","https://openalex.org/W3043182562","https://openalex.org/W30585784","https://openalex.org/W3195620086","https://openalex.org/W4230058301","https://openalex.org/W4232668957","https://openalex.org/W4237267501","https://openalex.org/W4240185672","https://openalex.org/W4248175462","https://openalex.org/W4294804205","https://openalex.org/W4298055551","https://openalex.org/W4299855717","https://openalex.org/W4301523782","https://openalex.org/W4302767886","https://openalex.org/W72346910","https://openalex.org/W94295739"],"related_works":["https://openalex.org/W830096938","https://openalex.org/W3149394920","https://openalex.org/W3008777928","https://openalex.org/W2950416039","https://openalex.org/W2278329956","https://openalex.org/W2109606716","https://openalex.org/W2030292806","https://openalex.org/W1996880246","https://openalex.org/W1597181838","https://openalex.org/W1517042805"],"abstract_inverted_index":{"We":[0],"consider":[1],"the":[2,19,56],"problem":[3,28],"of":[4,21,45],"expected":[5],"cost":[6],"analysis":[7,44],"over":[8],"nondeterministic":[9],"probabilistic":[10],"programs,":[11],"which":[12],"aims":[13],"at":[14],"automated":[15],"methods":[16],"for":[17,26],"analyzing":[18],"resource-usage":[20],"such":[22,39],"programs.":[23],"Previous":[24],"approaches":[25],"this":[27],"could":[29],"only":[30],"handle":[31],"nonnegative":[32],"bounded":[33],"costs.":[34],"However,":[35],"in":[36],"many":[37],"scenarios,":[38],"as":[40,60],"queuing":[41],"networks":[42],"or":[43],"cryptocurrency":[46],"protocols,":[47],"both":[48],"positive":[49],"and":[50,55],"negative":[51],"costs":[52,57],"are":[53,58],"necessary":[54],"unbounded":[59],"well.":[61]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2914740438","counts_by_year":[{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":5}],"updated_date":"2024-12-28T11:02:56.736207","created_date":"2019-02-21"}