{"id":"W4380449850","doi":"10.20295/2412-9186-2023-9-02-205-221","title":"Self-Dual Functional Gates for the Synthesis of Controllable Digital Systems","year":2023,"lang":"en","type":"article","venue":"Transport automation research","topic":"Cybersecurity and Information Systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"International Air Transport Association","funders":"","keywords":"Boolean function; Computer science; Dual (grammatical number); Topology (electrical circuits); Mathematics; Algorithm","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.0002341162,0.0003478013,0.0002157239,0.000373623,0.0001832399,0.0004952689,0.0002844545,0.0002998667,0.001493375],"category_scores_gemma":[0.0004099344,0.0001567698,0.0003725759,0.0002406335,0.0004875259,0.0004315445,0.0002653583,0.0005724697,0.0002813849],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003654315,"about_ca_system_score_gemma":0.0002551083,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001297211,"about_ca_topic_score_gemma":0.0002259681,"domain_scores_codex":[0.9998301,0.00003998296,0.00001357869,0.00002921817,0.00006958875,0.00001739155],"domain_scores_gemma":[0.9998814,0.00004844377,0.00001563988,0.00002715315,0.0000220143,0.000005393622],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001195823,0.00008730027,0.0002568018,0.0006148024,0.0000408459,0.0002157748,0.0002176866,0.04675156,0.24102,0.5501237,0.0007967987,0.1597552],"study_design_scores_gemma":[0.00008237083,0.000769817,0.0004418516,0.0001709314,0.00008584953,0.0006227605,0.00005350207,0.3133895,0.3554717,0.2465471,0.08229493,0.00006974979],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0361164,0.001222788,0.9474044,0.0001022058,0.0001379851,0.00009460373,0.00004819993,0.0003518503,0.01452146],"genre_scores_gemma":[0.6200612,0.001520479,0.3707821,0.0001641743,0.00006103047,0.0002715877,0.0001139071,0.0001235492,0.006902115],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001493375,"threshold_uncertainty_score":0.004995823,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06286772603530191,"score_gpt":0.3030605566637962,"score_spread":0.2401928306284943,"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."}}