{"id":"W4406575454","doi":"10.1016/s1558-0164(08)70419-x","title":"10.1016/s1558-0164(08)70419-x","year":2000,"lang":"en","type":"article","venue":"Time to knit","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Medicine; Schedule; Economics; Management","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"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.001220274,0.002640514,0.001395489,0.002779664,0.002285243,0.004069513,0.003200397,0.005649527,0.986365],"category_scores_gemma":[0.001825728,0.0008539972,0.00130945,0.002565557,0.001985449,0.00589289,0.003266372,0.002317712,0.9896152],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001254046,"about_ca_system_score_gemma":0.001343858,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00378191,"about_ca_topic_score_gemma":0.003009076,"domain_scores_codex":[0.999213,0.0000697728,0.00006781198,0.0002785628,0.0002263821,0.0001444688],"domain_scores_gemma":[0.9977798,0.0005745766,0.0001726404,0.000342223,0.0004661407,0.0006646598],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002716155,0.0001899091,0.0009058761,0.0005543015,0.00003643415,0.0002690523,0.0001363368,0.0004866146,0.002401097,0.0106467,0.2955249,0.6885772],"study_design_scores_gemma":[0.00003381389,0.00008508215,0.0005348632,0.0002507904,0.00001289957,0.0002943212,0.0001156869,0.0002524486,0.0004581492,0.001039497,0.9969032,0.00001928155],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0004526503,0.0004060169,0.001322501,0.0003967611,0.000254058,0.00009469701,0.000703554,0.001204802,0.9951649],"genre_scores_gemma":[0.0006513332,0.0001698772,0.0004782088,0.0001558847,0.00004473519,0.00004255493,0.0004370984,0.0001889537,0.9978313],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01363504,"threshold_uncertainty_score":0.01944864,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01120820911267782,"score_gpt":0.2108334402654093,"score_spread":0.1996252311527315,"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."}}