{"id":"W2623681909","doi":"10.1016/j.tcs.2017.01.034","title":"Higher-level constructs for families and multisets","year":2017,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Multiset; Intersection (aeronautics); Power set; Set (abstract data type); Mathematics; Complement (music); Functor; Family of sets; Computer science; Theoretical computer science; Discrete mathematics; Programming language","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.004024083,0.0008126852,0.0007117216,0.003818374,0.004268704,0.005420446,0.001174057,0.00149628,0.01516898],"category_scores_gemma":[0.009843268,0.0005494333,0.002062333,0.00436651,0.006201756,0.01709465,0.003738843,0.003369454,0.001176259],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002387491,"about_ca_system_score_gemma":0.001165623,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001432715,"about_ca_topic_score_gemma":0.001498052,"domain_scores_codex":[0.9971762,0.001058776,0.000347885,0.0006368137,0.0004111439,0.0003691337],"domain_scores_gemma":[0.9902208,0.004992665,0.001209176,0.001382036,0.001174114,0.001021318],"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.00001698107,0.00002612879,0.001650928,0.00003538403,0.000009168622,0.00003971661,0.002250692,0.0001674179,0.0002604795,0.9893271,0.0003382951,0.005877628],"study_design_scores_gemma":[0.0000133309,0.0000381212,0.002263215,0.00005483425,0.00002461738,0.0001814506,0.002917696,0.001850527,0.0004320108,0.9838075,0.008393134,0.00002356688],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3134935,0.0008724908,0.6003869,0.002754673,0.0002566224,0.0002750359,0.001354919,0.0007136535,0.07989223],"genre_scores_gemma":[0.8901139,0.0001847501,0.1040339,0.0001517375,0.00008717959,0.000353106,0.0007518537,0.0001100263,0.004213533],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01516898,"threshold_uncertainty_score":0.05074525,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05420908054288178,"score_gpt":0.3465444838250626,"score_spread":0.2923354032821809,"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."}}