{"id":"W4252525006","doi":"10.24124/2016/bpgub1122","title":"Tangling in dualisability of unary algebras","year":2016,"lang":"en","type":"dissertation","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Northern British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada; University of British Columbia; University of Northern British Columbia","keywords":"Unary operation; Join (topology); Extension (predicate logic); Mathematics; Bounded function; Row; Pure mathematics; Interior algebra; Jordan algebra; Algebra over a field; Discrete mathematics; Combinatorics; Algebra representation; Computer science","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.002166801,0.0005022958,0.0004836734,0.001026506,0.001380652,0.003377227,0.0007797509,0.0006234531,0.004839573],"category_scores_gemma":[0.003637536,0.0003880217,0.001410679,0.000636982,0.003894921,0.00909339,0.002229294,0.002391519,0.0007040637],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001480905,"about_ca_system_score_gemma":0.0006298087,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005753628,"about_ca_topic_score_gemma":0.0004296762,"domain_scores_codex":[0.9987393,0.0003732035,0.0001309789,0.0002614647,0.0003365393,0.0001585404],"domain_scores_gemma":[0.9980695,0.0008056274,0.0001880585,0.0003194537,0.0003608917,0.000256471],"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.00003331451,0.00001674087,0.0002622707,0.00003468187,0.000005251036,0.0001171313,0.0004160872,0.0008755022,0.001493806,0.9924133,0.0001731843,0.004158582],"study_design_scores_gemma":[0.000008122955,0.00002005929,0.0001007672,0.00001671659,0.000008012563,0.0001171038,0.0001299006,0.004849988,0.002644241,0.9900082,0.002085641,0.00001117808],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.396067,0.001067815,0.5170082,0.00104167,0.0002175834,0.00007749828,0.0001719743,0.0004508545,0.0838974],"genre_scores_gemma":[0.931995,0.0003621606,0.05337035,0.0001855159,0.0001013616,0.00005434002,0.0001556707,0.0001025683,0.01367304],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.004839573,"threshold_uncertainty_score":0.01618999,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01167083968769643,"score_gpt":0.2712436174716014,"score_spread":0.259572777783905,"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."}}