{"id":"W2399372291","doi":"","title":"Path Decompositions Which Contain No Proper Subsystems.","year":2012,"lang":"en","type":"article","venue":"Ars Combinatoria","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Mathematics; Path (computing); Computer science; Computer network","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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001083342,0.00014699,0.0001708558,0.00007272522,0.0002004472,0.0001210361,0.0007548409,0.00009039634,0.00002008134],"category_scores_gemma":[0.0001727293,0.0001345212,0.00004629748,0.0004980365,0.00002989393,0.00122562,0.0001771613,0.0001737335,0.0009445297],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001189052,"about_ca_system_score_gemma":0.00006224243,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002807045,"about_ca_topic_score_gemma":0.00000121532,"domain_scores_codex":[0.9984457,0.0003019817,0.0002817143,0.0002539326,0.0002925925,0.0004241108],"domain_scores_gemma":[0.998521,0.00007936731,0.0001188527,0.0007914946,0.0003115852,0.0001777445],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00000362609,0.0001456672,0.004459678,0.00002039457,0.00001051197,9.128528e-7,0.0004477192,0.000001357886,0.001447958,0.9913155,0.001510361,0.0006363371],"study_design_scores_gemma":[0.006779826,0.00179518,0.234239,0.0006225594,0.000135446,0.0004618188,0.0004301812,0.1177402,0.08036435,0.3914917,0.1616348,0.004305113],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.67119,0.0008705222,0.2276466,0.0007809626,0.02934412,0.001589941,0.00000924807,0.001228589,0.06734002],"genre_scores_gemma":[0.88045,0.000005298478,0.1191064,0.0001138194,0.00003329547,0.00007963607,0.000004798236,0.00001335427,0.0001933654],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5998238,"threshold_uncertainty_score":0.9998333,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01984630761633057,"score_gpt":0.2750636740636844,"score_spread":0.2552173664473539,"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."}}