{"id":"W1759641679","doi":"10.1007/978-3-540-85762-4_16","title":"A New Approach for the Construction of Multiway Decision Graphs","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Operator (biology); First-order logic; Theoretical computer science; Representation (politics); Pruning; Product (mathematics); Programming language; Algorithm; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001257278,0.000331939,0.0003971975,0.0005895897,0.0003011815,0.0001514833,0.0034327,0.0002745126,0.000005398989],"category_scores_gemma":[0.0003155444,0.0002406613,0.0001871568,0.0007161214,0.0009436855,0.0004720028,0.0005767969,0.000445436,0.000004269589],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001239485,"about_ca_system_score_gemma":0.0005066659,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002330301,"about_ca_topic_score_gemma":0.000005741766,"domain_scores_codex":[0.9971598,0.00003415589,0.0005713839,0.00103687,0.0008368106,0.0003610204],"domain_scores_gemma":[0.9963062,0.001217797,0.0004683819,0.00159358,0.0003182028,0.00009585989],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001312821,0.0000100427,0.00000914726,0.00001921682,0.000007314535,8.833642e-7,0.0004664367,0.02036486,0.00005807901,0.06616382,0.00005284105,0.9128342],"study_design_scores_gemma":[0.0002931166,0.0001068558,0.0001019704,0.0001066004,0.0000093212,0.0001135081,2.795643e-7,0.8631836,0.002938399,0.1310943,0.0017598,0.0002922697],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001178156,0.0004801648,0.9958221,0.000103339,0.001878857,0.0007819564,0.000003917827,0.00006638184,0.0008514618],"genre_scores_gemma":[0.002285493,0.0001608423,0.9970926,0.0001562981,0.0001843819,0.00001613817,0.000002388965,0.00001795268,0.00008390689],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.912542,"threshold_uncertainty_score":0.9813883,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03805516319997952,"score_gpt":0.2848170060365708,"score_spread":0.2467618428365912,"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."}}