{"id":"W6991279004","doi":"","title":"Formal modeling and analysis of timed systems: 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, proceedings","year":2016,"lang":"en","type":"other","venue":"CERN Document Server (European Organization for Nuclear Research)","topic":"Employee Performance and Management","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Formal methods; Formal verification; Formal specification; Key (lock); Data modeling","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001109307,0.0002221581,0.0003550548,0.0007962577,0.0005955391,0.0005781908,0.0009208842,0.0001228296,0.01071063],"category_scores_gemma":[0.00008552759,0.0001974261,0.00006846269,0.0005499981,0.0001856679,0.0008258932,0.0006512035,0.0001560704,0.0002535957],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006030913,"about_ca_system_score_gemma":0.0002376632,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.2722294,"about_ca_topic_score_gemma":0.1321915,"domain_scores_codex":[0.9974605,0.000116227,0.0004451636,0.0003959136,0.001069476,0.0005127596],"domain_scores_gemma":[0.9983815,0.00001801303,0.0003607671,0.000230548,0.0008047525,0.0002044193],"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.00004351622,0.00005095648,0.0002574075,0.0003938066,0.001273868,0.000003057849,0.002316601,0.00006032207,0.000007154013,0.1626333,0.8322502,0.0007098241],"study_design_scores_gemma":[0.0006376529,0.00005076895,0.0001776521,0.0004740678,0.0002992407,6.518101e-7,0.004042958,0.0006772351,0.000007045935,0.0002699776,0.9929751,0.0003876766],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.02821276,0.0004007227,0.0002765523,0.002393972,0.001435216,0.003093572,0.0001609948,0.0007768585,0.9632493],"genre_scores_gemma":[0.3866257,0.002105828,0.00001125043,0.00006762199,0.0003021788,0.00000369028,0.0002918476,0.000491182,0.6101007],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.358413,"threshold_uncertainty_score":0.9901937,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02767586789097865,"score_gpt":0.2807485899406057,"score_spread":0.2530727220496271,"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."}}