{"id":"W6985183608","doi":"","title":"9783631831694.pdf","year":2020,"lang":"en","type":"other","venue":"OAPEN (The OAPEN Foundation)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Bishops; Quarter (Canadian coin); Middle Ages; Delegate; Period (music)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0004714967,0.0006964862,0.000449411,0.001603645,0.0008536169,0.005810325,0.0008971086,0.00114523,0.9106743],"category_scores_gemma":[0.002705624,0.0004578365,0.0004465632,0.002561413,0.0005406355,0.002903607,0.002581038,0.001204718,0.8881004],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005937854,"about_ca_system_score_gemma":0.0006396393,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001549661,"about_ca_topic_score_gemma":0.002492289,"domain_scores_codex":[0.9996316,0.00003739067,0.0000205443,0.00006726431,0.0002012952,0.00004186423],"domain_scores_gemma":[0.9988806,0.000301824,0.00005473903,0.0002201179,0.0003302124,0.0002125519],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002906493,0.00002604824,0.0001701323,0.0001649916,0.000002909686,0.00004207493,0.00007377229,0.0001206268,0.0004393238,0.007904625,0.733991,0.2570355],"study_design_scores_gemma":[0.000002711133,0.000005592949,0.0001760341,0.0000611301,7.126713e-7,0.00002910321,0.00002891266,0.00004028156,0.00008358722,0.0006082338,0.998961,0.000002662501],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0001770751,0.0003665864,0.001150826,0.0002658958,0.000384901,0.00002689173,0.001841174,0.001419707,0.9943669],"genre_scores_gemma":[0.0007512231,0.0004038137,0.0004156682,0.0001088615,0.00006140187,0.00002014625,0.001294399,0.0006081281,0.9963363],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.08932573,"threshold_uncertainty_score":0.1274123,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02547710039955604,"score_gpt":0.2809070655647263,"score_spread":0.2554299651651703,"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."}}