{"id":"W3046061437","doi":"10.1145/3373207.3404058","title":"On the bit complexity of finding points in connected components of a smooth real hypersurface","year":2020,"lang":"en","type":"article","venue":"","topic":"Advanced Numerical Analysis Techniques","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Hypersurface; Computation; Connected component; Point (geometry); Algebraic number; Component (thermodynamics); Mathematics; Bit (key); Upper and lower bounds; Topology (electrical circuits); Computer science; Algorithm; Discrete mathematics; Combinatorics; Pure mathematics; Geometry; Mathematical analysis; Physics","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.00006765649,0.00008664421,0.0002633023,0.00004461592,0.00001058536,0.000002137444,0.0001506184,0.0000311397,0.0001200564],"category_scores_gemma":[0.00008536625,0.00006198323,0.00004926804,0.0004111256,0.00007091889,0.00003022819,0.00003588189,0.0001262852,0.000005554178],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000261949,"about_ca_system_score_gemma":0.000002148634,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001854878,"about_ca_topic_score_gemma":0.00002247959,"domain_scores_codex":[0.9993863,0.0000338838,0.0002437278,0.00009812623,0.0001333834,0.0001045418],"domain_scores_gemma":[0.9995822,0.0001888905,0.00004638747,0.0001297736,0.00002057448,0.00003217177],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001742262,0.0002702804,0.009531912,0.0001983609,0.0001756953,0.000007411597,0.001324299,0.04928368,0.8885717,0.04818948,0.001224859,0.00104806],"study_design_scores_gemma":[0.0007307489,0.0002676185,0.03698638,0.0001294829,0.00002611267,4.260499e-7,0.0003322181,0.5301477,0.4213487,0.00949229,0.0002108341,0.0003275804],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9847374,0.000007945181,0.01044808,0.0005744461,0.000007139114,0.0001118098,0.000009323601,0.0001579802,0.003945878],"genre_scores_gemma":[0.9933106,0.00001403907,0.006548625,0.0001019206,0.000002832032,0.000002611571,0.000004855522,0.00001107042,0.000003458067],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.480864,"threshold_uncertainty_score":0.2527603,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06732592902197937,"score_gpt":0.2659904402331414,"score_spread":0.1986645112111621,"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."}}