Results 1 to 10 of about 128,927 (292)
Boolean Expression Diagrams [PDF]
Information and Computation, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andersen, Henrik Reif, Hulgaard, Henrik
openaire +7 more sources
Computational Approach to Identifying Universal Macrophage Biomarkers [PDF]
Frontiers in Physiology, 2020 Macrophages engulf and digest microbes, cellular debris, and various disease-associated cells throughout the body. Understanding the dynamics of macrophage gene expression is crucial for studying human diseases. As both bulk RNAseq and single cell RNAseq
Dharanidhar Dang +10 more
doaj +4 more sources
Discernibility Matrix and Its Application in Logical Optimization
Jisuanji kexue yu tansuo, 2021 The simplification of truth table is of great significance to the analysis and design of logic circuits. In this paper, the simplification of truth table is studied, and a method of GDM (granular discernibility matrix) that uses discernibility matrix is ...
YAN Xinyi, WEN Xin, CHEN Zehua
doaj +1 more source
IEEE Access, 2020 Boolean expression testing requires certain types of tests for each Boolean expression in program specification or implementation. Fault-based testing essentially uses a subset of the exhaustive test set to detect certain special types of faults. A fault-
Hongfang Gong, Junyi Li, Renfa Li
doaj +1 more source
Symmetry Properties of Nested Canalyzing Functions [PDF]
Discrete Mathematics & Theoretical Computer Science, 2019 Many researchers have studied symmetry properties of various Boolean functions. A class of Boolean functions, called nested canalyzing functions (NCFs), has been used to model certain biological phenomena.
Daniel J. Rosenkrantz +3 more
doaj +1 more source
Synchronization of Coupled Boolean Networks With Different Update Scheme
IEEE Access, 2020 In this paper, the synchronization of coupled Boolean networks with asynchronous update scheme is investigated. First, the asynchronous Boolean dynamics is transformed into a linear expression with the semi-tensor product technique.
Yujun Niu, Hongjun Liu, Qiang Wei
doaj +1 more source
Fundamental Boolean network modelling for childhood acute lymphoblastic leukaemia pathways
Quantitative Biology, 2022 Background A novel data‐driven Boolean model, namely, the fundamental Boolean model (FBM), has been proposed to draw genetic regulatory insights into gene activation, inhibition, and protein decay, published in 2018.
Leshi Chen +2 more
doaj +1 more source
A Boolean Function for Neural Induction Reveals a Critical Role of Direct Intercellular Interactions in Patterning the Ectoderm of the Ascidian Embryo. [PDF]
PLoS Computational Biology, 2015 A complex system of multiple signaling molecules often produce differential gene expression patterns in animal embryos. In the ascidian embryo, four signaling ligands, Ephrin-A.d (Efna.d), Fgf9/16/20, Admp, and Gdf1/3-r, coordinately induce Otx ...
Naoyuki Ohta +3 more
doaj +1 more source
Identification of gene expression logical invariants in Arabidopsis. [PDF]
, 2019 Numerous gene expression datasets from diverse tissue samples from the plant variety Arabidopsis thaliana have been already deposited in the public domain. There have been several attempts to do large scale meta-analyses of all of these datasets. Most of
Ball +63 more
core +1 more source
Algorithm of minimum test case set generation using matrix recursion
Dianzi Jishu Yingyong, 2020 The algorithm of minimum test case set conforming to MC/DC criterion has important practical value.Firstly,the Boolean expression is transformed into a syntax binary tree,and then the matrix combinational logic operation is used to recurse layer by layer
Huang Xiaolun, Wang Dong
doaj +1 more source