{"id":"W7096145282","doi":"","title":"Toronto, Ontario,","year":2004,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Correctness; Bounded function; Transformation (genetics); Class (philosophy); Memory model; Model checking","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0003992038,0.0009618886,0.0007496711,0.001094635,0.005154403,0.004092768,0.000992589,0.001530963,0.5173016],"category_scores_gemma":[0.001652225,0.0006212913,0.0005430272,0.003570144,0.001256031,0.001737948,0.001817491,0.001479715,0.1587331],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0119999,"about_ca_system_score_gemma":0.01305539,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.5253201,"about_ca_topic_score_gemma":0.8546157,"domain_scores_codex":[0.9992313,0.00006097689,0.00004002954,0.0002412778,0.0002571146,0.0001693141],"domain_scores_gemma":[0.9984345,0.00020779,0.0001177632,0.0001373898,0.0007089368,0.0003937219],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005336418,0.00007512415,0.007066687,0.001516656,0.00007271997,0.002417412,0.002219886,0.002208099,0.004150038,0.0605839,0.689154,0.2300019],"study_design_scores_gemma":[0.0000218355,0.00001917682,0.005547996,0.0001840921,0.00001601875,0.0001537499,0.0006260343,0.000327843,0.0004301397,0.00206632,0.9905827,0.00002417668],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00701034,0.01188798,0.002342816,0.008472135,0.001725536,0.0001393954,0.01922444,0.0006471798,0.9485502],"genre_scores_gemma":[0.01299615,0.005462555,0.001696806,0.0008751602,0.00006736422,0.00005911048,0.003861801,0.0002390798,0.974742],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.5253201,"threshold_uncertainty_score":0.9549509,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008067048135629053,"score_gpt":0.212994977660325,"score_spread":0.204927929524696,"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."}}