{"id":"W4253264062","doi":"10.4018/978-1-4666-0261-8.ch019","title":"The Formal Design Model of a Lift Dispatching System (LDS)","year":2012,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Lift (data mining); Software engineering; Process calculus; Formal specification; Process (computing); Formal verification; Software deployment; Formal methods; Programming language; Systems engineering; Engineering","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000710973,0.0003938718,0.0004250535,0.00004023755,0.0003704632,0.0001652549,0.001354933,0.0002730489,4.238363e-7],"category_scores_gemma":[0.00001435319,0.0002927782,0.0002730855,0.00002417149,0.0000995547,0.0001182466,0.0009421057,0.0003741584,0.00003471164],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000154062,"about_ca_system_score_gemma":0.000221673,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002128323,"about_ca_topic_score_gemma":0.00001377359,"domain_scores_codex":[0.9979259,0.00006548834,0.0004875736,0.0004185283,0.0004900948,0.0006124335],"domain_scores_gemma":[0.9981363,0.0002917537,0.000429041,0.0007733692,0.0002040412,0.0001655189],"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.00001725245,0.000004018184,0.000002123744,0.00003414716,0.00005787175,0.000005694577,0.0001143527,0.001110076,0.000002102073,0.8757507,0.0003088104,0.1225929],"study_design_scores_gemma":[0.0003088871,0.0001039823,0.000008257285,0.001177433,0.00009772349,0.0000744293,0.00001240771,0.7946265,0.00003600549,0.2010892,0.001874755,0.0005903799],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00001597542,0.000974327,0.5671636,0.00001351818,0.0004298896,0.0002147345,0.00001280515,0.0001412419,0.4310338],"genre_scores_gemma":[0.9785326,0.00001374295,0.01073908,0.0001201089,0.0004623376,0.00001516104,8.885617e-7,0.00003701032,0.01007908],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9785166,"threshold_uncertainty_score":0.9999524,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0329143054245521,"score_gpt":0.2313298798637254,"score_spread":0.1984155744391733,"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."}}