{"id":"W2154561813","doi":"10.1109/ftcs.1988.5334","title":"GEMINI-a logic system for fault diagnosis based on set functions","year":2003,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Set (abstract data type); Fault (geology); Inverse; Algorithm; Logic gate; Value (mathematics); Computer science; Image (mathematics); Artificial intelligence; Mathematics; Theoretical computer science; Programming language; Machine learning","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.000270008,0.0001022337,0.0001114686,0.00007504623,0.0002177941,0.0001024591,0.0002665405,0.0000443299,0.0000278557],"category_scores_gemma":[0.0002260338,0.00008221665,0.00007983195,0.0002787498,0.00001064924,0.0001087284,0.00001504237,0.00005598958,0.0001418619],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004756152,"about_ca_system_score_gemma":0.00004798497,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001014868,"about_ca_topic_score_gemma":0.000004101341,"domain_scores_codex":[0.999123,0.00004394349,0.0001488397,0.0003094803,0.000135053,0.0002396664],"domain_scores_gemma":[0.9989082,0.0005540281,0.00004589598,0.0003465381,0.00006924399,0.00007611141],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[8.644595e-7,0.0003756723,0.01976147,0.0002528,0.00003804468,0.00003947442,0.0001933341,0.02107551,0.0002783909,0.7843415,0.05259028,0.1210527],"study_design_scores_gemma":[0.001227945,0.000607954,0.001010304,0.0001927536,0.00003226819,0.00003528667,0.0003826819,0.9492609,0.004322163,0.001808673,0.04046807,0.0006509817],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009588112,0.00001645428,0.9491117,0.000344127,0.0003921625,0.0001765818,0.000007052352,0.0003779445,0.04861514],"genre_scores_gemma":[0.9911909,4.381999e-7,0.006903873,0.001049245,0.00004430265,0.0001473244,0.000004033949,0.000006448296,0.0006534795],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9902321,"threshold_uncertainty_score":0.3352698,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05288414113629124,"score_gpt":0.2599833745893727,"score_spread":0.2070992334530814,"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."}}