{"id":"W2154942876","doi":"10.1109/sfcs.1991.185387","title":"Size-depth tradeoffs for algebraic formulae","year":2002,"lang":"en","type":"article","venue":"","topic":"Algorithms and Data Compression","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Algebraic number; Omega; Mathematics; Upper and lower bounds; Combinatorics; Discrete mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003507531,0.0008824298,0.0008482262,0.001932406,0.001172685,0.004161851,0.001991664,0.001838883,0.00930894],"category_scores_gemma":[0.04009926,0.001328094,0.001761379,0.002126708,0.002751208,0.01728574,0.004565338,0.003367248,0.0008945687],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003001909,"about_ca_system_score_gemma":0.001617065,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008593869,"about_ca_topic_score_gemma":0.001932591,"domain_scores_codex":[0.9944719,0.001286946,0.0004451217,0.00065555,0.002470309,0.0006701535],"domain_scores_gemma":[0.9503258,0.04029739,0.002550445,0.004368295,0.001847874,0.0006102192],"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.001577063,0.0002753783,0.004088598,0.0009690062,0.0001203168,0.0005048294,0.0008933176,0.06005394,0.0526479,0.6252785,0.01164772,0.2419434],"study_design_scores_gemma":[0.0001966683,0.0003083276,0.001038463,0.0001502149,0.000182493,0.0009304679,0.0002581746,0.2224261,0.03665755,0.7265082,0.01125789,0.000085416],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3220062,0.006104162,0.602926,0.01139168,0.0003525867,0.0003389151,0.0008316739,0.003520515,0.05252836],"genre_scores_gemma":[0.718065,0.003623406,0.2649605,0.00162282,0.0006687396,0.0003491982,0.00076259,0.000898719,0.009049078],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00930894,"threshold_uncertainty_score":0.03114146,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03212410337113941,"score_gpt":0.2412865495128087,"score_spread":0.2091624461416693,"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."}}