{"id":"W2115752710","doi":"10.1109/ipdps.2004.1303186","title":"An executable model for a family of election algorithms","year":2004,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Executable; Computer science; Semantics (computer science); Generator (circuit theory); Algorithm; Feature model; Programming language; Chart; Feature (linguistics); State (computer science); Identification (biology); Generative model; Theoretical computer science; Artificial intelligence; Generative grammar; Software; Mathematics; Power (physics)","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.000794205,0.000571515,0.0003053856,0.0005763401,0.0004463398,0.001057013,0.0008307109,0.0008079397,0.006224651],"category_scores_gemma":[0.002431158,0.0002691197,0.001037506,0.0003296215,0.001033302,0.001209908,0.0005107737,0.0009410532,0.0008922848],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001003354,"about_ca_system_score_gemma":0.0009669449,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00203013,"about_ca_topic_score_gemma":0.001581508,"domain_scores_codex":[0.9993285,0.0001569782,0.00004767017,0.0001485727,0.0002399011,0.00007842],"domain_scores_gemma":[0.998845,0.0006452783,0.00009523139,0.0002097799,0.0001671793,0.00003753757],"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.00009037616,0.0000814513,0.001277781,0.0001198045,0.00002506159,0.0007278461,0.0005188177,0.3221657,0.009396505,0.6286607,0.002362085,0.03457385],"study_design_scores_gemma":[0.00003332441,0.00007038574,0.0002563793,0.00003243519,0.00002656377,0.0002117708,0.00004829097,0.8418795,0.007975335,0.1306782,0.01876661,0.00002122398],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02445977,0.00003966775,0.9652995,0.0001850197,0.00001820294,0.0001177274,0.0002768227,0.002224696,0.00737851],"genre_scores_gemma":[0.5390785,0.0002130636,0.4449716,0.0001264575,0.00003760345,0.000709122,0.001259986,0.0008166872,0.01278706],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006224651,"threshold_uncertainty_score":0.0208236,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0573499967782331,"score_gpt":0.3246593714896385,"score_spread":0.2673093747114054,"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."}}