{"id":"W2113648859","doi":"10.1093/logcom/exr050","title":"Functions definable by numerical set-expressions","year":2011,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Brock University","funders":"Engineering and Physical Sciences Research Council","keywords":"Set (abstract data type); Computer science; Mathematics; Algorithm; 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.002248997,0.0008531432,0.0007467527,0.002047731,0.001106306,0.005027128,0.001315999,0.001164604,0.004111796],"category_scores_gemma":[0.005581349,0.0005454851,0.001152042,0.002215719,0.00472452,0.008904135,0.002097083,0.002415426,0.0009514467],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001716864,"about_ca_system_score_gemma":0.0008173372,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006883092,"about_ca_topic_score_gemma":0.0004516913,"domain_scores_codex":[0.9973584,0.000782626,0.0003481403,0.0005731187,0.0006843504,0.0002533998],"domain_scores_gemma":[0.9971042,0.00170583,0.0003072829,0.0003614117,0.0003757283,0.0001454862],"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.00001972814,0.000006842575,0.000129785,0.000045266,0.000007394342,0.00006502787,0.0002925918,0.001075925,0.0009441206,0.9891315,0.0003204021,0.007961621],"study_design_scores_gemma":[0.00001505248,0.00002179144,0.0001900044,0.00005495378,0.00002191247,0.0002366974,0.0001361595,0.009597556,0.002727154,0.9664699,0.02050548,0.00002339432],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07872777,0.002693106,0.8647924,0.001403673,0.0002941586,0.0001211043,0.00088034,0.001017935,0.05006957],"genre_scores_gemma":[0.6581019,0.002242036,0.3211823,0.0008908771,0.0004754942,0.0005990277,0.001336987,0.0003260757,0.01484529],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005027128,"threshold_uncertainty_score":0.01375532,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05025316820857675,"score_gpt":0.2668335121783242,"score_spread":0.2165803439697474,"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."}}