{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000727159,0.0003361656,0.0004113565,0.0004607797,0.00006225811,0.0002610171,0.0008145312,0.0001986765,0.00003890598],"category_scores_gemma":[0.00005631369,0.0003011983,0.00006266103,0.0005547141,0.0002114613,0.0001204949,0.0001486263,0.0003646328,0.00008567668],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002764626,"about_ca_system_score_gemma":0.0003215356,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001960539,"about_ca_topic_score_gemma":0.00004863802,"domain_scores_codex":[0.9982866,0.00003968439,0.0003103668,0.0005445029,0.0003460466,0.0004728082],"domain_scores_gemma":[0.9987259,0.0005512416,0.00005973694,0.0005177114,0.00005774551,0.00008768792],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003018683,0.000006806169,0.00001534455,0.000310053,0.00001396399,0.00005680939,0.000322466,0.7055599,0.01427659,0.00002508809,0.0005240078,0.2788859],"study_design_scores_gemma":[0.0002403185,0.00006549143,0.0001118957,0.0004604427,0.00001257139,0.00001124089,1.410865e-7,0.8568839,0.09131721,0.04461173,0.005399815,0.0008852654],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001720418,0.0004763065,0.9897621,0.00002567028,0.006366253,0.0001784353,0.00001799292,0.0006615759,0.0007911957],"genre_scores_gemma":[0.04524846,0.0001029701,0.9489728,0.001405366,0.002134997,0.0000468364,0.00006838129,0.0003305342,0.00168968],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2780007,"threshold_uncertainty_score":0.999944,"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."}}