{"id":"W4245225971","doi":"10.1145/1140124.1140237","title":"Finite automata models for CS problem with binary semaphore","year":2006,"lang":"en","type":"article","venue":"Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education","topic":"Software Engineering Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Nipissing University","funders":"","keywords":"Semaphore; Computer science; Automaton; Synchronization (alternating current); Simplicity; Finite-state machine; Deterministic finite automaton; Theoretical computer science; Visualization; Parallelism (grammar); Binary number; Parallel computing; Algorithm; Programming language; Mathematics; Arithmetic; Artificial intelligence; Channel (broadcasting)","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008172718,0.0008683288,0.0005920468,0.0007405388,0.0008867803,0.001920889,0.00134183,0.001602032,0.006000557],"category_scores_gemma":[0.003484699,0.0003509253,0.001471972,0.0008415162,0.001259743,0.002355278,0.001111697,0.002005039,0.0008297248],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001727665,"about_ca_system_score_gemma":0.002071989,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005543778,"about_ca_topic_score_gemma":0.006509818,"domain_scores_codex":[0.9991384,0.0002838892,0.00006372629,0.0002089863,0.0001929627,0.0001120851],"domain_scores_gemma":[0.9979353,0.001436102,0.0001792667,0.0001769329,0.0001838462,0.00008866969],"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.00006694604,0.00007893379,0.0005872029,0.0001605986,0.00003076064,0.0003304021,0.0002677988,0.2288495,0.00191105,0.7525383,0.002485751,0.01269278],"study_design_scores_gemma":[0.00001964149,0.00003665085,0.0001241715,0.0000380807,0.0000243144,0.0001235675,0.00008245656,0.6092795,0.0006701993,0.3822746,0.00730939,0.00001751364],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02247998,0.0008340241,0.9587699,0.0008022667,0.0001455561,0.0001484255,0.0003718362,0.0004128254,0.01603519],"genre_scores_gemma":[0.6110095,0.00166531,0.3558752,0.0003410502,0.0003065167,0.000873906,0.0009791787,0.0002085691,0.02874085],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006000557,"threshold_uncertainty_score":0.02007383,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01699405986761732,"score_gpt":0.263056050210883,"score_spread":0.2460619903432657,"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."}}