{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001475456,0.001088182,0.0008766456,0.001648467,0.00141795,0.002678405,0.002662309,0.001024641,0.01026511],"category_scores_gemma":[0.00366016,0.001148449,0.00255825,0.001449207,0.00194634,0.004147514,0.003794115,0.003846539,0.003427441],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001056851,"about_ca_system_score_gemma":0.001356737,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001146605,"about_ca_topic_score_gemma":0.002326926,"domain_scores_codex":[0.9977201,0.0005004266,0.0001776367,0.0006369618,0.0007881125,0.0001768058],"domain_scores_gemma":[0.9978727,0.0008975291,0.00009184104,0.0007301215,0.0002889913,0.0001188527],"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.00009591943,0.0001595971,0.0004335734,0.0003757311,0.00009180757,0.0002723988,0.0005265143,0.01461853,0.01323525,0.7370394,0.007060771,0.2260904],"study_design_scores_gemma":[0.00004232584,0.00008336498,0.0002373018,0.000102247,0.0001130302,0.0003616588,0.0001096697,0.07497219,0.01696445,0.8251848,0.08176216,0.00006668892],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001550641,0.00006445471,0.994113,0.0000905687,0.00005088858,0.00007318798,0.00008522566,0.0006751977,0.0032969],"genre_scores_gemma":[0.04057233,0.0001921869,0.950647,0.0001340196,0.00005121639,0.0002344917,0.0003615247,0.0004240361,0.007383261],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01026511,"threshold_uncertainty_score":0.0343402,"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."}}