{"id":"W1976234213","doi":"10.1109/iembs.2011.6089921","title":"Discrete interference modeling via boolean algebra","year":2011,"lang":"en","type":"article","venue":"","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Boolean algebra; Two-element Boolean algebra; Interference (communication); Computer science; Boolean algebras canonically defined; And-inverter graph; Free Boolean algebra; Stone's representation theorem for Boolean algebras; Boolean expression; Algebra over a field; Boolean function; Theoretical computer science; Mathematics; Algorithm; Algebra representation; Pure mathematics; Telecommunications","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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0004941902,0.00007254474,0.00009855926,0.0001006077,0.00008968391,0.00007541027,0.0005711732,0.00003759181,0.00383113],"category_scores_gemma":[0.0001151669,0.00004830546,0.00006107195,0.0002945199,0.00003385104,0.000233764,0.0001248928,0.00006485881,0.0007905632],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008154419,"about_ca_system_score_gemma":0.00001049386,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001116708,"about_ca_topic_score_gemma":0.00001917471,"domain_scores_codex":[0.998888,0.00002540105,0.0003678869,0.0002851948,0.0003117919,0.0001216919],"domain_scores_gemma":[0.9990757,0.00009599289,0.00006252054,0.0005386586,0.0001528879,0.00007422827],"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":[0.00003435367,0.0001172917,0.007086984,0.00000178261,0.00001451376,0.00000191069,0.002515275,0.001165228,0.002197176,0.6504778,0.006425189,0.3299626],"study_design_scores_gemma":[0.00004301793,0.00002062753,0.0004739625,0.000002746287,0.00000217055,0.000001278674,0.0002319136,0.523151,0.003405312,0.4713779,0.00120018,0.00008985024],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03444762,0.000006409859,0.861806,0.0001673431,0.00003226635,0.00009100547,0.000001509145,0.0001413832,0.1033065],"genre_scores_gemma":[0.9738696,0.000002039326,0.02298156,0.0002595559,0.00001951544,0.00001589396,0.000001110373,0.000005754104,0.002844943],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.939422,"threshold_uncertainty_score":0.9999874,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2906588872645653,"score_gpt":0.4137428141734111,"score_spread":0.1230839269088458,"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."}}