{"id":"W2011276709","doi":"10.1142/s0129054114400152","title":"DESCRIPTIONAL COMPLEXITY IN ENCODED BLUM STATIC COMPLEXITY SPACES","year":2014,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Prince Edward Island","funders":"","keywords":"Axiom; Mathematics; Descriptive complexity theory; Complexity class; Quantum complexity theory; Discrete mathematics; Theoretical computer science; Computer science; Time complexity; Quantum; Quantum information","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.002972306,0.0007251495,0.0009850763,0.002607311,0.001654482,0.006085152,0.001663251,0.001698491,0.003793144],"category_scores_gemma":[0.01570838,0.0005323328,0.002159795,0.002625768,0.00653384,0.01465447,0.004253924,0.004437336,0.0004773305],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004360446,"about_ca_system_score_gemma":0.001602187,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001565126,"about_ca_topic_score_gemma":0.0007359781,"domain_scores_codex":[0.9943218,0.001491333,0.0005095956,0.0009795828,0.002046987,0.0006507455],"domain_scores_gemma":[0.9847007,0.009560692,0.001080588,0.002433602,0.001716777,0.0005076837],"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.0000142438,0.000008404549,0.0001928001,0.00003112949,0.000007407325,0.00003625638,0.0001374339,0.004566379,0.0003079451,0.99125,0.0002085928,0.003239434],"study_design_scores_gemma":[0.000004061798,0.00001316274,0.0001121515,0.00001349896,0.000008113078,0.00004754444,0.00004690255,0.02464475,0.0006695832,0.9726709,0.001753775,0.00001551042],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1044175,0.001032186,0.8695471,0.002094779,0.00009657787,0.00009144149,0.0007853964,0.0003590686,0.02157596],"genre_scores_gemma":[0.8758289,0.0009425979,0.1135883,0.0005418439,0.0002349683,0.0003389789,0.001063989,0.000156799,0.007303698],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006085152,"threshold_uncertainty_score":0.03163743,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07310804458958418,"score_gpt":0.3313958711123309,"score_spread":0.2582878265227467,"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."}}