{"id":"W2893802702","doi":"10.1016/j.jlamp.2018.09.004","title":"Cryptomorphic topological structures: A computational, relation-algebraic approach","year":2018,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Relation (database); Closure (psychology); Topology (electrical circuits); Mathematics; Closed set; Algebraic number; Topological space; Algebraic topology; Irreducible component; Set (abstract data type); Algebra over a field; Computer science; Discrete mathematics; Pure mathematics; Combinatorics; Homotopy; Data mining","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.003185653,0.0002409215,0.0005442261,0.0002639286,0.000239493,0.0002573332,0.0007234708,0.0002329724,0.00006184648],"category_scores_gemma":[0.001278353,0.0001544544,0.0001646615,0.000750048,0.00048104,0.0004164743,0.0002965563,0.00064127,0.000004429168],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000470253,"about_ca_system_score_gemma":0.00009177882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002840227,"about_ca_topic_score_gemma":9.859745e-7,"domain_scores_codex":[0.9971334,0.0007453979,0.0008645142,0.0004307782,0.0004000336,0.0004258363],"domain_scores_gemma":[0.9976938,0.001066475,0.0004985523,0.0002061808,0.0002893403,0.0002455891],"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.00003448565,0.0002106315,0.004319536,0.00002695959,0.00003154152,0.00004763672,0.001251274,0.00007871421,0.0001010335,0.6769594,0.00005076862,0.3168881],"study_design_scores_gemma":[0.0009636687,0.001070555,0.04254831,0.00005376089,0.00002226106,0.001102144,0.0002018803,0.01547201,0.0001099266,0.9352306,0.002915642,0.0003092926],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07462881,0.001294476,0.9214539,0.0004246056,0.0003801614,0.0001659667,2.385526e-7,0.00005100487,0.001600846],"genre_scores_gemma":[0.393245,0.00002414659,0.6062609,0.0001946065,0.0002472969,0.000004636221,7.1299e-7,0.000005194497,0.00001750196],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3186162,"threshold_uncertainty_score":0.6298467,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05015518455874311,"score_gpt":0.3599268618012973,"score_spread":0.3097716772425542,"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."}}