{"id":"W7061969538","doi":"","title":"A Subjective Logic Library Constructed Using Monadic Higher Order Functions","year":2014,"lang":"en","type":"dissertation","venue":"Scholarship at UWindsor (University of Windsor)","topic":"Magnetic confinement fusion research","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"AUTO21 Network of Centres of Excellence; Canadian Institutes of Health Research","keywords":"Set (abstract data type); Probabilistic logic; Software; Subjective logic; Order (exchange); Expression (computer science); Stable model semantics; Automated reasoning; Algebra over a field","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003116181,0.0007673001,0.0006986647,0.001992318,0.001308004,0.004786212,0.001600495,0.0008188697,0.008286408],"category_scores_gemma":[0.005030387,0.0006628961,0.002296381,0.001603394,0.001831849,0.006555362,0.002631861,0.002196966,0.002176627],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002069708,"about_ca_system_score_gemma":0.002236356,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002255107,"about_ca_topic_score_gemma":0.003061808,"domain_scores_codex":[0.998135,0.0003681617,0.0002028427,0.0003413753,0.0007772558,0.0001753976],"domain_scores_gemma":[0.9977984,0.0007340426,0.0001567429,0.0005377102,0.0006184109,0.0001546821],"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.0001933796,0.00009182908,0.0007460203,0.0003371224,0.0000451477,0.0002477998,0.0007571653,0.01395702,0.01766636,0.8326981,0.009325936,0.1239341],"study_design_scores_gemma":[0.00008671074,0.0001653604,0.0006555881,0.0001935467,0.0001678393,0.0005804506,0.0002708474,0.2686907,0.05934718,0.4380664,0.231575,0.0002004163],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004675148,0.000100599,0.9850307,0.0001775971,0.00005859826,0.00007194483,0.0003031565,0.004976833,0.004605422],"genre_scores_gemma":[0.1653107,0.0005536914,0.809933,0.00052398,0.0001842937,0.0003637387,0.001444082,0.002412576,0.01927394],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008286408,"threshold_uncertainty_score":0.02772081,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01739133976034597,"score_gpt":0.2358028293979507,"score_spread":0.2184114896376047,"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."}}