{"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":"codex-gemma-dda1882f352a","candidate_categories":["scholarly_communication","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.000809341,0.0002283965,0.0001948115,0.0005802719,0.0005233688,0.001617299,0.003180727,0.0001872708,0.05301069],"category_scores_gemma":[0.00036161,0.000239474,0.00007725167,0.0008811814,0.0001351234,0.0002494095,0.002424391,0.0004553187,0.3458026],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001411745,"about_ca_system_score_gemma":0.000005345074,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000013549,"about_ca_topic_score_gemma":1.722682e-7,"domain_scores_codex":[0.9977754,0.0003700291,0.000252181,0.0007395917,0.0004870795,0.0003757087],"domain_scores_gemma":[0.9982426,0.00001025378,0.0001588736,0.001239996,0.0001909133,0.000157331],"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.000002474383,0.00002845356,2.13204e-8,0.0001202461,0.00003061485,0.000009785624,0.0002373421,0.000001480057,0.0001032802,0.06798313,0.853525,0.07795815],"study_design_scores_gemma":[0.0001074603,0.00008763209,0.000005182544,0.0001189627,0.00001144475,0.00008704301,0.00002294842,0.001304308,0.00009621298,0.001061568,0.9968452,0.0002519895],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[8.772731e-7,0.0003500443,0.2096974,0.0002873721,0.0005601877,0.0003002629,0.00006362129,0.002714693,0.7860255],"genre_scores_gemma":[0.0001351806,0.0002079172,0.06490727,0.0001838827,0.0005065529,7.81347e-8,0.0004973001,0.008732365,0.9248295],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.292792,"threshold_uncertainty_score":0.9994191,"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."}}