{"id":"W1795074296","doi":"10.1109/iscas.1989.100738","title":"System level diagnosis with local constraints","year":2003,"lang":"en","type":"article","venue":"","topic":"Interconnection Networks and Systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Concordia University","funders":"","keywords":"Constraint (computer-aided design); Multiprocessing; Domain (mathematical analysis); Computer science; Ring (chemistry); Fault (geology); Local search (optimization); Local area network; Theoretical computer science; Algorithm; Parallel computing; 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.000917727,0.000494406,0.0007026102,0.00067521,0.0004352711,0.001642291,0.001028898,0.0007860171,0.004044132],"category_scores_gemma":[0.005235642,0.0002897677,0.0005851168,0.0008785755,0.00116682,0.002496911,0.00185201,0.001346522,0.0006263255],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008779131,"about_ca_system_score_gemma":0.001401089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001928082,"about_ca_topic_score_gemma":0.002225959,"domain_scores_codex":[0.9988826,0.0003051347,0.00007767384,0.0002249325,0.0003863654,0.0001232608],"domain_scores_gemma":[0.9975308,0.001365565,0.0002288417,0.0004692751,0.0003192225,0.00008641012],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000369164,0.00009211856,0.002358757,0.0008733185,0.0001045185,0.0008896399,0.0003952409,0.4374629,0.02442454,0.2425797,0.005358266,0.2850918],"study_design_scores_gemma":[0.00004181718,0.0000915727,0.0002597896,0.00005458959,0.00004119801,0.0002861962,0.0000521215,0.8789707,0.013867,0.0992382,0.007069661,0.00002716525],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01317775,0.0004375513,0.9815938,0.0002296982,0.00003825624,0.00005814208,0.0001098959,0.0006765958,0.003678388],"genre_scores_gemma":[0.5591322,0.0007008702,0.4359403,0.000251823,0.00008676318,0.0001557075,0.0003839927,0.000160127,0.003188111],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004044132,"threshold_uncertainty_score":0.013529,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02609648534802966,"score_gpt":0.2146168518373532,"score_spread":0.1885203664893236,"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."}}