{"id":"W2324710670","doi":"10.3724/sp.j.1001.2011.04020","title":"Cycle Symmetry Reduction and Its Extension on Three-Valued Models","year":2011,"lang":"en","type":"article","venue":"Journal of Software","topic":"Evaluation and Optimization Models","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Symmetry (geometry); Reduction (mathematics); Mathematics; Quotient; Permutation (music); Extension (predicate logic); Permutation group; Pure mathematics; Symmetry operation; Combinatorics; Computer science; Physics; Geometry","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.001242998,0.0004263044,0.0005374533,0.001330488,0.00126167,0.001634305,0.0008896302,0.001015032,0.008428792],"category_scores_gemma":[0.00320976,0.0002793036,0.001705506,0.0009165936,0.003214987,0.004421267,0.00185373,0.00241906,0.0007149868],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00186788,"about_ca_system_score_gemma":0.001310738,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004118426,"about_ca_topic_score_gemma":0.00208341,"domain_scores_codex":[0.9992908,0.0002497375,0.00003689626,0.00009945104,0.000210354,0.0001126627],"domain_scores_gemma":[0.9989901,0.0004273411,0.0001293855,0.000157625,0.0002015061,0.00009408398],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004096118,0.000006729082,0.00004723399,0.000007493665,0.000002860801,0.00002289635,0.00008164711,0.00104595,0.00008272891,0.9965072,0.0003396322,0.001851357],"study_design_scores_gemma":[0.000005147331,0.000004504356,0.00003450846,0.000003922491,0.000001587961,0.00001481934,0.00003027595,0.005879348,0.00005829779,0.9928241,0.001140275,0.000003239868],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1543379,0.001094928,0.5413504,0.007220025,0.0004115909,0.0001699663,0.0003553929,0.0003023703,0.2947574],"genre_scores_gemma":[0.9231906,0.0006454602,0.04864499,0.0006143135,0.0002268396,0.0002031035,0.0002262877,0.0001331376,0.02611536],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008428792,"threshold_uncertainty_score":0.02819711,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06030066304187863,"score_gpt":0.2527932136569738,"score_spread":0.1924925506150952,"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."}}