{"id":"W2565232885","doi":"10.1007/s00037-007-0229-6","title":"The Complexity of Membership Problems for Circuits Over Sets of Natural Numbers","year":2007,"lang":"en","type":"article","venue":"Computational Complexity","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Concatenation (mathematics); Natural number; Intersection (aeronautics); Computer science; Discrete mathematics; Set (abstract data type); Integer (computer science); Prime (order theory); Electronic circuit; Range (aeronautics); Mathematics; Time complexity; Computational complexity theory; Circuit complexity; Combinatorics; Algorithm","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":[],"consensus_categories":[],"category_scores_codex":[0.001760705,0.0002590713,0.0004226683,0.0001629573,0.0005642123,0.00008639407,0.001629072,0.00007614165,0.0000215027],"category_scores_gemma":[0.0001754681,0.000220498,0.0003315952,0.0007932011,0.001835988,0.0003186506,0.0003746812,0.0002607463,0.000003499385],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007735688,"about_ca_system_score_gemma":0.000159841,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001177635,"about_ca_topic_score_gemma":0.0003347872,"domain_scores_codex":[0.9971259,0.0001305651,0.0008966723,0.0004753692,0.000842302,0.0005292429],"domain_scores_gemma":[0.9958675,0.002036728,0.0005771206,0.0005911475,0.0007972124,0.0001303184],"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.00004384345,0.0001642515,0.000875643,0.0001280416,0.00008984433,0.000001270076,0.0005792422,0.002133616,0.0001320534,0.9847183,0.0006320414,0.01050183],"study_design_scores_gemma":[0.0007228992,0.0001028703,0.07882291,0.00003998337,0.00001030578,0.00001652312,0.00004173983,0.192172,0.0004967083,0.7264822,0.0008757829,0.0002161941],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08614844,0.0003859177,0.9075696,0.001005434,0.001180341,0.0009573356,0.0001284472,0.0001496603,0.002474851],"genre_scores_gemma":[0.8946477,0.000002133777,0.1050265,0.0001402579,0.00006746224,0.00001267927,0.00005627607,0.00001310583,0.0000338701],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8084993,"threshold_uncertainty_score":0.8991646,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09899804868414189,"score_gpt":0.3208446374831788,"score_spread":0.2218465887990369,"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."}}