{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00187323,0.0006204991,0.0003765088,0.0007261989,0.0008149492,0.002588633,0.001182168,0.00121316,0.00480384],"category_scores_gemma":[0.002536991,0.0006487132,0.001257793,0.0004419431,0.003080337,0.002871993,0.001162485,0.001873325,0.001344912],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001678717,"about_ca_system_score_gemma":0.003644122,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003879317,"about_ca_topic_score_gemma":0.002438616,"domain_scores_codex":[0.9984502,0.000379424,0.0001693542,0.0002556641,0.0005900504,0.0001553288],"domain_scores_gemma":[0.9987308,0.0005349936,0.0001382892,0.0002485308,0.0002870197,0.00006024274],"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.00004662931,0.00004410394,0.0003651284,0.0002263515,0.00001652906,0.0004004105,0.000588215,0.03850777,0.008478242,0.9271907,0.002215522,0.02192039],"study_design_scores_gemma":[0.0001491245,0.0002531208,0.0003832723,0.0002869863,0.00008038515,0.0008645379,0.0003788725,0.3093781,0.01954963,0.4508047,0.2177793,0.00009197729],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005576633,0.0001470605,0.9840918,0.0004993377,0.00007898609,0.0001552256,0.0001707547,0.0007864823,0.008493729],"genre_scores_gemma":[0.2317232,0.000680794,0.7497422,0.0004673307,0.0001299438,0.0009509473,0.0007376398,0.000300849,0.01526712],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00480384,"threshold_uncertainty_score":0.01607043,"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."}}