{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00133011,0.0009373552,0.0006435261,0.001308045,0.0015073,0.002519023,0.0009543597,0.001077679,0.02101284],"category_scores_gemma":[0.005545671,0.001046401,0.001759869,0.0009738652,0.00213005,0.006013723,0.002839603,0.001858712,0.004559785],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00111661,"about_ca_system_score_gemma":0.002186861,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002900877,"about_ca_topic_score_gemma":0.004996125,"domain_scores_codex":[0.9985867,0.0002514807,0.0001237677,0.0003444455,0.0003882778,0.0003053839],"domain_scores_gemma":[0.996458,0.001206037,0.0002665431,0.001312313,0.000510651,0.0002463736],"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.0003786248,0.0001233246,0.002470956,0.0007370239,0.0001485479,0.001190714,0.001247569,0.008816737,0.01695381,0.8966486,0.01016477,0.06111918],"study_design_scores_gemma":[0.00006439187,0.00009123555,0.001154998,0.0002489779,0.0001917636,0.0005647677,0.0006341358,0.01877858,0.01718426,0.8997096,0.06132831,0.00004889373],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06012291,0.0003758512,0.8623031,0.0003342144,0.0002405431,0.0004068931,0.002139218,0.0035894,0.0704878],"genre_scores_gemma":[0.5383341,0.0008789604,0.3949474,0.0004480095,0.00009206187,0.0006530696,0.006876528,0.002046324,0.05572355],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02101284,"threshold_uncertainty_score":0.07029498,"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."}}