{"id":"W7056345659","doi":"","title":"Encoding XQuery using &lt;em&gt;System F&lt;/em&gt;","year":2006,"lang":"en","type":"dissertation","venue":"UWSpace (University of Waterloo)","topic":"Magnetic confinement fusion research","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Blackberry (Canada)","funders":"","keywords":"XQuery; XML validation; XML database; XML Schema Editor; Streaming XML; Efficient XML Interchange; XML Encryption","routes":{"ca_aff":true,"ca_fund":false,"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.001519404,0.0009247978,0.0004215341,0.0007567572,0.0006239539,0.002769754,0.001034277,0.0008032098,0.01373335],"category_scores_gemma":[0.001899488,0.0004660004,0.0008832336,0.0009505108,0.001124291,0.002926355,0.002184226,0.001933764,0.006021934],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001447471,"about_ca_system_score_gemma":0.001596251,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004940669,"about_ca_topic_score_gemma":0.002858413,"domain_scores_codex":[0.9987268,0.0002736045,0.0001118192,0.0003149823,0.0004390237,0.0001338891],"domain_scores_gemma":[0.9994783,0.0001183662,0.00003523567,0.0001789606,0.0001605403,0.00002866323],"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.0003251525,0.00007300086,0.0004480122,0.0003052199,0.00003117119,0.0003778593,0.0009557729,0.004856995,0.01938768,0.7924322,0.06546286,0.1153441],"study_design_scores_gemma":[0.0001042493,0.00006624866,0.000409201,0.0001042153,0.00004155274,0.0004142619,0.0001951213,0.05148898,0.04445745,0.1677177,0.7349218,0.00007920598],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00419812,0.0002555212,0.9591938,0.0005677722,0.0003278495,0.0001450002,0.001664651,0.01672362,0.01692378],"genre_scores_gemma":[0.157465,0.0009614284,0.7578853,0.001215465,0.0002760949,0.0005891733,0.008015259,0.01195192,0.0616404],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01373335,"threshold_uncertainty_score":0.04594266,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01169754786908526,"score_gpt":0.2168425691733261,"score_spread":0.2051450213042408,"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."}}