{"id":"W2100122922","doi":"10.1007/bfb0022469","title":"On the absence of livelocks in parallel programs","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Extension (predicate logic); Computer science; Reduction (mathematics); Set (abstract data type); Programming language; Theoretical computer science; Algorithm; Mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.001883692,0.0006614546,0.0007353657,0.0007600762,0.0001675752,0.0003474694,0.006845187,0.0003487131,0.00003302297],"category_scores_gemma":[0.0002232514,0.0004785509,0.0002019129,0.001233516,0.001443112,0.0003706898,0.002236755,0.001338148,0.00004473533],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004161679,"about_ca_system_score_gemma":0.00060056,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007323089,"about_ca_topic_score_gemma":0.0003165688,"domain_scores_codex":[0.9946772,0.000102194,0.0008937191,0.00190614,0.001544711,0.0008760433],"domain_scores_gemma":[0.9949539,0.001736652,0.0004452903,0.002434016,0.0002836552,0.000146478],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007383222,0.0001394199,0.0001849136,0.00002686415,0.000006744564,0.0000600059,0.001012399,0.0667784,0.00001189282,0.06967152,0.00001066559,0.8620898],"study_design_scores_gemma":[0.0002573992,0.0004073555,0.001054076,0.0005314047,0.000002528574,0.00003994716,4.000054e-7,0.6749938,0.0001503411,0.3214994,0.0004473808,0.0006159511],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009285774,0.0003412278,0.9912631,0.001942659,0.0009767904,0.001004842,0.000002378047,0.0001310321,0.003409378],"genre_scores_gemma":[0.5067961,0.00005687111,0.4907001,0.001697486,0.0004113461,0.00004439188,0.000002609887,0.00004255152,0.0002485776],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8614739,"threshold_uncertainty_score":0.9997666,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02372002830982409,"score_gpt":0.2452913159082346,"score_spread":0.2215712875984105,"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."}}