{"id":"W2034971381","doi":"10.5555/1894483.1894501","title":"Symbolic domain decomposition","year":2010,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University; McMaster University","funders":"","keywords":"Domain (mathematical analysis); Mathematics; The Symbolic; Symbolic trajectory evaluation; Function (biology); Theoretical computer science; Domain theory; Algebra over a field; Exponential function; Computer science; Discrete mathematics; Algorithm; Pure mathematics; Model checking","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.000120243,0.00007034875,0.00006249826,0.0000671032,0.000036745,0.00006415201,0.0005200154,0.0000520978,0.00002945478],"category_scores_gemma":[0.000001284595,0.0000646943,0.00002886747,0.0001242293,0.00001286473,0.0002411394,0.0001207991,0.0001386396,0.00006480629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001000956,"about_ca_system_score_gemma":0.00001164584,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001101594,"about_ca_topic_score_gemma":0.000006185709,"domain_scores_codex":[0.9994874,0.000008752071,0.00008592325,0.000173154,0.0001084122,0.0001363506],"domain_scores_gemma":[0.9994103,0.0000150955,0.00001571363,0.0004724642,0.00002772186,0.00005868099],"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":[1.950771e-7,0.0000115785,0.000109368,0.000001524766,0.000001565676,0.000002755143,0.00006270095,0.00001395378,0.03058631,0.9472191,0.0007042595,0.02128664],"study_design_scores_gemma":[0.0004005672,0.0001255777,0.01049454,0.00002506551,0.000004451391,0.0002318208,0.000001406349,0.1742529,0.2215433,0.1753349,0.4167142,0.0008712705],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04922046,0.000002762525,0.94591,0.0003393077,0.00024167,0.00006415284,2.553967e-7,0.001713274,0.002508135],"genre_scores_gemma":[0.3227341,5.956455e-7,0.6770532,0.000102307,0.00002989012,0.00001068748,6.042362e-7,0.000004278623,0.00006432833],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7718842,"threshold_uncertainty_score":0.2638157,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004179120029137386,"score_gpt":0.240422482380193,"score_spread":0.2362433623510556,"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."}}