{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000433811,0.0004492062,0.0003888606,0.0006368675,0.0005731716,0.0002916081,0.001300141,0.0001845812,0.0001133533],"category_scores_gemma":[0.0001790376,0.0004470786,0.0003003723,0.001618854,0.0001637641,0.0005732497,0.00005139199,0.0005714477,0.0008555612],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005122932,"about_ca_system_score_gemma":0.0003085693,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006434211,"about_ca_topic_score_gemma":0.00000910687,"domain_scores_codex":[0.996439,0.000151081,0.000658603,0.001082677,0.001119539,0.0005490998],"domain_scores_gemma":[0.9961216,0.002262819,0.000223301,0.0008063928,0.0003258811,0.0002599714],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001196868,0.0002494905,0.00000580991,0.00001101403,0.00007339974,0.00003463806,0.0001390821,0.9070118,0.00002659385,0.04101337,0.00004844518,0.05126667],"study_design_scores_gemma":[0.009241427,0.003451559,0.01493225,0.00007291154,0.00007845465,0.00009259531,0.00006943378,0.383669,0.001937299,0.5844145,0.0005901174,0.001450526],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02413411,0.00004440748,0.9669604,0.004654528,0.002020736,0.0004898666,0.00003135106,0.0007127391,0.0009518426],"genre_scores_gemma":[0.7745017,0.000005955148,0.2243137,0.0009458123,0.0001174476,0.00004450257,0.00004051972,0.00002175266,0.000008650376],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7503676,"threshold_uncertainty_score":0.9999224,"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."}}