{"id":"W2949547536","doi":"10.48550/arxiv.1809.10106","title":"Results in Workflow Resiliency: Complexity, New Formulation, and ASP Encoding","year":2018,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Workflow; PSPACE; Hierarchy; Computer science; Theoretical computer science; Polynomial hierarchy; Time complexity; Computational complexity theory; Algorithm; Database","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.0004792385,0.0002978332,0.0003445941,0.0003708919,0.0001937604,0.0001965138,0.001438578,0.0004039189,0.00001669166],"category_scores_gemma":[0.0001566465,0.0003281427,0.00009867061,0.0007372551,0.0001497953,0.0005189109,0.002582292,0.0005908919,0.00006331928],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00020823,"about_ca_system_score_gemma":0.0003050275,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004681386,"about_ca_topic_score_gemma":0.001156397,"domain_scores_codex":[0.9978157,0.0001340314,0.0002911915,0.001236385,0.0001040727,0.0004185898],"domain_scores_gemma":[0.9982153,0.0001622885,0.0002563075,0.0009937031,0.000145093,0.000227364],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001506706,0.0001431413,0.03681515,0.0001003233,0.0000533215,0.0003003268,0.004184996,0.01315033,0.00001953261,0.9357041,0.004483282,0.004894868],"study_design_scores_gemma":[0.00129025,0.0000924277,0.04631748,0.0002659019,0.00002294368,0.00000722452,0.00003809508,0.3678208,0.00005669775,0.5821339,0.001384276,0.0005699741],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3722261,0.0002699913,0.5449552,0.0004130717,0.001163228,0.000575011,0.0000122882,0.0003941174,0.07999098],"genre_scores_gemma":[0.9900579,0.0001411434,0.007007942,0.00005404932,0.0001734546,3.53989e-7,0.00001314799,0.00001113789,0.0025408],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6178318,"threshold_uncertainty_score":0.9999171,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1157985845984097,"score_gpt":0.218463894577814,"score_spread":0.1026653099794042,"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."}}