{"id":"W3123452453","doi":"","title":"Computing the Homology of Basic Semialgebraic Sets in Weak Exponential Time","year":2017,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Topological and Geometric Data Analysis","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Exponential growth; Exponential function; Betti number; Homology (biology); Mathematics; Torsion (gastropod); Time complexity; Discrete mathematics; Algorithm; Computer science; 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":[],"consensus_categories":[],"category_scores_codex":[0.004433646,0.00012646,0.0002557089,0.0001890129,0.0005210034,0.000297063,0.003459297,0.00008464041,0.0001076363],"category_scores_gemma":[0.001955108,0.00009688878,0.0001171494,0.0006064911,0.0003795197,0.000284743,0.001661289,0.0002106915,0.00006590125],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002447079,"about_ca_system_score_gemma":0.00006067129,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001299195,"about_ca_topic_score_gemma":0.0006147341,"domain_scores_codex":[0.9965183,0.002158455,0.0003650227,0.0004172404,0.0002656182,0.0002754109],"domain_scores_gemma":[0.9953209,0.001432826,0.0004280142,0.002354774,0.0003915444,0.00007199852],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00001159835,0.0008937165,0.02665954,0.00003205977,0.0001029134,0.00002240575,0.005880932,0.0000888605,0.00671472,0.5284224,0.002152119,0.4290188],"study_design_scores_gemma":[0.002449035,0.000004491514,0.5969458,0.0006110948,0.00007730615,0.00007005219,0.0001995318,0.279947,0.05887883,0.04174717,0.01811463,0.0009551194],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6449142,0.00038881,0.298624,0.02448517,0.0001764924,0.0002004058,0.00001711039,0.0001028467,0.03109104],"genre_scores_gemma":[0.9849186,0.00004560313,0.01294385,0.00006965655,0.000009780334,0.000004427576,0.00002219716,0.000005347081,0.00198054],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5702862,"threshold_uncertainty_score":0.6428292,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01260257817604575,"score_gpt":0.2318496813916548,"score_spread":0.2192471032156091,"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."}}