{"id":"W1975143768","doi":"10.1145/2764947.2764955","title":"Constructing Bisimulation Summaries on a Multi-Core Graph Processing Framework","year":2015,"lang":"en","type":"article","venue":"","topic":"Graph Theory and Algorithms","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Bisimulation; Scalability; Theoretical computer science; Graph; Computation; Graph database; Distributed computing; Parallel computing; Programming language; Database","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00140813,0.0008204037,0.0009970726,0.001506786,0.0009065329,0.001752664,0.001654727,0.000683993,0.002492112],"category_scores_gemma":[0.00533796,0.0006018634,0.001018141,0.001839258,0.0008911531,0.004037165,0.002277056,0.001312846,0.001058912],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009186888,"about_ca_system_score_gemma":0.001375387,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001975714,"about_ca_topic_score_gemma":0.003928387,"domain_scores_codex":[0.9987724,0.0003021639,0.0001220418,0.0002743806,0.0004144319,0.0001144505],"domain_scores_gemma":[0.9976231,0.0008299151,0.0001929508,0.0006682338,0.0005438976,0.0001419017],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005277053,0.0001958506,0.001261284,0.0007424499,0.0001263063,0.0004300374,0.0009886372,0.3435215,0.03115094,0.3351609,0.008335085,0.2775592],"study_design_scores_gemma":[0.00005472611,0.0001584761,0.0002202902,0.00004537508,0.00006685045,0.0001213395,0.0001826409,0.7080722,0.02250497,0.2509577,0.01757229,0.00004310698],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01504363,0.0001569802,0.9803513,0.0001143195,0.00002480291,0.00009050403,0.0002732266,0.002803148,0.001142021],"genre_scores_gemma":[0.1741415,0.0002961619,0.8209881,0.0001008463,0.00005215312,0.0002326854,0.001218693,0.0006203084,0.002349691],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002492112,"threshold_uncertainty_score":0.008336902,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0744695342873075,"score_gpt":0.3055218454920984,"score_spread":0.2310523112047909,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}