{"id":"W6979709731","doi":"","title":"Abstract state machines, alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings","year":2010,"lang":"en","type":"article","venue":"","topic":"Advanced Materials Characterization Techniques","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"State (computer science); Field (mathematics); Calculus (dental); Product (mathematics)","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.002235944,0.0008567815,0.000808659,0.0009667575,0.001345582,0.003295729,0.001064586,0.0006617125,0.02584125],"category_scores_gemma":[0.001700394,0.000336969,0.0005027063,0.001093657,0.001293815,0.001279506,0.0008238766,0.001292545,0.006875558],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005906151,"about_ca_system_score_gemma":0.009313039,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.1809511,"about_ca_topic_score_gemma":0.2400251,"domain_scores_codex":[0.9993413,0.0000856114,0.0000326105,0.0001166803,0.0003145651,0.0001090774],"domain_scores_gemma":[0.998697,0.0001815117,0.00002075602,0.0001273123,0.0008339611,0.0001395417],"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.0008894295,0.000242344,0.001380526,0.0002356759,0.00005687793,0.0001479731,0.0002665452,0.008681264,0.01794332,0.03388909,0.5900769,0.34619],"study_design_scores_gemma":[0.0001333791,0.0002580534,0.00446153,0.0001199595,0.00009231517,0.0001964491,0.0003590777,0.1121189,0.03338953,0.02720876,0.821601,0.00006101766],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.06287386,0.02243662,0.585234,0.02568882,0.01484605,0.0007052321,0.008514701,0.01605967,0.2636409],"genre_scores_gemma":[0.1579842,0.006491206,0.08316831,0.0008001213,0.0007897739,0.000161009,0.009037135,0.001137957,0.7404302],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8190489,"threshold_uncertainty_score":0.3597958,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006168572928719431,"score_gpt":0.2052206980021402,"score_spread":0.1990521250734208,"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."}}