{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007048067,0.002269526,0.002077239,0.002158368,0.001390032,0.006670375,0.00365735,0.001076727,0.0131723],"category_scores_gemma":[0.006724194,0.001737791,0.002200122,0.002093361,0.004767512,0.002868693,0.002153515,0.003107819,0.002715707],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.01101747,"about_ca_system_score_gemma":0.01364263,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.3251255,"about_ca_topic_score_gemma":0.2896171,"domain_scores_codex":[0.9974657,0.0006451189,0.0002635277,0.0003705741,0.001053141,0.0002019433],"domain_scores_gemma":[0.9943298,0.002300458,0.0001843217,0.001016666,0.001876006,0.0002926463],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000302112,0.0004020228,0.002615688,0.001329918,0.0002867857,0.0004465687,0.002074403,0.09815311,0.01181235,0.3659506,0.1356121,0.3810144],"study_design_scores_gemma":[0.0001496397,0.0001101921,0.002229569,0.001045535,0.0001983597,0.0003686116,0.000688472,0.3874412,0.008330726,0.2119086,0.3873755,0.000153497],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.003635015,0.009540604,0.9721937,0.002390768,0.001009748,0.0001826775,0.0007940792,0.002093087,0.008160309],"genre_scores_gemma":[0.1203261,0.02467856,0.7632909,0.0008238325,0.001214605,0.0007328475,0.007172591,0.003486935,0.07827371],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.3251255,"threshold_uncertainty_score":0.6464661,"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."}}