{"id":"W2193061249","doi":"10.3233/com-180087","title":"Notions of semicomputability in topological algebras over the reals","year":2018,"lang":"en","type":"article","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Topology (electrical circuits); Pure mathematics; Algebra over a field; Combinatorics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003158048,0.0005606725,0.0006412111,0.003367376,0.00230888,0.004851817,0.001311537,0.001142982,0.003968052],"category_scores_gemma":[0.00827939,0.0004362026,0.001142136,0.002249009,0.01165914,0.01231343,0.003098213,0.002894769,0.0004658781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001898506,"about_ca_system_score_gemma":0.001138505,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001041976,"about_ca_topic_score_gemma":0.0004733701,"domain_scores_codex":[0.9972367,0.0007625287,0.0002605756,0.0004896708,0.000890356,0.0003600603],"domain_scores_gemma":[0.9925737,0.003692857,0.0009255046,0.001183023,0.00103175,0.0005930425],"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.000008585673,0.000006153789,0.00008805289,0.00002212392,0.000003691124,0.00004071071,0.0002811293,0.0004813764,0.0002507035,0.9976674,0.00006166094,0.001088425],"study_design_scores_gemma":[0.000007696427,0.00002128297,0.0001591609,0.00001751781,0.000007913742,0.00007297377,0.0001701674,0.003150184,0.0007243748,0.9930427,0.002615417,0.00001072363],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3045278,0.003701537,0.6097785,0.003234933,0.0003340827,0.0001213945,0.00059029,0.000526406,0.07718506],"genre_scores_gemma":[0.9486864,0.0009446132,0.04431305,0.0002594498,0.0002943946,0.0001399604,0.0002773685,0.0000759955,0.005008737],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004851817,"threshold_uncertainty_score":0.01670158,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02602214910386368,"score_gpt":0.2935969599416893,"score_spread":0.2675748108378256,"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."}}