{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005462331,0.001793548,0.001421116,0.002269605,0.001617444,0.005752804,0.00299392,0.002095876,0.008387422],"category_scores_gemma":[0.0253039,0.0009010221,0.004278188,0.00364725,0.00481719,0.01536379,0.005061693,0.01149205,0.001080571],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005727384,"about_ca_system_score_gemma":0.002941654,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00454688,"about_ca_topic_score_gemma":0.002931993,"domain_scores_codex":[0.9942341,0.001409351,0.0004535414,0.00139249,0.001896413,0.0006139207],"domain_scores_gemma":[0.9796326,0.01579832,0.0008574394,0.002129741,0.001147529,0.0004344202],"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.0001483493,0.0001205562,0.0004912469,0.0005667887,0.00007648655,0.0002052974,0.0003982577,0.07249,0.001009521,0.8745676,0.009050229,0.04087568],"study_design_scores_gemma":[0.00002342596,0.00002925074,0.0001248529,0.00007339007,0.00004513534,0.0001235597,0.00007890406,0.09041149,0.0009824832,0.9009048,0.007178755,0.00002384079],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01864998,0.002428743,0.9397362,0.009919875,0.0003199263,0.0002384643,0.001203892,0.0008697336,0.02663315],"genre_scores_gemma":[0.4505309,0.006229715,0.5177117,0.003589211,0.001646605,0.0006467493,0.003337518,0.0007910064,0.01551662],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008387422,"threshold_uncertainty_score":0.04155523,"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."}}