{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001743058,0.0008165634,0.0006125052,0.000883838,0.0006587147,0.001844974,0.0007183466,0.0006164819,0.01129671],"category_scores_gemma":[0.0006962483,0.0002753403,0.0004369733,0.001826168,0.0012102,0.002494734,0.0005581734,0.001320418,0.004083347],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007604868,"about_ca_system_score_gemma":0.0006464063,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00120517,"about_ca_topic_score_gemma":0.001031719,"domain_scores_codex":[0.9997951,0.00002234391,0.00001513097,0.00005768979,0.00009226437,0.00001745448],"domain_scores_gemma":[0.9998048,0.00006742789,0.00001690374,0.00003303937,0.0000634194,0.00001444793],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007400878,0.00002635147,0.00009087405,0.0003511161,0.00001276741,0.00006074382,0.00009738732,0.006021811,0.004430057,0.7567323,0.05766065,0.1744419],"study_design_scores_gemma":[0.00001461049,0.00006416121,0.0002549416,0.00007114695,0.00001465234,0.0001735443,0.00003323118,0.01546052,0.003114086,0.7257126,0.2550693,0.00001704644],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.02190211,0.05183598,0.5146984,0.003894731,0.006863107,0.0001439249,0.001735323,0.004348976,0.3945774],"genre_scores_gemma":[0.2909645,0.02913697,0.1933638,0.001314234,0.003049047,0.0004090564,0.003267618,0.0008714232,0.4776234],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01129671,"threshold_uncertainty_score":0.03779131,"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."}}