{"id":"W1993257941","doi":"10.4018/jssci.2009062506","title":"The Formal Design Model of a Lift Dispatching System (LDS)","year":2009,"lang":"en","type":"article","venue":"International Journal of Software Science and Computational Intelligence","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Lift (data mining); Software engineering; Formal specification; Process (computing); Formal methods; Process calculus; Formal verification; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00240466,0.0001169911,0.0001513118,0.0002443444,0.0003937978,0.0003845757,0.002043685,0.0000287215,4.658726e-7],"category_scores_gemma":[0.000540898,0.00008257501,0.00007736002,0.0004497762,0.0003284333,0.001173339,0.0002536715,0.000198712,0.000001724401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009903254,"about_ca_system_score_gemma":0.0006159956,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003594226,"about_ca_topic_score_gemma":5.610383e-7,"domain_scores_codex":[0.9974383,0.00005251228,0.0005914042,0.0002116441,0.001467421,0.0002387825],"domain_scores_gemma":[0.9949229,0.0009052185,0.0005135781,0.0001240374,0.003419399,0.0001148858],"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.00003248355,0.00003028761,0.00007569475,0.000002476046,0.00001587302,0.000008879006,0.000463188,0.478349,0.00006135135,0.08791643,0.00003847603,0.4330058],"study_design_scores_gemma":[0.00009138523,0.0001718192,0.001054172,0.0001791221,0.000004708307,0.0002404145,0.0001184381,0.9323377,0.0006433338,0.06504823,0.00002161262,0.0000890482],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01043006,0.0003235877,0.9876335,0.0008470205,0.0005734434,0.00006541542,0.000001721532,0.00002676796,0.00009846351],"genre_scores_gemma":[0.8526099,0.0000585095,0.1469875,0.0002455552,0.00008781724,7.530423e-7,2.412063e-7,0.000002430017,0.00000730901],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8421798,"threshold_uncertainty_score":0.3797709,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02833677743511624,"score_gpt":0.2880410373026829,"score_spread":0.2597042598675667,"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."}}