{"id":"W6948793038","doi":"10.5281/zenodo.11852471","title":"Iso 17987 pdf","year":2024,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"OSI model; Protocol (science); Interconnection; Service (business); Automotive industry; Interface (matter); Conformance testing; Layer (electronics); Set (abstract data type); Local area network; Communications protocol","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.002752466,0.002280911,0.001331624,0.006261776,0.001657744,0.008353657,0.004705714,0.003732163,0.5842239],"category_scores_gemma":[0.007971828,0.001149817,0.001431872,0.005525907,0.001238285,0.006709044,0.002931793,0.002363879,0.6788036],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002388402,"about_ca_system_score_gemma":0.004657906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008322691,"about_ca_topic_score_gemma":0.006554645,"domain_scores_codex":[0.9950297,0.0002677329,0.0003270355,0.0002749068,0.003811307,0.000289387],"domain_scores_gemma":[0.992407,0.0003460225,0.0002063351,0.0006877503,0.006073984,0.0002789524],"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.00006717735,0.00007465292,0.00008191993,0.0005585583,0.00000662185,0.00008860216,0.0000587196,0.00034104,0.001884516,0.007080771,0.8344212,0.1553362],"study_design_scores_gemma":[0.000006695055,0.00001614436,0.0001336066,0.0000974997,0.000003246137,0.00004839509,0.00002577643,0.00005865168,0.0006139701,0.000675332,0.9983128,0.000007724186],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0003973313,0.00131113,0.007537288,0.0007592243,0.00276001,0.0005609402,0.008925281,0.0053186,0.9724302],"genre_scores_gemma":[0.002669105,0.002367713,0.005486826,0.0007771584,0.0005532838,0.0003365126,0.01483222,0.003377769,0.9695994],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.4157761,"threshold_uncertainty_score":0.5930542,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04221542986834593,"score_gpt":0.2798330079952231,"score_spread":0.2376175781268772,"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."}}