{"id":"W2030552895","doi":"10.1007/s00224-007-1325-3","title":"Algorithms in the W-Hierarchy","year":2007,"lang":"en","type":"article","venue":"Theory of Computing Systems","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Hierarchy; Intersection (aeronautics); Mathematical proof; Extension (predicate logic); Set (abstract data type); Mathematics; Upper and lower bounds; Algorithm; Computer science; State (computer science); Discrete mathematics; Finite-state machine; Combinatorics; Theoretical computer science; Programming language; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002377224,0.0007417723,0.001736294,0.002683269,0.002649887,0.005509336,0.002667733,0.00181692,0.0111618],"category_scores_gemma":[0.01162551,0.000851863,0.001447891,0.004408278,0.003262205,0.01513242,0.003715116,0.003941942,0.002042321],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003237151,"about_ca_system_score_gemma":0.002019197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005127763,"about_ca_topic_score_gemma":0.005264961,"domain_scores_codex":[0.9974855,0.0007389062,0.0001688534,0.0004709523,0.0006455022,0.0004901767],"domain_scores_gemma":[0.9938954,0.003472807,0.0003674645,0.001168088,0.0006246234,0.0004716987],"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.00003856732,0.00002696801,0.000219393,0.00008048942,0.000015306,0.00002439393,0.0001523505,0.002142381,0.0002641765,0.9721657,0.003535033,0.02133528],"study_design_scores_gemma":[0.0000141518,0.000007329802,0.00007819015,0.00001582587,0.0000072476,0.00002424122,0.00003820046,0.009977609,0.0001257051,0.9868171,0.00288894,0.000005509016],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1013794,0.00585195,0.7785617,0.008783959,0.0004275225,0.0001576764,0.0006432518,0.001388681,0.1028059],"genre_scores_gemma":[0.6354263,0.004186235,0.3117497,0.002076008,0.000823997,0.0003140044,0.001025518,0.0007030076,0.04369526],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0111618,"threshold_uncertainty_score":0.03733993,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0302898493409319,"score_gpt":0.3155309478931336,"score_spread":0.2852410985522017,"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."}}