{"id":"W2906821390","doi":"","title":"Special issue \"Abstract State Machines, Alloy, B and Z; Selected papers from ABZ 2010\"","year":2013,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Advanced Materials Characterization Techniques","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"State (computer science); Abstract state machines; Computer science; Finite-state machine; 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","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0007778649,0.0004786342,0.0004835565,0.0001581969,0.0001430869,0.0004995899,0.0006785182,0.0003413123,0.002017806],"category_scores_gemma":[0.0003707545,0.0005368453,0.00007629019,0.0001873419,0.0001358025,0.0002557449,0.0006464312,0.0006181574,0.00009380322],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001156178,"about_ca_system_score_gemma":0.00006755142,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001353978,"about_ca_topic_score_gemma":0.0006405336,"domain_scores_codex":[0.9973812,0.0007499236,0.0006084499,0.0006362568,0.0002713705,0.0003528091],"domain_scores_gemma":[0.9970417,0.000428166,0.0003202972,0.001220289,0.0008001057,0.0001894185],"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.0000276525,0.0002706243,0.001070101,0.0006278648,0.0002927464,0.00001373983,0.008523408,0.0007951945,0.7783598,0.001436701,0.02807094,0.1805112],"study_design_scores_gemma":[0.0009163736,8.488999e-7,0.07965504,0.002242883,0.000094684,0.0000105359,0.00004400946,0.01988726,0.6692021,0.008032536,0.2178361,0.002077606],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8964509,0.0008567276,0.04086944,0.002540076,0.00262398,0.001658569,0.001392126,0.00384514,0.049763],"genre_scores_gemma":[0.737787,0.01462246,0.2106121,0.0002412902,0.001911891,0.000560637,0.01159264,0.0006578816,0.02201406],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1897651,"threshold_uncertainty_score":0.9997083,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006848028345597561,"score_gpt":0.2033616235521654,"score_spread":0.1965135952065678,"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."}}