{"id":"W2257535843","doi":"10.1007/s10601-016-9238-x","title":"ℚ-bounds consistency for the spread constraint with variable mean","year":2016,"lang":"en","type":"article","venue":"Constraints","topic":"Data Management and Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Variable (mathematics); Constraint (computer-aided design); Mathematics; Consistency (knowledge bases); Piecewise; Local consistency; Algorithm; Extension (predicate logic); Function (biology); Mathematical optimization; Computer science; Constraint satisfaction; Statistics; Discrete mathematics","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.0005070493,0.0001648075,0.0001528407,0.00005126697,0.0002558964,0.0002783721,0.001106336,0.00003699548,0.0001737134],"category_scores_gemma":[0.00006165702,0.00007975278,0.00005356769,0.0001902197,0.0009453857,0.0005043526,0.0001966032,0.00005774721,0.00007447895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002651942,"about_ca_system_score_gemma":0.0001768456,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007142566,"about_ca_topic_score_gemma":0.00001035009,"domain_scores_codex":[0.9987509,0.00002885423,0.0001979612,0.0004149356,0.0002150953,0.000392292],"domain_scores_gemma":[0.9984195,0.000493224,0.00009347409,0.0007867177,0.0001177899,0.00008927445],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000005609952,0.00002313554,0.0001071568,0.000008270927,0.00007170172,0.000008863103,0.00009663569,6.149639e-7,0.0002376738,0.6817101,0.002773257,0.314957],"study_design_scores_gemma":[0.0102342,0.0009391521,0.001934948,0.000665019,0.0002281702,0.0004571444,0.001538137,0.007299779,0.002356908,0.1972211,0.7752082,0.001917228],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002302779,0.00004613151,0.9656271,0.004382416,0.0004273459,0.000475702,0.00008438432,0.0001393458,0.02858725],"genre_scores_gemma":[0.7207054,0.00002713724,0.274279,0.001325716,0.000188787,0.0001613725,0.00001142901,0.00002307321,0.003278055],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.772435,"threshold_uncertainty_score":0.3483313,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02114691847701545,"score_gpt":0.2322014977262077,"score_spread":0.2110545792491923,"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."}}