{"id":"W1996431919","doi":"10.1016/j.jlamp.2014.11.001","title":"Models of computation for partial functions on the reals","year":2014,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Countable set; Computability; Mathematics; Disjoint sets; Computation; Disjoint union (topology); Domain (mathematical analysis); Discrete mathematics; Sequence (biology); Algorithm; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.006859328,0.0001166678,0.0003570529,0.0001105357,0.00009400481,0.00008823258,0.0003794038,0.00007022972,0.000002906426],"category_scores_gemma":[0.001216517,0.00006593527,0.0001477394,0.0003110227,0.0001145107,0.0001842899,0.0001273031,0.0002482125,2.545435e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002050336,"about_ca_system_score_gemma":0.00002862879,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003295392,"about_ca_topic_score_gemma":8.643107e-7,"domain_scores_codex":[0.9977444,0.0008744153,0.0007065735,0.000216108,0.0002492279,0.0002093146],"domain_scores_gemma":[0.9946633,0.004472661,0.000422538,0.0001693443,0.0001905625,0.00008157715],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002606946,0.0001479201,0.0001027394,0.00001845612,0.00001301692,0.000001175944,0.0002327003,0.004664988,0.0001701373,0.1369058,0.00001830098,0.8576987],"study_design_scores_gemma":[0.0003603277,0.0009940782,0.0006697705,0.00003770239,0.00001141552,0.00002944986,0.00005351912,0.4601,0.0003687157,0.5364043,0.0008934897,0.00007724924],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02594917,0.000104206,0.9715787,0.001656489,0.0003104509,0.0002529934,4.007544e-7,0.00001554284,0.0001320125],"genre_scores_gemma":[0.344474,0.000005075194,0.6552915,0.0001131831,0.00009955282,0.000008841982,1.955436e-7,0.000002984099,0.000004694992],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8576215,"threshold_uncertainty_score":0.2688762,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.108559188326226,"score_gpt":0.3797519651047765,"score_spread":0.2711927767785505,"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."}}