{"id":"W4416875187","doi":"10.1109/qce65121.2025.00247","title":"Identifying Protein Co-Regulatory Network Logic by Solving B-Sat Problems Through Gate-Based Quantum Computing","year":2025,"lang":"","type":"article","venue":"","topic":"Gene Regulatory Network Analysis","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Context (archaeology); Heuristic; Constraint satisfaction problem; Boolean satisfiability problem; Domain (mathematical analysis); Constraint (computer-aided design); Quantum computer; Computational complexity theory","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.000853695,0.0005243139,0.000675294,0.0006147001,0.0006039425,0.001062897,0.001156324,0.001081278,0.003365875],"category_scores_gemma":[0.003290614,0.0004541568,0.0009854415,0.0005260076,0.001667201,0.001402686,0.0009987174,0.001978793,0.0003570712],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001330759,"about_ca_system_score_gemma":0.001657557,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005753006,"about_ca_topic_score_gemma":0.008815429,"domain_scores_codex":[0.9996451,0.000115773,0.00001325839,0.00006595169,0.0001087493,0.00005108785],"domain_scores_gemma":[0.9983575,0.001314259,0.00008986668,0.0001234878,0.00007270224,0.00004214956],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004916477,0.00006934097,0.000869897,0.00008190515,0.00002804532,0.00009353308,0.00006707695,0.8685356,0.00351164,0.1123832,0.0008677501,0.01344273],"study_design_scores_gemma":[0.000005199267,0.000005129264,0.00003768334,0.000002392752,0.000001590574,0.000004460897,0.00000673549,0.9744952,0.0004199789,0.02482139,0.0001981931,0.000002037328],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1076424,0.0001567119,0.883517,0.0007721012,0.0000402458,0.00008801655,0.0002208325,0.0006068585,0.006955853],"genre_scores_gemma":[0.6535355,0.0002444361,0.3425354,0.0002630843,0.00003818358,0.0002132931,0.000427627,0.0001508053,0.002591677],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005753006,"threshold_uncertainty_score":0.01143903,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01597475607664842,"score_gpt":0.2716584514084316,"score_spread":0.2556836953317831,"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."}}