{"id":"W4252448601","doi":"10.1145/505340.505341","title":"Term ordering problem on MDG","year":2002,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Rewriting; Computer science; Term (time); Binary decision diagram; Representation (politics); State (computer science); Theoretical computer science; Algorithm; Function (biology); Range (aeronautics); Programming language","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.002845515,0.0007190388,0.001080968,0.001010567,0.0007945815,0.00159046,0.001057473,0.001394783,0.005584378],"category_scores_gemma":[0.01162401,0.0005497388,0.0009765103,0.001738252,0.001523688,0.003556552,0.001829663,0.00224751,0.0007137147],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001647452,"about_ca_system_score_gemma":0.002068495,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003179585,"about_ca_topic_score_gemma":0.002670559,"domain_scores_codex":[0.9958412,0.001245928,0.0004405635,0.0007306276,0.001321407,0.0004202122],"domain_scores_gemma":[0.9914446,0.006185717,0.000471568,0.0008194127,0.0009073853,0.0001713597],"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.0003393136,0.00009411215,0.001027806,0.0004993326,0.00008275372,0.0009973826,0.0002924763,0.2600098,0.004040656,0.598574,0.00546975,0.1285726],"study_design_scores_gemma":[0.00009684161,0.00007122887,0.0001234326,0.00003854953,0.00003212473,0.0002148767,0.00004922225,0.353114,0.004397899,0.6323398,0.00949727,0.00002465566],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02327534,0.0006680962,0.9688347,0.001096612,0.00009627317,0.0001361241,0.0005787269,0.0005238414,0.004790212],"genre_scores_gemma":[0.4607136,0.001264492,0.5243816,0.0006606727,0.0001310027,0.0006735802,0.001836931,0.00027753,0.01006053],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005584378,"threshold_uncertainty_score":0.01868165,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03550860151693333,"score_gpt":0.2176941442573971,"score_spread":0.1821855427404637,"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."}}