{"id":"W2027835682","doi":"10.1109/noms.2012.6212037","title":"ValidMaker: A tool for managing device configurations using logical constraints","year":2012,"lang":"en","type":"article","venue":"","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal; Université du Québec à Chicoutimi","funders":"","keywords":"Computer science; Constraint (computer-aided design); Set (abstract data type); Simple (philosophy); Point (geometry); Distributed computing; Network management; Algorithm; Programming language; Theoretical computer science; Computer network; Engineering; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004986524,0.002024992,0.0009827104,0.002639249,0.001201401,0.003943902,0.004413961,0.001762458,0.02180715],"category_scores_gemma":[0.014294,0.001842123,0.001486799,0.001187337,0.001890277,0.005724772,0.003096254,0.002905935,0.003331911],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001468325,"about_ca_system_score_gemma":0.003578675,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004132555,"about_ca_topic_score_gemma":0.006472167,"domain_scores_codex":[0.9969231,0.0009108557,0.0003626983,0.0004618279,0.001087493,0.0002539255],"domain_scores_gemma":[0.9910457,0.006374485,0.0006566018,0.001200922,0.0005858751,0.0001364334],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0009618105,0.0005370171,0.00620331,0.003308465,0.0003282436,0.00232897,0.001525444,0.1910365,0.03591713,0.2163105,0.09746534,0.4440773],"study_design_scores_gemma":[0.0002987775,0.0001767818,0.000635152,0.0004846388,0.0001004802,0.001044363,0.0002183568,0.7203493,0.06198289,0.08556276,0.1289055,0.0002410104],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.004123368,0.0001192426,0.9109326,0.0001761816,0.00005326389,0.0002781868,0.001385355,0.07874189,0.004189951],"genre_scores_gemma":[0.1445941,0.0004520891,0.8196206,0.0005657242,0.00005373628,0.001229857,0.005719301,0.01857481,0.009189737],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.02180715,"threshold_uncertainty_score":0.07295221,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06380408328905551,"score_gpt":0.3158605471432418,"score_spread":0.2520564638541863,"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."}}