{"id":"W2937533000","doi":"","title":"Towards a Boolean dynamical system representation in a nonmonotonic modal logic","year":2018,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Gene Regulatory Network Analysis","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Compute Canada","funders":"","keywords":"Rotation formalisms in three dimensions; Representation (politics); Dynamical systems theory; Boolean function; Modal logic; And-inverter graph; Computer science; Context (archaeology); Theoretical computer science; Mathematics; Boolean circuit; Modal; Discrete mathematics; Physics","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.001040144,0.000581365,0.0006055193,0.0008335559,0.0005048958,0.002652861,0.001185251,0.0008670689,0.007439314],"category_scores_gemma":[0.002187036,0.0003311249,0.0014007,0.0008078742,0.001246346,0.002496011,0.00170419,0.001826835,0.001156391],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001009707,"about_ca_system_score_gemma":0.0006142088,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001408459,"about_ca_topic_score_gemma":0.00204056,"domain_scores_codex":[0.999404,0.0002144891,0.00004826942,0.0001313671,0.0001516012,0.00005042177],"domain_scores_gemma":[0.999395,0.0002888953,0.00005678929,0.00008926561,0.000125534,0.00004437961],"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.00004303172,0.0000341216,0.0001139747,0.0001156182,0.00001875199,0.00009641099,0.0002225107,0.02309114,0.003912102,0.9473642,0.001208794,0.02377934],"study_design_scores_gemma":[0.00002109444,0.00002807992,0.00006251322,0.00003231332,0.00002756331,0.0000450497,0.00005140138,0.3993648,0.001343447,0.5908033,0.008206852,0.00001354586],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006027522,0.0001043673,0.9882968,0.0002841701,0.00005764903,0.00003712614,0.000158229,0.0002966897,0.004737506],"genre_scores_gemma":[0.3661596,0.0004552702,0.6215526,0.0004030306,0.0002176498,0.000254334,0.0006576025,0.0002981575,0.01000175],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007439314,"threshold_uncertainty_score":0.02488697,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01154848881213278,"score_gpt":0.2431593640870352,"score_spread":0.2316108752749024,"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."}}