{"id":"W2146578043","doi":"10.1007/978-3-642-39310-5_1","title":"Blum Static Complexity and Encoding Spaces","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Prince Edward Island","funders":"","keywords":"Axiom; Computer science; Connection (principal bundle); Descriptive complexity theory; Theoretical computer science; Computational complexity theory; Discrete mathematics; Algorithm; Mathematics","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.001645226,0.0007512223,0.0008657842,0.002349991,0.001856071,0.004758616,0.001537381,0.002051801,0.0174398],"category_scores_gemma":[0.01115313,0.0006796573,0.0009633339,0.004845798,0.005185084,0.01521658,0.002472576,0.005470175,0.002203723],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004542443,"about_ca_system_score_gemma":0.001264366,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001517113,"about_ca_topic_score_gemma":0.001201767,"domain_scores_codex":[0.9981134,0.0006453255,0.00009805981,0.0002762452,0.0006452497,0.0002217795],"domain_scores_gemma":[0.9939802,0.004337222,0.0002652798,0.0008987734,0.0003908274,0.0001278254],"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.000007311779,0.0000055391,0.00005380112,0.0000220792,0.000002357989,0.000009116778,0.00006043262,0.0009647046,0.0000514305,0.9901603,0.002071758,0.006591135],"study_design_scores_gemma":[0.000001133525,0.000001200867,0.00002962708,0.000008542425,0.000001861762,0.00001292657,0.00001355691,0.001131379,0.00006186932,0.9964501,0.002285351,0.000002449692],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0653935,0.01581781,0.3973544,0.02418372,0.0007066658,0.00007525084,0.001109699,0.0006978085,0.4946611],"genre_scores_gemma":[0.8562242,0.009494033,0.05358926,0.001833863,0.001689894,0.0002659506,0.001308682,0.0004981527,0.07509591],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0174398,"threshold_uncertainty_score":0.05834198,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03587567426354848,"score_gpt":0.2571888878426765,"score_spread":0.221313213579128,"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."}}