{"id":"W1704961025","doi":"10.4204/eptcs.31","title":"Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems","year":2010,"lang":"en","type":"paratext","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Library science; Computer science; Operations research; Engineering","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","open_science","research_integrity"],"consensus_categories":[],"category_scores_codex":[0.006941369,0.0008003882,0.001040445,0.001401457,0.0005227668,0.0009541129,0.008090923,0.000731853,0.00007702224],"category_scores_gemma":[0.0005328782,0.0007301244,0.0001962714,0.003735989,0.006245657,0.0031433,0.002007063,0.003514548,0.0002201238],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00103168,"about_ca_system_score_gemma":0.001237814,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008416226,"about_ca_topic_score_gemma":0.000001046366,"domain_scores_codex":[0.9914774,0.00006076632,0.001350797,0.002133076,0.002495878,0.002482102],"domain_scores_gemma":[0.9961506,0.0002007894,0.0009445791,0.0007090999,0.001610688,0.0003842867],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009810999,0.0002088036,0.00001070299,0.0002078084,0.00001343873,0.000001028612,0.0007227926,0.00008630189,0.0005705213,0.9914713,0.00194651,0.004662677],"study_design_scores_gemma":[0.001038081,0.002569115,0.0005374331,0.001653409,0.00002562517,0.000285067,0.0001254502,0.8076882,0.009954948,0.1648226,0.009439739,0.001860346],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02372735,0.000387164,0.8946527,0.0005349265,0.00681659,0.001822903,0.00004283265,0.0003002803,0.07171529],"genre_scores_gemma":[0.8025776,0.00009836486,0.1958161,0.000199881,0.0007524618,0.0001466311,0.00001034782,0.0000524749,0.00034616],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8266487,"threshold_uncertainty_score":0.999515,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02232007085100891,"score_gpt":0.2888146064640826,"score_spread":0.2664945356130737,"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."}}