{"id":"W2108685822","doi":"10.1109/ccece.2005.1557171","title":"A dynamic extension of the asynchronous weak-commitment search algorithm","year":2006,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Computer science; Asynchronous communication; Extension (predicate logic); Constraint (computer-aided design); Constraint satisfaction problem; Dynamic problem; Algorithm; Constraint satisfaction; Distributed computing; Mathematics; Artificial intelligence","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.0001111678,0.0000563178,0.00006269219,0.00004595402,0.0000814545,0.00003177603,0.0002375784,0.00002547438,0.00006357318],"category_scores_gemma":[0.000003624644,0.00003742691,0.00004537312,0.0002360221,0.00004275096,0.000106375,0.0001224093,0.00005388328,0.00001487081],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004847146,"about_ca_system_score_gemma":0.00005279951,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002492938,"about_ca_topic_score_gemma":0.0001059744,"domain_scores_codex":[0.9993548,0.00004175019,0.0001389974,0.0001510966,0.0002074131,0.0001059606],"domain_scores_gemma":[0.9995068,0.00002499562,0.00003871753,0.0003416858,0.00006859868,0.00001925799],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001218438,0.0001003358,0.001172896,0.000005399981,0.000007264011,0.000001553295,0.00008994111,0.01297883,0.001773032,0.05049957,0.0006685433,0.9327014],"study_design_scores_gemma":[0.0001832445,0.00002146536,0.07041913,0.000007827767,0.000002134042,0.00001536918,0.00002376873,0.9263122,0.001592949,0.001045165,0.0003159822,0.00006074051],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004022056,0.00002262944,0.9834309,0.001155337,0.0001892181,0.0001407911,0.000001111522,0.00006046746,0.01097745],"genre_scores_gemma":[0.7832327,0.000006660902,0.2152914,0.00008601211,0.000007894589,0.000002957886,0.000001513025,0.000003175314,0.001367692],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9326407,"threshold_uncertainty_score":0.1526225,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007167076469041336,"score_gpt":0.2284214677379135,"score_spread":0.2212543912688722,"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."}}