A set of Java annotations which can be used in JVM-based languages. They serve as an additional documentation and can be interpreted by IDEs and static analysis tools to improve code analysis.

Abstract: An asynchronous updating Boolean network is employed to simulate and analyze the gene expression of a particular tissue or species, revealing the life activity process from a system ...

Abstract: The coordinate transformation technique is a traditional method for solving the disturbance decoupling problem (DDP) of Boolean control networks (BCNs). But under this technique, the ...