{"id":"W2170762092","doi":"10.1109/ccece.2001.933582","title":"Simulation of switching cells by programming by constraints","year":2002,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Constraint programming; Simple (philosophy); Constraint (computer-aided design); Mathematical optimization; Distributed computing; Mathematics; Stochastic programming","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.0001115404,0.00008756645,0.0001014846,0.00004348688,0.00002533714,0.00004180548,0.0003326606,0.00004793318,0.00003611989],"category_scores_gemma":[0.000005640702,0.00008578748,0.00003023881,0.0001395532,0.00002137765,0.0002549797,0.00006964883,0.00007242931,0.000007617945],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001921256,"about_ca_system_score_gemma":0.000003415324,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001183364,"about_ca_topic_score_gemma":1.76631e-7,"domain_scores_codex":[0.9992915,0.00001428373,0.0001814892,0.0001881579,0.000169957,0.0001545801],"domain_scores_gemma":[0.9995216,0.00006989691,0.00005908528,0.0002639369,0.00004033174,0.00004514872],"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":[3.396743e-7,0.00008370094,0.00009531002,0.00002231298,0.000009585834,0.00000145483,0.0004618539,0.02629239,0.03484988,0.009822958,0.004835444,0.9235248],"study_design_scores_gemma":[0.00006670432,0.00002877553,0.000001946468,0.00001452942,0.000001293472,7.137523e-7,9.55466e-7,0.9343303,0.04759077,0.0000822599,0.01778118,0.0001005567],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002455587,0.00004620464,0.9963009,0.00004372342,0.00004549365,0.0001329233,0.000001715232,0.0007030512,0.000270427],"genre_scores_gemma":[0.559839,0.000001821524,0.4400489,0.00001956865,0.000003344278,0.000003515718,6.723e-7,0.00000441937,0.00007877213],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9234242,"threshold_uncertainty_score":0.3498312,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01324150206669866,"score_gpt":0.2266014448659597,"score_spread":0.213359942799261,"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."}}