{"id":"W2919672876","doi":"","title":"Cycle Extensions in PBD Block-Intersection Graphs.","year":2018,"lang":"en","type":"article","venue":"Ars Combinatoria","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Mathematics; Intersection (aeronautics); Block (permutation group theory); Combinatorics; Geography","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.001201771,0.0004612621,0.0005487655,0.001540847,0.001625215,0.002681924,0.001402336,0.0008922134,0.01496373],"category_scores_gemma":[0.005730054,0.000725071,0.001240417,0.001664015,0.002202371,0.005751212,0.003255738,0.002282395,0.002439583],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001560601,"about_ca_system_score_gemma":0.001522389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004288025,"about_ca_topic_score_gemma":0.005978843,"domain_scores_codex":[0.998383,0.0004280988,0.0001259297,0.0003548509,0.0004634862,0.000244677],"domain_scores_gemma":[0.9966737,0.001672714,0.0002685105,0.0007333645,0.000481593,0.000170109],"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.00009209696,0.00003988214,0.0005841694,0.0001172827,0.00001473503,0.0001820628,0.0002566562,0.005297636,0.001694532,0.969318,0.00225897,0.02014397],"study_design_scores_gemma":[0.000028945,0.00002510575,0.0002974223,0.0001119749,0.00003437173,0.0001916101,0.0001899474,0.02769288,0.005092783,0.9338343,0.03247394,0.00002665699],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07460757,0.0006361574,0.816339,0.0007963079,0.0002386041,0.0003740529,0.001785388,0.002265093,0.102958],"genre_scores_gemma":[0.6674539,0.0008705002,0.2807048,0.0005535263,0.0001121063,0.0006551527,0.002971099,0.000935308,0.04574355],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01496373,"threshold_uncertainty_score":0.05005872,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01743400842951365,"score_gpt":0.2810973540827924,"score_spread":0.2636633456532787,"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."}}