{"id":"W4234669735","doi":"10.1109/edtc.1995.470354","title":"Describing instruction set processors using nML","year":2002,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":156,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Canadian Institute of Steel Construction","keywords":"Computer science; Programmer; Formalism (music); Programming language; Set (abstract data type); Instruction set; Theoretical computer science; Parallel computing","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00009731335,0.00007315636,0.00006725085,0.00009899882,0.0001473105,0.0001352653,0.0003102148,0.00003755194,0.00003837296],"category_scores_gemma":[0.00002796929,0.00006822728,0.00002314279,0.0003862105,0.00001495036,0.0004779932,0.00009287406,0.00006169159,0.00001770058],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003052186,"about_ca_system_score_gemma":0.0000115252,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001741451,"about_ca_topic_score_gemma":7.20047e-7,"domain_scores_codex":[0.9993679,0.00002444135,0.0001305099,0.0002049442,0.0001236574,0.000148538],"domain_scores_gemma":[0.9996203,0.0000109184,0.00005236397,0.0002022573,0.0000620568,0.00005206082],"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.000005568677,0.0002273899,0.004304579,0.00006412034,0.00004767563,0.00002642432,0.006968199,0.2439705,0.002496382,0.1168545,0.01876585,0.6062689],"study_design_scores_gemma":[0.00008653039,0.00001363346,0.00001811309,0.00001529502,0.000001094606,0.00003144508,0.00001045167,0.9952283,0.003523763,0.0005540244,0.0004167629,0.0001006144],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02680537,0.00003889111,0.9644712,0.0001503837,0.0001081428,0.00005412069,1.029572e-7,0.0008964815,0.007475268],"genre_scores_gemma":[0.5287434,0.000007962582,0.4708678,0.0001542018,0.00002208563,0.000001230125,2.598801e-7,0.000003529086,0.0001995259],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7512578,"threshold_uncertainty_score":0.2782228,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1006394418777845,"score_gpt":0.2709905581960719,"score_spread":0.1703511163182874,"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."}}