{"id":"W2464672509","doi":"10.1016/j.scico.2011.03.004","title":"Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010","year":2011,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Advanced Materials Characterization Techniques","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University; Université de Sherbrooke","funders":"","keywords":"Computer science; State (computer science); Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000145546,0.0001191753,0.0001407761,0.0001011418,0.00005268303,0.00006618035,0.0002286786,0.00002912991,0.00003148741],"category_scores_gemma":[0.000008939428,0.0001135496,0.00001322106,0.0002820453,0.0002060526,0.0004374363,0.0000736139,0.00006810849,0.000002183394],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001618055,"about_ca_system_score_gemma":0.00001875158,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006186021,"about_ca_topic_score_gemma":0.000004536625,"domain_scores_codex":[0.9991969,0.000005880177,0.0002149577,0.0002010529,0.0001508115,0.000230336],"domain_scores_gemma":[0.9996144,0.00001402371,0.00006677832,0.0001544314,0.00007538201,0.00007498761],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000003931464,0.0000139141,0.0006842598,0.00002926837,0.000006277396,0.000002043646,0.0006439548,0.00007849556,0.7659262,0.00003768783,0.000007515309,0.2325664],"study_design_scores_gemma":[0.0002017542,0.00008177294,0.2620428,0.00009125749,0.000006893996,0.000005242608,0.00001282855,0.01223713,0.7232841,0.0009722457,0.0007044785,0.0003594878],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9462851,0.00003139416,0.05248893,0.000004590795,0.0003298993,0.0001647725,0.000008092132,0.0005591614,0.000128118],"genre_scores_gemma":[0.7414619,0.00002175711,0.2584571,0.000006867813,0.00002310994,0.000006690481,0.000005883577,0.00001347963,0.000003209583],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2613585,"threshold_uncertainty_score":0.4630419,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01006733447929324,"score_gpt":0.2135802607737616,"score_spread":0.2035129262944684,"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."}}