{"id":"W2094663018","doi":"10.1145/1024922.1024924","title":"Abstract versus concrete computation on metric partial algebras","year":2004,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":70,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Nondeterministic algorithm; Computation; Converse; Equivalence (formal languages); Discrete mathematics; Countable set; Model of computation; Metric (unit); Algebra over a field; Pure mathematics; Algorithm","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.001500701,0.0006886379,0.0006758209,0.0008424095,0.001047456,0.003344622,0.001115577,0.001075356,0.004568908],"category_scores_gemma":[0.004131715,0.000364185,0.00153096,0.001040206,0.004612661,0.009692471,0.002689121,0.00271718,0.0007271681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002280406,"about_ca_system_score_gemma":0.001403202,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00176479,"about_ca_topic_score_gemma":0.001061991,"domain_scores_codex":[0.9975994,0.0007847347,0.0001437524,0.0003431844,0.000870146,0.0002587037],"domain_scores_gemma":[0.9980094,0.0006960559,0.0002252386,0.0004186232,0.0004155224,0.0002351962],"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.000006757753,0.000004682008,0.00004328422,0.00001987719,0.000003429938,0.00001499142,0.00006649708,0.00302202,0.0003742072,0.9954,0.0001100981,0.0009343615],"study_design_scores_gemma":[0.000007379941,0.00002524778,0.00006181766,0.00001794527,0.000008364083,0.00003832255,0.00005488563,0.04271031,0.001085575,0.9526744,0.003299499,0.00001634447],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09368134,0.0007390251,0.8711662,0.001328754,0.0001512489,0.00006966451,0.0002592441,0.0006952404,0.03190925],"genre_scores_gemma":[0.8669272,0.000742965,0.1206333,0.0003697016,0.0002083557,0.0001556166,0.000334689,0.0002153151,0.01041286],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004568908,"threshold_uncertainty_score":0.01654553,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04956502520449148,"score_gpt":0.2997099780135482,"score_spread":0.2501449528090567,"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."}}