{"id":"W4409891331","doi":"10.12700/aph.22.5.2025.5.5","title":"Design and Implementation of a Laboratory Prototype for Boolean Function Simplification in Real Time","year":2025,"lang":"en","type":"article","venue":"Acta Polytechnica Hungarica","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Function (biology); Boolean function; Programming language; Algorithm","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005782414,0.000769566,0.0006364214,0.0005243529,0.0004134213,0.000909227,0.003672455,0.0008631829,0.02321827],"category_scores_gemma":[0.001353683,0.0003927726,0.0004384757,0.0003828789,0.0004049315,0.001281252,0.0006744032,0.0007815485,0.005622278],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005793563,"about_ca_system_score_gemma":0.0007983039,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007418798,"about_ca_topic_score_gemma":0.0004451991,"domain_scores_codex":[0.9994177,0.0001019568,0.00002791501,0.0001286588,0.0002095845,0.0001142743],"domain_scores_gemma":[0.9991933,0.0001646582,0.00006142824,0.0001985445,0.0002801758,0.00010194],"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.001341615,0.00115793,0.002951554,0.002011961,0.000178399,0.001514588,0.0008763219,0.01708267,0.5556265,0.02746653,0.02405698,0.3657351],"study_design_scores_gemma":[0.0006550426,0.004746048,0.003200452,0.0001602735,0.0002796217,0.002337625,0.0003102022,0.1884676,0.6298565,0.004675271,0.1651399,0.000171507],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07217859,0.0002950069,0.8818052,0.0005455547,0.0003954144,0.001040561,0.000483093,0.0214775,0.0217791],"genre_scores_gemma":[0.5149214,0.0002133758,0.4645042,0.0003187281,0.00007665365,0.001075164,0.0005310127,0.0008217335,0.01753769],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02321827,"threshold_uncertainty_score":0.07767284,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008767194731108869,"score_gpt":0.2739395831564304,"score_spread":0.2651723884253215,"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."}}