{"id":"W2163770137","doi":"10.1109/ictai.2005.77","title":"Improving Lotos simulation using constraint propagation","year":2005,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Computer science; Constraint (computer-aided design); Theoretical computer science; Local consistency; Combinatorial explosion; Distributed computing; Parallel computing; Programming language; Constraint satisfaction problem; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002411091,0.001222714,0.0009697631,0.0008896734,0.00061877,0.001209708,0.001575571,0.0008170938,0.004216257],"category_scores_gemma":[0.009964256,0.0005775245,0.001349906,0.001252632,0.001138589,0.002175966,0.001792542,0.001550009,0.0007106629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00087662,"about_ca_system_score_gemma":0.001694039,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003982605,"about_ca_topic_score_gemma":0.004393855,"domain_scores_codex":[0.9975988,0.001134535,0.0001229074,0.0002426576,0.0007166412,0.0001843313],"domain_scores_gemma":[0.9896904,0.00761616,0.0004198191,0.001266195,0.0008144685,0.0001930415],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001444421,0.0001343279,0.0008664934,0.0001054975,0.00005719432,0.00008136538,0.00007585606,0.9171603,0.006489377,0.0315704,0.0007619818,0.04255273],"study_design_scores_gemma":[0.00001664523,0.00002466871,0.00003169196,0.000004939018,0.000008336984,0.00001053082,0.00000529793,0.9891152,0.003661554,0.006394124,0.0007207164,0.000006253361],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01796544,0.00005547766,0.9780366,0.00009334963,0.00002515439,0.00008853198,0.00005896017,0.00121141,0.002465029],"genre_scores_gemma":[0.4646748,0.0002911437,0.5315049,0.0001528549,0.00003091138,0.0004167813,0.0004897767,0.0005005961,0.001938263],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004216257,"threshold_uncertainty_score":0.01410478,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02246976209853071,"score_gpt":0.2657509892373411,"score_spread":0.2432812271388104,"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."}}