{"id":"W2053655101","doi":"10.1017/s096012950400430x","title":"Minimisation and minimal realisation in Span(Graph)","year":2004,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Mount Allison University","funders":"","keywords":"Concurrency; Realisation; Minimisation (clinical trials); Computer science; Reachability; Principle of compositionality; Algebra over a field; Theoretical computer science; Programming language; Mathematics; Artificial intelligence; Pure mathematics","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.001888021,0.0003608472,0.0003478207,0.001471513,0.0008510752,0.001870258,0.000653034,0.0005158463,0.002641285],"category_scores_gemma":[0.002355112,0.0003010833,0.001075559,0.000772409,0.00310174,0.004216423,0.002699064,0.001169157,0.0004132643],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007299609,"about_ca_system_score_gemma":0.0005906496,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001149124,"about_ca_topic_score_gemma":0.0009012003,"domain_scores_codex":[0.998282,0.0004343991,0.0001210506,0.0004880663,0.0004453988,0.0002291285],"domain_scores_gemma":[0.9986231,0.0005902452,0.0001472762,0.0001815675,0.0003386788,0.0001191484],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000034399,0.00001399369,0.0003062373,0.00006622019,0.00001331418,0.0001406784,0.000655324,0.001727891,0.00354415,0.9794545,0.0002968856,0.01374633],"study_design_scores_gemma":[0.000005455247,0.00004085128,0.0003024552,0.00001838751,0.00001459741,0.0002359049,0.0002239515,0.006186454,0.004236026,0.9793034,0.00941573,0.00001676838],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1590314,0.001349734,0.8072295,0.0007093995,0.0001203306,0.00008443458,0.0001843538,0.0007563648,0.03053446],"genre_scores_gemma":[0.8492186,0.0006164968,0.1371313,0.0002965022,0.0001353307,0.0001449265,0.0003765507,0.0002514278,0.01182878],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002641285,"threshold_uncertainty_score":0.00998491,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02542242488827532,"score_gpt":0.2948909800593444,"score_spread":0.269468555171069,"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."}}