{"id":"W4376622559","doi":"10.1007/978-3-031-33163-3","title":"Rigorous State-Based Methods","year":2023,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Semiconductor materials and devices","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"National Institute on Aging; Université de Franche-Comté; Institute of Software, Chinese Academy of Sciences; Universitetet i Agder; National Institute of Informatics; Sandia National Laboratories; Universität Ulm; Jet Propulsion Laboratory; Technische Universität Berlin; Universidade do Porto; Swansea University; Zhejiang University; East China Normal University; Simon Fraser University; Universität zu Lübeck; Agence Nationale de la Recherche; Université de Bordeaux; Université de Sherbrooke; University of Southampton; Università degli Studi di Milano; Università di Pisa; Université de Toulouse; University of Limerick; Queen's University; University of Surrey; Office National d'études et de Recherches Aérospatiales; Université de Lorraine; Universidade do Minho; Carnegie Mellon University; McMaster University; Chinese Academy of Sciences; Aarhus Universitet","keywords":"Abstract state machines; State (computer science); Computer science; Finite-state machine; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.001214426,0.001233383,0.00172312,0.001234094,0.0006539716,0.002378998,0.001813624,0.001484925,0.01445152],"category_scores_gemma":[0.003525921,0.0006935413,0.001329934,0.0009920917,0.002056013,0.002143503,0.002652319,0.003772643,0.005365637],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000926485,"about_ca_system_score_gemma":0.0008783554,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001218668,"about_ca_topic_score_gemma":0.001316338,"domain_scores_codex":[0.9991087,0.0003337862,0.00003440848,0.00009779841,0.0003771164,0.00004819077],"domain_scores_gemma":[0.9989196,0.0004955523,0.00005931194,0.0002423002,0.0002331434,0.00005005128],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001792123,0.00002464471,0.00005003948,0.0001005332,0.00002749135,0.00001459136,0.00003067092,0.01537071,0.0006295696,0.9499694,0.008892302,0.02487206],"study_design_scores_gemma":[0.00001542929,0.00001537761,0.00009347396,0.00004681824,0.00001267977,0.00003110652,0.00001220416,0.2217956,0.0005231085,0.7559971,0.02143914,0.00001798344],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.001612717,0.00290061,0.9319089,0.0007008124,0.000789027,0.00003549088,0.0002186723,0.0003520453,0.06148167],"genre_scores_gemma":[0.2320971,0.009104953,0.565067,0.00136033,0.001955279,0.0005413719,0.001398367,0.002381208,0.1860945],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01445152,"threshold_uncertainty_score":0.04834521,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0214749132920359,"score_gpt":0.2863489733443241,"score_spread":0.2648740600522883,"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."}}