{"id":"W2497674850","doi":"10.1007/978-3-642-11811-1","title":"Abstract State Machines, Alloy, B and Z","year":2010,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Advanced Materials Characterization Techniques","field":"Engineering","cited_by":77,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Alloy; State (computer science); Materials science; Computer science; Metallurgy; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001969024,0.0002901103,0.0002760598,0.0002769448,0.00005182448,0.0001799055,0.0004407059,0.0002069772,0.00002916446],"category_scores_gemma":[0.00002742946,0.0002764437,0.00002038699,0.0001466974,0.0002616092,0.0002687123,0.0001808101,0.0005596205,0.000007380556],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000100879,"about_ca_system_score_gemma":0.00008899319,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004322309,"about_ca_topic_score_gemma":0.00002839901,"domain_scores_codex":[0.9988216,0.000005129029,0.0002591276,0.0004122928,0.0002183125,0.0002836001],"domain_scores_gemma":[0.9993689,0.00008962927,0.00007212717,0.000350645,0.00004489466,0.00007382686],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000003717185,0.000008631621,0.00003551672,0.000293129,0.000006164978,0.00003816187,0.0002853633,0.03269334,0.238104,0.00005641087,0.00009417901,0.7283814],"study_design_scores_gemma":[0.0005743777,0.0001310759,0.006721532,0.001233857,0.00001686507,0.0001566447,6.191018e-8,0.3462473,0.3792194,0.2324254,0.03015951,0.003113942],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005645146,0.0001280424,0.9916032,0.00003062459,0.001232818,0.0002235021,0.00002877961,0.0005414492,0.000566466],"genre_scores_gemma":[0.2745866,0.0007090166,0.7215895,0.0007931482,0.001247943,0.00004040371,0.0001192486,0.0002579951,0.0006560962],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7252675,"threshold_uncertainty_score":0.9999688,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005464214593972748,"score_gpt":0.2209909194622512,"score_spread":0.2155267048682784,"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."}}