Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Taming Asynchrony for Attractor Detection in Large Boolean Networks
  (Technical Report)   Boolean networks is a well-established formalism for modelling biological
systems. A vital challenge for analysing a Boolean network is to identify all
the attractors. This becomes more challenging for large asynchronous Boolean
networks, due to the asynchronous updating scheme. Existing methods are
prohibited due to the well-known state-space explosion problem in large Boolean
networks. In this paper, we tackle this challenge by proposing a SCC-based
decomposition method. We prove the correctness of our proposed method and
demonstrate its efficiency with two real-life biological networks.

16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
8
The categories of this paper are: hep-ex
18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
28
The categories of this paper are: alg-geom
15
The categories of this paper are: nucl-ex