乐胖代购免代理版

{"id":"https://openalex.org/W2069648394","doi":"https://doi.org/10.1145/2531602.2531630","title":"Exhaustive search of puzzles in operational transformation","display_name":"Exhaustive search of puzzles in operational transformation","publication_year":2014,"publication_date":"2014-02-07","ids":{"openalex":"https://openalex.org/W2069648394","doi":"https://doi.org/10.1145/2531602.2531630","mag":"2069648394"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2531602.2531630","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100891449","display_name":"Chengzheng Sun","orcid":null},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Chengzheng Sun","raw_affiliation_strings":["Nanyang Technological University, Singapore, SINGAPORE#TAB#"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore, SINGAPORE#TAB#","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076450290","display_name":"Yi Xu","orcid":"https://orcid.org/0000-0003-4215-1993"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yi Xu","raw_affiliation_strings":["Nanyang Technological University, Singapore, SINGAPORE#TAB#"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore, SINGAPORE#TAB#","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056999896","display_name":"Agustina Agustina","orcid":null},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Agustina Agustina","raw_affiliation_strings":["Nanyang Technological University, Singapore, SINGAPORE#TAB#"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore, SINGAPORE#TAB#","institution_ids":["https://openalex.org/I172675005"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.027,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":22,"citation_normalized_percentile":{"value":0.961382,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":92},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9955,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9955,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10470","display_name":"Usability and User Interface Design","score":0.9931,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"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/T10789","display_name":"Interactive and Immersive Displays","score":0.9919,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8994514},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.76892215},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.69420224},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.68737364},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.53394663},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.49556768},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.47449446},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.4621722},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42815447},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36596617},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3260805},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27471092},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1975964},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07945147},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2531602.2531630","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":27,"referenced_works":["https://openalex.org/W1564201006","https://openalex.org/W1572892291","https://openalex.org/W1968064228","https://openalex.org/W1969433651","https://openalex.org/W1989814541","https://openalex.org/W1993407539","https://openalex.org/W1994838062","https://openalex.org/W1996383616","https://openalex.org/W1996958808","https://openalex.org/W2015167470","https://openalex.org/W2054873404","https://openalex.org/W2059574400","https://openalex.org/W2062890819","https://openalex.org/W2071442639","https://openalex.org/W2072040293","https://openalex.org/W2088721436","https://openalex.org/W2096967357","https://openalex.org/W2107138518","https://openalex.org/W2110568694","https://openalex.org/W2121107042","https://openalex.org/W2133692519","https://openalex.org/W2145220267","https://openalex.org/W2145699304","https://openalex.org/W2147720564","https://openalex.org/W2151943351","https://openalex.org/W3137220996","https://openalex.org/W4236824789"],"related_works":["https://openalex.org/W4283160672","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W3119814709","https://openalex.org/W2725786787","https://openalex.org/W2404647514","https://openalex.org/W2018477250","https://openalex.org/W1667647204","https://openalex.org/W1590965489","https://openalex.org/W1508895727"],"abstract_inverted_index":{"Operational":[0],"Transformation":[1],"(OT)":[2],"is":[3,23],"a":[4,11,50,83,89,149],"collaboration-enabling":[5],"technology":[6],"and":[7,25,30,48,58,88,99,126,133,136,143,157,166],"increasingly":[8],"adopted":[9],"in":[10,20,35,108],"wide":[12],"range":[13],"of":[14,45,52,85,95,119,151,162],"real-world":[15],"applications.":[16],"One":[17],"long-lasting":[18],"issue":[19],"OT":[21,38,97,124,155,163],"research":[22],"detecting":[24],"resolving":[26],"puzzles":[27,54,110],"--":[28],"subtle":[29],"characteristic":[31],"collaborative":[32],"editing":[33],"scenarios":[34],"which":[36,109],"an":[37],"system":[39,84],"may":[40],"fail.":[41],"After":[42],"many":[43],"years":[44],"extensive":[46],"search":[47],"research,":[49],"variety":[51],"intricate":[53],"have":[55,71,140],"been":[56,72,141],"de-tected":[57],"resolved.":[59,144],"However,":[60],"it":[61],"remains":[62],"open":[63],"whether":[64],"all":[65,104,128],"puzzles,":[66,129],"under":[67,130],"certain":[68],"well-defined":[69],"conditions,":[70],"discovered.":[73],"To":[74],"address":[75],"this":[76],"issue,":[77],"we":[78,122],"set":[79],"out":[80],"to":[81,101,159],"devise":[82],"verification":[86],"frameworks":[87],"software":[90],"tool,":[91],"that":[92],"are":[93],"independent":[94],"specific":[96],"algorithms":[98],"able":[100],"ex-haustively":[102],"cover":[103],"possible":[105],"transformation":[106,138],"cases":[107],"(if":[111],"any)":[112],"will":[113],"manifest":[114],"themselves.":[115],"With":[116],"the":[117,160],"support":[118],"these":[120],"tools,":[121],"verified":[123],"correctness":[125,156],"concluded:":[127],"basic":[131],"data":[132],"operation":[134],"models":[135],"established":[137],"properties,":[139],"discov-ered":[142],"Our":[145],"discoveries":[146],"help":[147],"resolve":[148],"number":[150],"long-standing":[152],"mysteries":[153],"surrounding":[154],"contribute":[158],"advancement":[161],"fundamental":[164],"knowledge":[165],"technology.":[167]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2069648394","counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":3}],"updated_date":"2025-01-07T22:25:09.123035","created_date":"2016-06-24"}