{"id":"W4247118964","doi":"10.1109/vtest.1994.292340","title":"Delay-fault testability preservation of the concurrent decomposition and factorization transformations","year":2002,"lang":"en","type":"article","venue":"","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Testability; Computer science; Test set; Factorization; Design for testing; Algorithm; Set (abstract data type); Boolean function; Theoretical computer science; Mathematics; Artificial intelligence; Programming language; Statistics","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.00005417196,0.00004169382,0.00003886244,0.000005506437,0.0000579604,0.00000695617,0.0000495985,0.00004716763,0.00002048173],"category_scores_gemma":[0.00004063973,0.00002513362,0.00002600392,0.00004627474,0.0000372317,0.000004914729,0.00002592779,0.00002561862,4.024173e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003215452,"about_ca_system_score_gemma":0.000002888489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005203816,"about_ca_topic_score_gemma":0.00000923132,"domain_scores_codex":[0.999665,0.00003625717,0.0001189535,0.0000833813,0.00004470079,0.00005171916],"domain_scores_gemma":[0.9998072,0.00001202757,0.00003781912,0.00007497755,0.0000529947,0.00001495847],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000007250226,0.0001122569,0.05009431,0.00002849471,0.00001275022,2.390806e-8,0.0001342595,0.000162719,0.9282955,0.001072316,0.0002375022,0.01984264],"study_design_scores_gemma":[0.0007442806,0.0005003469,0.2440842,0.00002342618,0.00002935901,0.000007688104,0.00008060279,0.03469421,0.7084458,0.0007217493,0.01043092,0.0002373681],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9641764,0.00009330468,0.03417004,0.000179692,0.00004288734,0.0001248574,0.000007662891,0.000005678414,0.001199445],"genre_scores_gemma":[0.9996328,0.00003798742,0.0001762772,0.00005152485,0.00002010106,0.000002711811,0.0000348649,0.000001411206,0.00004226858],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2198496,"threshold_uncertainty_score":0.1024919,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02117052622376609,"score_gpt":0.2536683733845902,"score_spread":0.2324978471608241,"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."}}