{"id":"W4386469568","doi":"10.32388/695w2l","title":"Review of: \"Formal Verification of a Change Control Process in Project Management\"","year":2023,"lang":"en","type":"peer-review","venue":"","topic":"Economic and Technological Systems Analysis","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Process management; Process (computing); Control (management); Computer science; Software engineering; Business; Programming language; Artificial intelligence","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.02198484,0.000686614,0.001343427,0.006318022,0.002117814,0.004808495,0.003762213,0.005665853,0.01592919],"category_scores_gemma":[0.1216435,0.0004197807,0.0008914511,0.004172118,0.003300031,0.00396704,0.00236412,0.002923668,0.01190225],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004000162,"about_ca_system_score_gemma":0.01862956,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01123444,"about_ca_topic_score_gemma":0.02085118,"domain_scores_codex":[0.9786046,0.004095974,0.001906224,0.0009516894,0.01382986,0.0006116575],"domain_scores_gemma":[0.7719707,0.05653006,0.005139153,0.006953141,0.1562692,0.003137674],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003344591,0.00002125518,0.0000816747,0.0011206,0.00001816376,0.00005189698,0.00006713452,0.0001643832,0.0001884322,0.004660268,0.9223247,0.07126808],"study_design_scores_gemma":[0.00001931841,0.00003775445,0.0008784019,0.001493062,0.00003973573,0.00008159263,0.0000594987,0.0004137083,0.0005656721,0.002655411,0.9937323,0.00002354669],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"review","genre_scores_codex":[0.001864632,0.08548111,0.02239009,0.4085764,0.4154027,0.0008685931,0.001805358,0.001176795,0.06243435],"genre_scores_gemma":[0.0406369,0.2369572,0.02617208,0.162514,0.2888816,0.001267049,0.005941829,0.001746252,0.2358831],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.02198484,"threshold_uncertainty_score":0.1162683,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0978462180534877,"score_gpt":0.3091462068649133,"score_spread":0.2112999888114256,"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."}}