{"id":"W6986557997","doi":"","title":"Proof Linking: A Modular Verification Archietcture for Mobile Code Systems","year":2004,"lang":"en","type":"dissertation","venue":"Summit (Simon Fraser University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Romidepsin; Filter (signal processing); Process (computing); Subpoena; Oscillograph; Correctness","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.009228629,0.001053385,0.0007495589,0.001819972,0.001427887,0.00425031,0.003648536,0.001558759,0.006549495],"category_scores_gemma":[0.01333427,0.001574844,0.002377338,0.0008120427,0.004467521,0.01114214,0.007335093,0.004530674,0.002442713],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001432398,"about_ca_system_score_gemma":0.003498736,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001157869,"about_ca_topic_score_gemma":0.001083313,"domain_scores_codex":[0.9933724,0.002090333,0.0004884588,0.001060723,0.002567902,0.0004201574],"domain_scores_gemma":[0.9903133,0.00360095,0.0005447834,0.004312552,0.0009203436,0.000308002],"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.0001704954,0.0001630135,0.0007857784,0.0005552975,0.00008555201,0.0003553787,0.00165376,0.03410843,0.02165025,0.6593671,0.005841147,0.2752638],"study_design_scores_gemma":[0.000193571,0.0003722728,0.0004888541,0.0006449023,0.0001726944,0.001042435,0.0002441454,0.3916414,0.03906179,0.4058714,0.1600632,0.0002033271],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002399816,0.0001505422,0.9926106,0.0003316318,0.00005196616,0.0001194426,0.00002407994,0.002458502,0.001853346],"genre_scores_gemma":[0.05752906,0.0004598353,0.9374046,0.0002100068,0.0001263894,0.0002161033,0.0001386065,0.0008416256,0.003073711],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009228629,"threshold_uncertainty_score":0.04880625,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01555480475178491,"score_gpt":0.2277304093531359,"score_spread":0.212175604601351,"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."}}