{"id":"W2089886783","doi":"10.1016/j.tcs.2014.02.029","title":"Exhaustive generation of atomic combinatorial differential operators","year":2014,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Analytical Chemistry and Chromatography","field":"Chemistry","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Chicoutimi; Université du Québec à Montréal","funders":"","keywords":"sort; Generalization; Operator (biology); Mathematics; Differential (mechanical device); Differential operator; Discrete mathematics; Combinatorics; Algorithm; Computer science; Pure mathematics; Arithmetic; Chemistry; Physics; Mathematical analysis","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.0002446207,0.0001367786,0.0002064455,0.00004116053,0.0001693691,0.00006689305,0.0005460538,0.00007970247,0.0007813873],"category_scores_gemma":[0.00005740374,0.000112375,0.00008484974,0.0002795738,0.002786734,0.00009465386,0.0002008068,0.000144373,0.00001236121],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002419594,"about_ca_system_score_gemma":0.00004143091,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000145144,"about_ca_topic_score_gemma":5.262026e-8,"domain_scores_codex":[0.9986787,0.00001851684,0.0002413544,0.0003643479,0.0004272953,0.0002697308],"domain_scores_gemma":[0.9992203,0.00007861895,0.00005815836,0.0003294078,0.0001314579,0.0001821035],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001511984,0.00007056141,0.0002957069,0.00002110103,0.000007036218,6.261499e-7,0.00004393566,0.00001297685,0.1880683,0.8108038,0.00002167154,0.0006391601],"study_design_scores_gemma":[0.0004008219,0.00005167323,0.000110637,0.0000214633,0.00001923354,0.0000036295,0.000006006042,0.2043126,0.7643868,0.03050371,0.00003068806,0.0001527379],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8847353,0.000003088537,0.1069917,0.00002905298,0.0002398286,0.00002142382,0.000002750915,0.00004253482,0.007934334],"genre_scores_gemma":[0.9983876,9.37411e-7,0.001032437,0.00003174169,0.0005267664,0.000002106552,0.000005423058,0.000006800985,0.000006203976],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7803001,"threshold_uncertainty_score":0.9999271,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007786497966708939,"score_gpt":0.22595117613909,"score_spread":0.218164678172381,"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."}}