{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001387469,0.000608822,0.000948587,0.003293873,0.00210111,0.007969656,0.002230522,0.001504859,0.00811464],"category_scores_gemma":[0.008339327,0.0004509838,0.001175736,0.002732576,0.007424527,0.01604125,0.003560027,0.003039176,0.0007927524],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0019387,"about_ca_system_score_gemma":0.001129672,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009847056,"about_ca_topic_score_gemma":0.001040881,"domain_scores_codex":[0.998957,0.0004104513,0.00008841848,0.0001695291,0.0002825716,0.00009198872],"domain_scores_gemma":[0.9961458,0.00207326,0.0003874865,0.0007528781,0.0004324077,0.0002081582],"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.000004867533,0.000005965567,0.00005633021,0.00001336046,0.000001906914,0.00001951575,0.00005630395,0.0009024131,0.00005255117,0.9968772,0.0002075025,0.001802188],"study_design_scores_gemma":[0.00000537963,0.000006765351,0.00003143675,0.000008324033,0.00000366252,0.00005039067,0.00007973117,0.01000595,0.00009714,0.9878802,0.00182582,0.000005209453],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07829195,0.001452767,0.840041,0.006881565,0.0002845453,0.0001438032,0.0004142649,0.0002500767,0.07224002],"genre_scores_gemma":[0.764312,0.001630814,0.2173748,0.0004316983,0.0005112631,0.000157042,0.0004231323,0.00009157565,0.01506776],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00811464,"threshold_uncertainty_score":0.02714616,"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."}}